operator 是 c++20 的三路比较运算符，不能替代所有比较函数；它仅自动合成六个关系运算符，前提是未手动定义任何比较函数，且需明确定义比较语义与强度。
什么是 operator，它真能替代所有比较函数？
不是。三路比较运算符（宇宙飞船运算符）只负责「一次实现，多处生成」，但它不会自动帮你写逻辑——你得先定义好两个对象“谁大谁小”的语义。operator 本身返回一个 std::strong_ordering、std::weak_ordering 或 std::partial_ordering，编译器再据此合成 ==、!=、、<code>、<code>>、>= 这六个运算符（前提是没手动定义它们）。
常见错误现象：class Point { int x, y; public: auto operator(const Point&) const = default; }; 看似简洁，但若 x 和 y 是浮点数，=default 会触发逐成员比较，而 float 的 operator 返回 std::partial_ordering（因为 NaN 不可比较），这可能导致后续 std::sort 崩溃或断言失败。
- 使用场景：结构体/类字段全为可默认比较的类型（如
int、std::string、其他已定义operator的类型），且语义上就是字典序比较时，=default最省事 - 参数差异：必须是 const 成员函数，且参数类型要和自身一致（或可隐式转换），否则无法参与 ADL 查找
- 性能影响：默认生成的比较通常和手写一样快；但若涉及深拷贝或复杂计算，别在
operator里做重操作——它会被频繁调用
怎么手写 operator 并控制比较强度？
手写时核心就一条：用 return lhs.member rhs.member; 链式比较，遇到不等就立刻返回；全等则继续下一个字段。返回类型决定了整个类型的比较能力。
示例：一个坐标类想支持严格全序（比如用于 std::map），但内部含 double：
struct Point {
double x, y;
auto operator(const Point& other) const {
if (auto cmp = x other.x; cmp != 0) return cmp;
return y other.y;
}
};
这里没写返回类型，靠 auto 让编译器推导——但注意：double double 返回 std::partial_ordering，而上面代码强制要求所有分支都走同一类型，所以实际编译会失败（C++20 要求所有 return 表达式返回兼容类型）。正确做法是显式转成你需要的强度：
- 要强序（
std::sort、std::map）：用static_cast<:strong_ordering>(...)</:strong_ordering>包裹，或改用整数坐标 - 要弱序（允许不同对象相等，如忽略大小写的字符串）：返回
std::weak_ordering - 确实要处理 NaN（如科学计算）：只能用
std::partial_ordering，并接受std::sort不适用
=default 和手写混用会出什么问题？
一旦你手动定义了任意一个比较运算符（比如写了 bool operator==(const T&) const），编译器就不会再为你生成 operator，哪怕你后面又加了 =default ——它会被忽略，甚至报错。
常见错误现象：类里先写了 operator==，然后补加 auto operator(...) const = default;，结果编译失败，提示 “operator cannot be defaulted because operator== is user-provided”。
- 解决办法只有两个：要么删掉所有手写比较函数，全交给
=default；要么全部手写，包括operator和需要的== - 兼容性影响：C++20 才支持
operator，旧标准下这段代码直接不编译；Clang 10+、GCC 10+、MSVC 19.26+ 支持较完整 - 容易被忽略的点：友元声明的
operator不能=default，必须手写；成员版才能默认
什么时候不该用 operator？
当你的“相等”和“排序”逻辑根本不同，或者比较开销极大时，硬塞进一个三路运算符反而让代码更难懂、更慢。
使用场景反例：
- 网络协议包结构体，
==需校验 CRC，但只比时间戳——这时分开写 <code>operator==和operator 更清晰 - 容器类（如
MyVector）想按元素和比较，但size()很贵，每次都调用它会拖慢排序——不如单独提供compare_by_size()这样的命名函数 - 涉及外部状态（如文件句柄、数据库连接）的对象，比较行为不稳定，三路运算符会误导使用者以为它是纯函数
最麻烦的是跨版本维护：C++17 项目升级到 C++20 后，有人随手给老类加 =default，却没检查是否破坏了已有 operator 的语义（比如原来按指针地址比，现在按内容比），这种 bug 很晚才暴露。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
