C++20里的“裁判员”：strong_ordering到底在裁什么？

写过C++模板排序函数的人，大概率踩过这个坑：std::sort 用自定义类型时编译报错，提示“no operator< defined”，你补了个 operator<，结果又冒出一堆关于 operator<=、operator> 的模糊重载警告。更奇怪的是，明明两个对象“显然不相等”，a < b 和 b < a 却都返回 false，而 a == b 又是 false——这逻辑像极了和朋友约饭，既没说“我先到”，也没说“你先到”，连“咱俩同时到”都否认，最后只能尴尬地站在餐厅门口互相鞠躬。

C++20 引入的 std::strong_ordering，就是为终结这种尴尬而设的“裁判员”。它不只回答“谁大谁小”，更明确裁定：相等、小于、大于——三者互斥且穷尽所有可能。

strong_ordering 是三大三路比较类别（strong_ordering、weak_ordering、partial_ordering）中最严格的一个。它的核心契约就一条：任意两个可比较对象，必须且只能落入以下三种状态之一：equal、less、greater，没有例外，不容模糊。这不是语法糖，而是编译器能据此做优化、标准库能据此做泛型推导的语义基石。

举个实在的例子。假设你正在实现一个表示物理坐标的 Point3D：

struct Point3D {
    double x, y, z;
    auto operator<=>(const Point3D&) const = default;
};

加了 operator<=> 默认生成后，Point3D{1,2,3} <=> Point3D{1,2,3} 返回 std::strong_ordering::equal；Point3D{0,0,0} <=> Point3D{1,0,0} 返回 std::strong_ordering::less。关键来了：只要 a <=> b == strong_ordering::equal，编译器就敢断定 a == b 为真，且 a < b、a > b 必为假——这个保证，是老式 operator< 根本做不到的。因为 operator< 只定义了“小于”，相等性得靠 == 单独实现，两者若不一致（比如忘了同步更新），bug 就埋下了。

那什么时候该用 strong_ordering？看场景：

• 值语义清晰的对象：如整数、字符串、时间戳、坐标、有理数——它们天然具备全序、无歧义的相等判断；
• 你希望标准算法“闭着眼也能安全用”：比如 std::set<Point3D> 要求键的比较满足严格弱序，而 strong_ordering 自动满足，还额外提供相等语义一致性；
• 你需要向泛型代码暴露“可强排序”能力：比如写一个通用的二分查找模板，接收 Compare 概念，若传入 strong_ordering，就能安全启用 std::ranges::lower_bound 的优化路径。

但别急着给所有类都装上 operator<=>。如果你的类型存在“不可比”的情况——比如浮点数中的 NaN，或数据库记录中某些字段为空——那就该用 std::partial_ordering，它允许返回 std::partial_ordering::unordered。强行塞进 strong_ordering，等于逼裁判对一道无解题打分，结果只能是未定义行为。

还有一个易被忽略的细节：strong_ordering 支持隐式转换成布尔。if (a <=> b == std::strong_ordering::less) 是合法的，但更地道的写法是 if ((a <=> b) < 0)——因为 strong_ordering 重载了 <、> 等运算符，底层映射为 -1、0、+1。这种设计让旧式条件逻辑无缝迁移，也避免了满屏 ::equal 的冗长写法。

实际调试时，如果发现 std::strong_ordering 返回值不符合预期，优先检查三点：
第一，所有参与比较的成员变量本身必须支持强序（比如 std::string 可以，但 std::vector<std::byte> 若含未初始化内存则不行）；
第二，自定义 operator<=> 中的手动分支必须覆盖全部情况，不能漏掉 == 分支导致默认回退到字节序比较；
第三，确保没有意外触发 float 或 double 的比较——它们默认产生 partial_ordering，混用会编译失败。

最后说句实在话：strong_ordering 不是炫技工具。它真正的价值，在于把过去靠程序员自觉维护的“比较契约”，变成编译器可验证、模板可推理、团队可共识的接口规范。当你下次重构一个老项目，把十几个散落的 operator< 和 operator== 替换为一个 operator<=>，并看到 static_assert(std::is_strong_ordering_v<decltype(std::declval<T>() <=> std::declval<T>())>) 稳稳通过时——那种确定感，就像终于给混乱的抽屉装上了带标签的分格收纳盒。

它不解决所有问题，但它让“比较”这件事，第一次真正变得可靠。