编译器仅对平凡类型自动生成三向比较运算符；若类含用户定义的operator==、非平凡成员（如std::vector）或需定制逻辑（如访问private成员），则必须手动定义，且返回类型应为std::strong_ordering等，不可用int或未明确推导的auto。
什么时候必须自己写 operator
编译器只对「平凡类型」（trivially comparable）自动生成 operator，比如所有成员都支持三向比较、且没有用户定义的比较运算符的类。一旦你加了 operator==、或某个成员不支持 （如 std::vector 在 C++20 早期标准库中可能未完全实现）、或用了 private 成员需要定制逻辑，就必须手动定义。
常见错误现象：error: use of deleted function 'constexpr auto X::operator(const X&) const' —— 这通常是因为你声明了 operator== 却没提供 operator，编译器不再自动生成它。
- 若只重载
operator==，记得加= default或显式定义operator，否则被隐式删除 - 手动定义时，返回类型必须是某类
std::strong_ordering/std::weak_ordering/std::partial_ordering，不能用int或auto（除非确定推导正确） - 优先复用成员的
，避免手写和 <code>>组合：比如a.x b.x比(a.x == b.x) ? 0 : (a.x 更安全、更符合语义
operator 的三种返回类型怎么选
选错类型会导致编译失败或运行时行为异常。核心区别不在“强弱”，而在「等价关系是否满足数学公理」：
-
std::strong_ordering：适用于整数、指针、std::string等——相等即完全等价，且可交换、传递；绝大多数自定义类型该用这个 -
std::weak_ordering：用于值相同但对象不同（如大小写不敏感字符串），a b == 0不代表a == b；需配套重载operator== -
std::partial_ordering：仅用于可能产生NaN的浮点类型，因为NaN x返回std::partial_ordering::unordered；普通业务类型别误用
示例：一个带 int id 和 std::string name 的结构体，应返回 std::strong_ordering：
立即学习“C++免费学习笔记（深入）”；
auto operator<=>(const Person& other) const = default;
但如果 name 是 case-insensitive 比较，就不能用 = default，得手写并返回 std::weak_ordering：
std::weak_ordering operator<=>(const Person& other) const {
if (auto cmp = id <=> other.id; cmp != 0) return cmp;
return case_insensitive_compare(name, other.name);
}
和旧版比较运算符共存时的坑
C++20 规定：只要定义了 operator，编译器就自动合成 ==、!=、、<code>、<code>>、>= —— 但前提是没同时定义同名的旧运算符。一旦你写了 bool operator==(const X&, const X&)，编译器就不会再为你合成 ==，哪怕你也有 operator。
- 想保留手写
operator==（比如做指针比较或跳过某些字段），必须确保它和operator语义一致，否则a == b和(a b) == 0可能返回不同结果 - 不要在同一个类里既写
operator又写operator：后者会被忽略，且容易引发 ODR-violation 或链接错误 - 若基类有
operator，派生类想扩展比较逻辑，需显式调用基类版本，不能只靠= default（它只比较本类成员）
调试 operator 不生效的常见线索
最常被忽略的是模板推导和 ADL（argument-dependent lookup）。当你在泛型代码里用 a b 却报错，不是因为你没写，而是编译器根本没找到它。
- 检查函数是否在类内部定义（inline）或在类作用域内声明；外部定义需确保声明在使用前可见
- 确认参数类型完全匹配：比如
const T&vsT&&，或是否遗漏const限定符（operator通常应为const成员函数） - 如果涉及模板类（如
template<typename t> struct Vec</typename>），operator必须是模板函数，且要处理T是否支持三向比较（可用requires约束） - 用
static_assert(std::is_same_v<decltype> b), std::strong_ordering>)</decltype>快速验证返回类型是否符合预期
真正麻烦的从来不是语法，而是当多个库混用、部分支持 C++20、部分还卡在 C++17 时， 的可见性与合成规则会变得微妙。动手前先确认你的标准库版本（如 libstdc++ 12+ 或 libc++ 14+）已完整实现 std::compare_three_way 相关特化。
