C++20 三路比较（Spaceship Operator ＜=＞）与排序类别深度解析

1. 为什么需要三路比较在 C17 及之前为一个类型实现完整可比较你需要手写 6 个运算符struct Point { int x, y; bool operator(const Point o) const { return x o.x y o.y; } bool operator!(const Point o) const { return !(*this o); } bool operator (const Point o) const { /* ... */ } bool operator (const Point o) const { return o *this; } bool operator(const Point o) const { return !(o *this); } bool operator(const Point o) const { return !(*this o); } };问题样板代码爆炸6 个函数极易写错其中一个导致逻辑不一致。语义不一致风险a b 与 !(b a) 若由不同人维护可能漂移。无法表达部分有序浮点有 NaNNaN x、NaN x、NaN x 全为 false传统 bool 比较无法建模这种不可比较状态。泛型代码缺统一抽象标准库算法如 std::sort只认 但很多场景需要三态结果小于/等于/大于。C20 引入三路比较运算符 spaceship operator配合排序类别类型系统用 1~2 个运算符自动生成全部 6 个关系运算符并原生支持强弱排序、偏序等语义。2. 核心语法2.1 最小可用版本#include compare struct Point { int x, y; auto operator(const Point) const default; };仅此一行编译器为你合成 、!、、、、 全部 6 个运算符。2.2 手动实现#include compare struct Point { int x, y; std::strong_ordering operator(const Point o) const { if (auto c x o.x; c ! 0) return c; return y o.y; } bool operator(const Point) const default; // 也可 default };注意 与 是两个独立的运算符。即使你只 default 了 也会被合成见 §4但显式 default 更清晰。2.3 返回类型决定语义 的返回类型不是 bool而是排序类别comparison category它携带强弱/偏序信息返回类型含义典型场景std::strong_ordering强排序等价 ⇒ 可替换int、无浮点的结构体std::weak_ordering弱排序等价 ≠ 可替换大小写不敏感字符串std::partial_ordering偏序可能存在不可比较float/double含 NaNstd::strong_equality仅相等性无顺序复数可判等不可比大小std::weak_equality弱相等性模糊匹配关键洞察排序类别是类型不是枚举值。它们之间有隐式转换关系强 → 弱 → 偏序编译器据此推导合成运算符的返回类型。3. 排序类别Comparison Categories类型系统3.1 五个类别与值std::strong_ordering::less; // 小于 std::strong_ordering::equal; // 等于强 std::strong_ordering::equivalent;// 等于弱/偏序语义值同 equal std::strong_ordering::greater; // 大于 std::weak_ordering::less; std::weak_ordering::equivalent; std::weak_ordering::greater; std::partial_ordering::less; std::partial_ordering::equivalent; std::partial_ordering::greater; std::partial_ordering::unordered; // 仅偏序有不可比较3.2 强弱之分等价 vs 相等这是最易被忽视的概念强排序stronga b 返回 equal ⇒ a 与 b可互相替换而不改变程序行为如 int3 3 且任何用到 3 的地方换成另一个 3 结果不变。弱排序weaka b 返回 equivalent ⇒ 二者在比较目的上等价但未必可替换。例大小写不敏感字符串 Hello 与 hello 等价但内容不同替换会改变字符串本身。标准库用 equal强与 equivalent弱两个命名区分这一语义但值相等 比较为 true。3.3 偏序partial_ordering偏序允许存在不可比较的元素对。浮点 NaN 与任何值都不可比较因此 double 的 返回 partial_ordering::unordered。double a 1.0, b std::nan(); auto r a b; // partial_ordering::unordered bool lt (a b); // falseunordered 时所有 均为 false3.4 类别转换规则strong_ordering ──► weak_ordering ──► partial_ordering strong_equality ──► weak_equality强可隐式转弱偏序可接收强/弱。反向弱转强不允许因为会丢失语义信息。编译器在合成运算符时按最弱公共类别推导。4. 编译器如何合成比较运算符当你声明 operator无论 default 还是自定义编译器会按需合成以下运算符仅当被使用时遵循惰性合成你写的编译器合成的operator ! 若返回类型支持operator!合成规则简化a b ⟺ (a b) 0a b ⟺ (a b) 0a b ⟺ (a b) 0a b ⟺ (a b) 0a b ⟺ (a b) 0当 返回偏序/弱序时 用 equivalent 判定重要 的合成优先使用你显式定义的 operator若没有才用 推导。C20 允许 与 独立 default。4.1 成员 vs 非成员 通常声明为const 成员但也可为非成员以支持左侧操作数转换struct String { std::string s; // 允许 std::string 在左侧参与比较 friend std::strong_ordering operator(const String a, const std::string b) { return a.s b; } friend bool operator(const String a, const std::string b) { return a.s b; } };5. default语义与约束 default 要求编译器逐成员、逐基类地递归应用 struct Inner { int a; auto operator(const Inner) const default; }; struct Outer { Inner i; double d; auto operator(const Outer) const default; // 先比 i再比 d };5.1 default 的约束所有基类与成员都必须可比较有 或可被内置 处理。返回类型由成员/基类的类别共同决定若任一成员是 partial_ordering如 double整体即为 partial_ordering。若某成员不可比较如 std::thread无 default 直接被禁用编译错误需手动实现或排除该成员。数组成员按元素逐一比较。比较顺序为声明顺序先声明的先比这与 std::tie 的传统写法一致。5.2 与 default 的 区别operator 的 default 做逐成员相等operator 的 default 做逐成员三路比较。两者独立可分别控制。6. 底层机制返回类型与 compare_three_way6.1 std::compare_three_way 函数对象C20 提供标准函数对象统一调用 #include compare std::compare_three_way cmp; auto r cmp(3, 5); // std::strong_ordering::less它等价于 a b但可用于泛型上下文如 std::sort 的自定义比较器。6.2 内置类型的 映射类型返回类别整数类型strong_ordering枚举strong_ordering指针同一数组内strong_ordering指针跨对象strong_ordering实现定义顺序float/double/long doublepartial_orderingnullptr_tstrong_ordering6.3 与 0 的比较排序类别重载了与字面量 0 的比较不是与 int 比较而是特化的 0 字面量因此 (a b) 0 合法。这是通过 operator(category, /*unspecified-zero-type*/) 实现的语法糖。7. 与 std::sort / std::map 的协作标准库容器与算法已全面支持 #include vector #include algorithm #include compare struct Person { std::string name; int age; auto operator(const Person) const default; }; std::vectorPerson v {{Bob, 30}, {Alice, 25}, {Carol, 25}}; std::sort(v.begin(), v.end()); // 按 name 再 age 排序无需手写 comparatorstd::map/std::set 的 key_compare 默认 std::lessKey而 std::less 在 C20 中若 Key 有 会自动使用它。7.1 自定义比较器使用 compare_three_waystd::mapPerson, int, std::compare_three_way m;8. 自定义类型实战8.1 大小写不敏感字符串弱排序#include compare #include string #include algorithm struct CIString { std::string s; auto operator(const CIString o) const { // 逐字符大小写不敏感比较返回 weak_ordering auto a s, b o.s; std::transform(a.begin(), a.end(), a.begin(), ::tolower); std::transform(b.begin(), b.end(), b.begin(), ::tolower); if (a b) return std::weak_ordering::less; if (a b) return std::weak_ordering::greater; return std::weak_ordering::equivalent; } bool operator(const CIString) const default; }; static_assert(std::is_same_vdecltype(CIString{} CIString{}), std::weak_ordering);注意这里 Hello 与 hello 比较为 equivalent弱等价但 为 true若用 strong_ordering 则语义错误因为二者内容不同不可替换。8.2 复数仅相等无顺序#include complex #include compare struct MyComplex { double re, im; auto operator(const MyComplex) const default; // 仅相等性 // 不提供 因为复数无自然全序 };若强行要求排序需定义某种全序如字典序但那不是数学上的复数序——这正是强弱/有无序类型系统帮你避免的语义陷阱。8.3 异构比较不同类但可比struct Meter { double v; }; struct Foot { double v; }; std::strong_ordering operator(const Meter m, const Foot f) { return m.v (f.v * 0.3048); } // 现在 Meter 与 Foot 可直接比较9. 浮点、NaN 与强弱排序陷阱9.1 NaN 的偏序行为double x 1.0, y std::nan(); std::cout std::boolalpha; std::cout (x y) \n; // false std::cout (x y) \n; // false std::cout (x y) \n; // false auto r x y; // partial_ordering::unordered所有传统关系运算符在 unordered 时返回 false这是 IEEE-754 定义的行为C20 通过 partial_ordering 显式建模。9.2 强排序浮点结构体的隐患struct Vec { double x, y; }; auto operator(const Vec) const default; // 返回 partial_ordering因为成员含 double default 的 返回 partial_ordering。若你期望强排序如用于 std::set 的 key需手动实现并决定 NaN 策略如将 NaN 视为最大/最小或抛异常。9.3 std::strong_order / std::weak_order 工具C20 提供算法将偏序/弱序投影为强序用于需要全序的容器#include cmath #include compare std::strong_ordering strong_double(double a, double b) { // 将 NaN 视为大于一切自定义策略 if (std::isnan(a)) return std::isnan(b) ? std::strong_ordering::equal : std::strong_ordering::greater; if (std::isnan(b)) return std::strong_ordering::less; return a b; // 此时 a,b 均非 NaN可安全强序 }10. 性能与代码生成10.1 零开销保证 与 的 default 在编译期展开为逐成员比较无运行时开销与手写等价。编译器甚至能更好地内联与向量化。10.2 避免冗余比较传统写法中 a ! b 可能调用 operator!而 a b 调用 operator两者独立。C20 中 ! 由 推导避免重复逻辑。10.3 与 std::tie 的旧写法对比// C17 bool operator(const Point o) const { return std::tie(x, y) std::tie(o.x, o.y); } // C20 auto operator(const Point) const default; // 更短、零分配、编译期std::tie 构造临时 tuple可能含引用而 default 完全在编译期无临时对象。11. 与旧标准的迁移兼容11.1 混合使用旧代码定义的 operator 仍有效新代码可新增 。标准规定若类型已有用户声明的 operator 等编译器不会隐式合成冲突的运算符需显式 default 或自定义。11.2 逐步迁移策略先为类型添加 operator 与 operator 的 default。删除手写的 ! 让编译器合成。对含 double/自定义等价逻辑的类型手动实现 并选对类别。11.3 与 C17 的 std::optional 等std::optional、std::variant、std::tuple 等在 C20 已内置 支持可直接参与比较。12. 常见坑点与 FAQ 速查表问题原因解决 default 编译失败no viable overloaded 某成员/基类不可比较如 std::thread手动实现 排除该成员或自定义比较期望强排序却得到 partial_ordering结构体含 double 成员手动实现 显式处理 NaN 策略 没被合成只写了 但返回偏序且未 default 显式 bool operator(const T) const default;异构比较不生效 写成成员左侧无法转换改为 friend 非成员函数std::set 插入崩溃/行为异常浮点偏序导致等价元素被判为不可比较用 std::strong_order 投影为全序比较顺序不符合预期 default 按声明顺序调整成员声明顺序或手动实现指定顺序与旧 operator 冲突旧代码已定义 删除旧运算符统一用 合成FAQQ 能用于模板吗A可以但返回类型需用 auto 或具体类别泛型中常用 std::compare_three_way 函数对象。Q为什么 equivalent 和 equal 值相同却分两个名字A语义不同——equal 表示可替换强equivalent 表示比较目的上等价弱/偏序。Q能用 比较不同类吗A能只要提供接受两类型的 operator通常 friend。Qstd::partial_ordering::unordered 在 中如何表现Aa b 当 返回 unordered 时为 falseNaN 不等于任何值包括自己。13. 与既有系列主题的定位差异本文与已发布的 C 系列主题互补不冲突与C20 Concepts 约束Concepts 用于约束模板参数本文聚焦比较运算符的语义建模二者正交。与C 模板元编程 / 类型擦除 / CRTP本文不涉及模板技巧专注语言核心特性。与std::map / std::set 红黑树、std::vector 等容器那些讲容器内部实现本文讲如何让自定义类型作为容器 key 时具备正确排序语义是容器使用的上游前提。与C 移动语义 / 智能指针 / 内存模型无重叠本文属语言特性层。本文定位C20 比较语义的类型系统级重构填补系列中现代 C 语法特性的空白与已有的编译期计算协程Modules等共同构成 C20/23 现代特性图谱。