operator== 应优先定义为非成员函数以支持对称比较和隐式类型转换；若需自定义逻辑（如浮点容差、指针内容比较），则显式定义非成员 operator== 并避免与 C++20 默认比较或 std::rel_ops 冲突。
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++免费学习笔记（深入）”；
- 用 C++20 且想省事：只写
auto operator(const A&) const = default;，别碰operator==——编译器生成的版本会逐成员比较，且语义正确 - 若需自定义逻辑（比如忽略浮点误差、跳过某些字段），就显式定义
operator==，并删掉operator = default，避免冲突 - 绝对不要靠
rel_ops自动生成!=：它用!(a == b)实现，但若你的==有副作用或性能敏感，!=就不该这么干
成员变量含指针、浮点数或 std::optional 时怎么安全比较？
直接逐字段 == 往往不够。比如指针成员，该比地址还是比所指内容？浮点数不能用 == 直接判等；std::optional<T> 虽然自带 operator==，但如果 T 本身比较昂贵，或你想在 nullopt 和某个默认值之间做特殊处理，就得干预。
常见错误：对 double x; 成员直接写 lhs.x == rhs.x，导致测试失败；或对 std::unique_ptr<Node> p; 写 lhs.p == rhs.p，结果比的是指针地址而非树结构是否等价。
- 浮点数：用
std::abs(lhs.x - rhs.x) ，epsilon 根据业务精度选（比如 <code>1e-6），别用std::numeric_limits<double>::epsilon()，它太小 - 裸指针 / 智能指针：明确语义——若需值语义，解引用后递归比较（
*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 声明。
- 所有参数必须是
const T&形式，返回bool，函数体不能修改任何状态 - 加上
noexcept：不仅是个标记，更是契约——确保比较过程零异常，这对泛型代码至关重要 - 如果内部确实要调用可能抛异常的代码（极少见），要么重构（比如预缓存字符串），要么放弃
noexcept并接受限制（如不能用于要求无抛保证的容器）
真正麻烦的从来不是写几行 return lhs.x == rhs.x && lhs.y == rhs.y;，而是想清楚“相等”在你的领域里到底意味着什么——是指内存布局一致？逻辑状态一致？还是某种归一化后的等价？一旦定义模糊，后续的哈希、排序、序列化全跟着错。
