C++ std::strong_ordering三向比较 _ 运算符深度解析【详解】-C++-PHP中文网

std::strong_ordering是最常用、最安全的operator返回类型，适用于绝大多数自定义类型；但它不自动提供operator==，必须显式声明operator== = default或满足隐式生成条件，否则依赖==的操作将静默失效。

c++ std::strong_ordering三向比较 _ <=>运算符深度解析【详解】

直接说结论：std::strong_ordering 是 operator 最常用、最安全的返回类型，适用于绝大多数自定义类型；但它不会自动给你 operator==，除非你显式声明 operator== 为 = default 或满足隐式生成条件。

这是新手掉进最多次的坑。编译器对 operator = default 的处理是“仅生成 ”，其他运算符（包括 ==）是否生成，取决于额外规则：

如果你没写任何比较运算符，且所有成员都支持默认 ==（比如 int、std::string、带 = default 的类），那么编译器会隐式合成 operator==
只要你手动定义了任意一个比较运算符（哪怕只是 operator 且不是 = default），隐式合成 operator== 就被禁用
即使写了 operator = default，也必须额外加一行 bool operator==(const T&) const = default; 才能确保 == 可用
若类中含 std::unique_ptr、std::function 等不可比成员，= default 会直接编译失败，连都不给生成

选错返回类型会导致模板推导失败或行为异常，尤其在泛型容器（如 std::set、std::sort）里表现隐蔽：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

std::strong_ordering：要求“相等即等价”——如果 a == b 为真，则 a 和 b 在所有上下文中可互换（比如 Point{1,2} 和 Point{1,2}）。这是结构体、POD 类型的默认选择
std::weak_ordering：允许“等价但不相等”，典型场景是大小写不敏感字符串比较——"ABC" 和 "abc" 视为等价（返回 equal），但 == 仍为 false（除非你也重载了 operator== 做同样逻辑）
std::partial_ordering：几乎只用于浮点数（因 NaN），自定义类型极少需要；误用会导致 std::sort 报 invalid comparator

手动实现比 = default 更灵活，但也更易出错：

返回类型必须是 std::strong_ordering 等标准 ordering 类型，不能是 int 或 auto（除非函数体明确返回 ordering 对象）
不能直接写 return x y; 然后不管后续——如果 x y == 0，你还得继续比 y z，否则逻辑不完整

推荐用链式比较：先比第一个字段，不等就返回；相等再比下一个，例如：

auto operator(const Point& other) const {
    if (auto cmp = x  other.x; cmp != 0) return cmp;
    return y  other.y;
}

最容易被忽略的一点：即使你把 operator 写得滴水不漏，只要没同步处理 operator==，像 std::unordered_map 的 key 查找、std::find 这类依赖 == 的操作就会静默失效——它不会报错，只是永远找不到匹配项。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！

C++ std::strong_ordering三向比较 _ 运算符深度解析【详解】