weak_ordering：C++20里那个“不较真”的比较结果

你写过 std::sort 吧？调过 std::map 的自定义比较器吧？大概率，你用的是 bool operator< —— 返回真或假，非黑即白。可现实里，有些东西就是没法一刀切分出大小：比如两个浮点数因精度误差几乎相等；比如两个字符串忽略大小写后内容一致；再比如一个 Person 对象按姓名排序时，“张三”和“张叁”该算相等还是谁大谁小？这时候，bool 就显得太“刚”了——它不接受模棱两可，而世界偏偏常有灰色地带。

C++20 引入的三类排序类别（ordering categories），正是为了解决这类“刚性比较失灵”的问题。其中 std::weak_ordering 是最常被误读、也最值得细品的一个。

它不是“弱一点的强序”，也不是“随便排排就行”。weak_ordering 的核心语义是：允许相等但不保证可交换性，且不承诺等价对象在所有上下文中行为一致。 听起来绕？咱们拆开看。

先看它的三个可能值：std::weak_ordering::less、std::weak_ordering::equivalent、std::weak_ordering::greater。注意，这里用的是 equivalent，不是 equal。这是刻意为之的术语区分——equivalent 表示“在当前比较语义下无法区分”，不等于数学意义上的相等。比如：

struct CaseInsensitiveString {
    std::string s;
    auto operator<=>(const CaseInsensitiveString& rhs) const 
        -> std::weak_ordering {
        return std::lexicographical_compare_three_way(
            s.begin(), s.end(),
            rhs.s.begin(), rhs.s.end(),
            [](char a, char b) { return std::tolower(a) < std::tolower(b); }
        );
    }
};

对 "Hello" 和 "HELLO"，这个 <=> 返回 equivalent。它们在忽略大小写的语义下等价，但字符串本身并不相等（s == rhs.s 为 false）。这意味着：
✅ 可放进 std::set<CaseInsensitiveString>，重复插入 "hello" 不会成功；
⚠️ 但 std::unordered_set 仍需单独提供哈希函数——因为 equivalent 不自动导出 ==，哈希也不能靠它推断；
❌ 更关键的是：若你拿这两个对象去调用某个只接受 == 判断的旧接口，它们依然可能被当作不同对象处理。

这恰恰是 weak_ordering 的设计哲学：它只承诺“在此序关系中可替代”，不越界担保其他语义。 它把“相等性”从比较逻辑里摘出来，交还给用户决定——什么时候该用 ==，什么时候该用 is_equivalent()，全看你的抽象边界在哪。

实际开发中，最容易踩的坑是混淆 weak_ordering 和 std::partial_ordering。后者用于存在“不可比”情况的场景（如 NaN），返回 std::partial_ordering::unordered；而 weak_ordering 永远可比——哪怕两个对象完全无关，它也必须给出 less/equivalent/greater 之一。换句话说：weak_ordering 是为“有模糊边界但无真正未定义态”的场景准备的。

另一个实用细节：当你写一个返回 weak_ordering 的 operator<=>，编译器不会自动生成 == 运算符。这点和 strong_ordering 不同。很多人以为写了 <=> 就万事大吉，结果发现 a == b 编译不过——因为 equivalent 不等于 ==。你需要显式定义：

bool operator==(const CaseInsensitiveString& lhs, 
                const CaseInsensitiveString& rhs) {
    return std::equal(lhs.s.begin(), lhs.s.end(),
                      rhs.s.begin(), rhs.s.end(),
                      [](char a, char b) { 
                          return std::tolower(a) == std::tolower(b); 
                      });
}

这才是完整闭环：<=> 定义序关系，== 定义值相等，二者可以不同，但必须逻辑自洽——等价的对象，其 == 应该返回 true（否则就违背直觉了）。

最后说个容易被忽略的实战信号：如果你的比较逻辑里出现了 std::abs(a - b) < eps 这类浮点容差判断，或者做了任何“近似相等”裁决，weak_ordering 很可能比 strong_ordering 更诚实。强行用 strong_ordering 会逼你伪造一个全序（比如规定 NaN 必须小于一切），反而掩盖了语义缺陷。

weak_ordering 不是退而求其次的选择，它是 C++ 类型系统对现实复杂性的一次精准建模。它提醒我们：编程里最危险的，不是遇到模糊，而是假装它不存在。

下次当你面对“差不多就算一样”的需求时，别急着写 return a < b;，先问问自己：这里的“一样”，是数学相等，还是语义等价？答案决定了你该请哪位 ordering 出马——而 weak_ordering，正等着接住那些不必较真、但又不能乱来的时刻。