重载 operator== 是实现自定义类逻辑相等的必要方式,需用 const Person& 参数和 const 成员函数,返回 bool;C++20 的 <=> 会自动生成 ==,但要求所有成员支持 ==;地址相等应使用 std::addressof。

重载 operator== 是最直接的方式
默认情况下,C++ 对用户自定义类的对象只做浅层内存比较(即逐字节比对),这通常不是你想要的“逻辑相等”。要让 a == b 表达你定义的相等语义,必须显式重载 operator==。
常见错误是只在类内声明但没定义,或返回类型写成 void(必须是 bool);另一个坑是参数没加 const &,导致临时对象或 const 对象无法参与比较。
推荐写法(C++20 起更简洁,但兼容性需注意):
class Person {
public:
std::string name;
int age;
bool operator==(const Person& other) const {
return name == other.name && age == other.age;
}
};
- 务必用
const Person&接收右操作数,避免拷贝且支持 const 对象 - 函数自身加
const,表明不修改当前对象状态 - 如果类有指针成员或资源管理逻辑,别忘了递归比较所指向内容,而非指针值本身
使用 std::equal_to 或容器查找时要注意一致性
像 std::find、std::unordered_map 的查找,底层可能依赖 operator==,也可能依赖额外提供的比较器。如果自定义了 operator== 却又传入另一个比较逻辑(比如忽略大小写的字符串比较),结果会出人意料。
立即学习“C++免费学习笔记(深入)”;
例如:std::unordered_set<person></person> 不会自动用你的 operator== —— 它还需要自定义哈希函数 std::hash<person></person>,且哈希结果必须与 == 语义一致:若 a == b 为真,则 hash(a) == hash(b) 也必须为真。
- 用
std::find查 vector 时,它调用的就是operator==,没问题 - 但
std::map默认用std::less排序,和==无关;判断“存在”靠的是等价(!comp(a,b) && !comp(b,a)),不是直接调== - 若提供自定义谓词(如
std::find_if),就完全绕过了operator==,得自己写判断逻辑
C++20 的三路比较(operator<=>)能简化但不替代 ==
写了 operator<=>(飞船运算符),编译器会自动生成 ==、!=、< 等,听起来省事。但它生成的 == 是成员逐个调用 == 的合成版本,前提是所有成员都支持 ==。
问题在于:如果某个成员类型没有定义 operator==(比如你自己写的类忘了重载,或用了某些 C 风格结构体),合成就会失败,报错信息往往晦涩(类似 no match for 'operator==' 在某个内部模板展开里)。
- 不要以为写了
<=>就万事大吉;仍需确认每个数据成员都可比较 - 合成的
==是值语义的,不会跳过 padding 字节或忽略逻辑上无关的字段(比如缓存字段) - 若类中有
mutable成员(如统计访问次数的计数器),默认合成的==也会比较它——这通常不是你想要的
判断是否是同一对象(地址相等)要用 std::addressof 或指针比较
有时候你问的“是否相等”其实是“是不是同一个实例”,比如在观察者模式中避免重复注册。这时不能用 ==,而要看地址:
if (std::addressof(a) == std::addressof(b)) { ... }
直接写 &a == &b 在有重载 operator& 的类里是危险的(比如智能指针包装类),所以标准推荐用 std::addressof。
-
std::addressof绕过重载的operator&,返回真实内存地址 - 注意:即使两个对象内容完全相同,地址不同就是不同对象;反之,地址相同则内容必然相同(不考虑未定义行为)
- 这个判断只适用于你明确需要“身份相等”的场景,绝大多数业务逻辑里的“相等”还是该走
operator==
operator== 和哈希函数、排序谓词之间的语义同步——改了一个却忘了改另一个,bug 往往延迟暴露,且难以复现。


















