C++怎么为自定义类型重载相等判断-C++-PHP中文网

operator== 应优先定义为非成员函数以支持对称比较和隐式类型转换；若需自定义逻辑（如浮点容差、指针内容比较），则显式定义非成员 operator== 并避免与 c++20 默认比较或 std::rel_ops 冲突。

c++怎么为自定义类型重载相等判断

operator== 必须定义为非成员函数还是成员函数？

取决于你是否需要支持隐式类型转换。如果自定义类型 A 的 operator== 是成员函数，形如 A::operator==(const A& other)，那它只能接受左操作数是 A 实例——比如 a == b 可行，但 some_int == a（假设存在从 int 到 A 的构造函数）就无法触发隐式转换，因为成员函数的左操作数固定为 A。所以，**要支持对称比较（如 123 == my_obj 或 my_obj == 123），必须用非成员函数 + friend 或将其声明在类外，并且至少一个参数是 const A&。**

常见错误：只写成员版 operator==，然后发现 std::find(vec.begin(), vec.end(), 42) 找不到 A{42}，因为 42 无法隐式转成 A 再调用成员函数。

推荐做法：在类内声明 friend bool operator==(const A& lhs, const A& rhs);，并在类外定义
如果不需要对称性（比如只用于容器查找且元素类型严格一致），成员函数也够用，但得注意 std::equal_range 等算法依赖的是可调用对象，不强制要求对称
别把 operator== 定义成模板（除非真要泛化），否则可能和标准库的 std::operator== 冲突，引发重定义或 SFINAE 失败

怎么避免与 std::rel_ops 或 C++20 默认比较冲突？

C++20 引入了 = default 三路比较，但如果你手动写了 operator==，又同时启用了 using std::rel_ops::operator!=;，或者误加了 bool operator!=(...) 但没同步更新逻辑，就会出问题。更隐蔽的是：C++20 中，若只声明 operator = default;，编译器会自动生成 operator==，此时你再手写一个同签名的 operator== 就是重复定义。

常见错误现象：error: redefinition of 'operator=='，或运行时 == 返回 true 但 != 也返回 true（因手写的 != 没随 == 逻辑更新）。

用 C++20 且想省事：只写 auto operator(const A&) const = default;，别碰 operator== ——编译器生成的版本会逐成员比较，且语义正确
若需自定义逻辑（比如忽略浮点误差、跳过某些字段），就显式定义 operator==，并删掉 operator = default，避免冲突
绝对不要靠 rel_ops 自动生成 !=：它用 !(a == b) 实现，但若你的 == 有副作用或性能敏感，!= 就不该这么干

成员变量含指针、浮点数或 std::optional 时怎么安全比较？

直接逐字段 == 往往不够。比如指针成员，该比地址还是比所指内容？浮点数不能用 == 直接判等；std::optional<t></t> 虽然自带 operator==，但如果 T 本身比较昂贵，或你想在 nullopt 和某个默认值之间做特殊处理，就得干预。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

常见错误：对 double x; 成员直接写 lhs.x == rhs.x，导致测试失败；或对 std::unique_ptr<node> p;</node> 写 lhs.p == rhs.p，结果比的是指针地址而非树结构是否等价。

浮点数：用 std::abs(lhs.x - rhs.x) ，epsilon 根据业务精度选（比如 <code>1e-6），别用 std::numeric_limits<double>::epsilon()</double>，它太小
裸指针 / 智能指针：明确语义——若需值语义，解引用后递归比较（*lhs.p == *rhs.p），并先判空；若需身份语义，才用 lhs.p.get() == rhs.p.get()
std::optional：通常直接用其内置 == 即可，但注意若 T 的 == 抛异常，整个比较也会抛；如有特殊需求（如把 nullopt 当作 T{} 处理），就手动展开判断

operator== 的 const 正确性和 noexcept 怎么设？

它必须是 const 成员函数（如果是成员）或接收 const& 参数（如果是非成员），否则无法参与大多数标准算法（如 std::find_if 传入的谓词会被当作 const 调用）。另外，noexcept 不是可选项——如果 operator== 可能抛异常，容器操作（如 std::unordered_map::find）可能行为未定义，且影响移动/交换等操作的异常保证。

常见错误：忘记加 noexcept，或在函数体内调用了可能抛异常的辅助函数（比如某成员的 to_string()），导致实际不满足 noexcept 声明。