C++类中operator<=>与operator==逻辑不同引发set查询异常

问题本质 #

std::set 是有序关联容器，它判断两个元素是否“等价（视为同一元素）”的逻辑不依赖operator==，而是基于其排序所用的比较规则（默认是std::less<T>，即调用operator<或operator<=>推导的比较）。具体来说，两个元素a和b被set视为等价，当且仅当!(a < b) && !(b < a)——也就是排序后它们处于同一位置，完全忽略你自定义的operator==逻辑。

在你的代码里：

• operator<=>仅比较age字段，因此john（age=10）和lucas（age=10）会被set判定为等价元素。
• 调用contains(lucas)时，set找到第一个与lucas排序等价的元素（也就是john），直接返回true，根本不会触发你写的operator==。

解决方案 #

方案一：统一排序与等价性逻辑

让排序规则和你期望的元素唯一性逻辑保持一致，避免出现“排序等价但实际不等”的矛盾情况：

1. 如果希望按age排序，且等价性也基于age：
   修改operator==匹配排序逻辑：

bool operator==(const Student& rhs) const {
    return age == rhs.age;
}

2. 如果希望等价性基于name，排序时需包含name：
   调整operator<=>，先按age排序，age相同时再比较name，确保排序等价的元素name也相同：

auto operator<=>(const Student& rhs) const {
    if (auto age_cmp = age <=> rhs.age; age_cmp != 0) {
        return age_cmp;
    }
    return name <=> rhs.name;
}

此时john和lucas排序后会被判定为不等，contains(lucas)会返回false，符合预期。

方案二：自定义比较器+用find_if替代contains

如果确实需要排序用age，而相等判断用name，可以给set指定自定义比较器，同时使用std::find_if手动按operator==查询：

1. 定义按age比较的比较器：

struct CompareByAge {
    bool operator()(const Student& a, const Student& b) const {
        return a.age < b.age;
    }
};

2. 声明使用该比较器的set：

std::set<Student, CompareByAge> my_set;

3. 用find_if替代contains，按operator==判断：

auto it = std::find_if(my_set.begin(), my_set.end(), [&lucas](const Student& s) {
    return s == lucas;
});
std::cout << "Does my_set contain lucas? " << (it != my_set.end()) << std::endl;

内容的提问来源于stack exchange，提问作者poipoi