C++20三路比较与排序稳定性详解

1. C++20三路比较与排序稳定性深度解析

在C++20标准发布之前，我们实现自定义类型比较时往往需要重载多个运算符（如<、>、==等），这不仅导致代码冗余，还容易引入逻辑不一致的风险。std::strong_ordering的引入彻底改变了这一局面，它通过三路比较运算符（<=>）将比较结果明确划分为less、equal和greater三种状态，就像交通信号灯的红黄绿三色一样清晰直观。

提示：三路比较并非C++首创，Java的Comparable接口和Python的富比较方法都采用了类似理念，但C++20通过强类型枚举和编译器深度优化，将其性能发挥到了极致。

1.1 std::strong_ordering的核心特性

std::strong_ordering属于强序关系（strong ordering），这意味着它满足以下数学特性：

• 反对称性：若a <=> b为less，则b <=> a必为greater
• 传递性：若a <=> b为less且b <=> c为less，则a <=> c必为less
• 可比较性：任意两个值比较必得确定结果（不存在"不可比"状态）

这种强类型保证使得编译器可以进行激进优化。例如在下面这个自定义类中：

cpp复制struct Point {
    int x;
    int y;
    
    auto operator<=>(const Point&) const = default;
};

编译器会自动生成符合强序要求的比较逻辑：先比较x成员，若相等再比较y成员。这种字典序比较方式既保证了逻辑正确性，又免去了手动实现的麻烦。

1.2 排序稳定性的本质含义

排序算法的稳定性指的是：当两个元素在比较时被视为等价（即a <=> b返回equal），它们在排序后的相对顺序与原始顺序保持一致。这个概念看似简单，但在实际工程中影响深远。

考虑一个实际案例：我们需要处理学生成绩单，先按分数降序排序，同分者保持原始录入顺序。使用非稳定排序可能导致同分学生的顺序随机变化，这在教务系统中是完全不可接受的。std::stable_sort正是为解决此类问题而生。

2. 三路比较的实现细节剖析

2.1 自定义类型的<=>重载实践

对于需要特殊比较逻辑的类型，我们可