在C++20中，三路比较运算符（也被称为“Spaceship操作符”，符号为 ）是一项重要的新特性，它的主要作用是简化类类型的比较逻辑。通过一个操作符的定义，编译器可以自动生成所有常见的比较操作（如 ==, !=, , >=），从而减少重复代码并提高类型安全性。

什么是三路比较运算符

三路比较运算符 返回一个比较类别类型，表示两个值之间的关系：

• 如果左操作数小于右操作数，返回等价于负值的类型
• 如果相等，返回零值
• 如果左操作数大于右操作数，返回正值

返回类型通常是 std::strong_ordering、std::weak_ordering 或 std::partial_ordering，具体取决于数据语义。

例如：

int a = 5, b = 3;
auto result = a <=> b; // result > 0，表示 a > b

自动合成比较操作符

最实用的地方在于，当你为类定义了 操作符后，C++20允许编译器自动生成 == 和其他关系运算符。

比如你有一个简单的结构体：

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

上面这行 = default 告诉编译器：请为这个类按成员逐个使用三路比较来生成逻辑。之后你就可以直接使用：

• p1 == p2
• p1
• p1 >= p2

而无需手动实现每一个操作符。

Perplexity是一个ChatGPT和谷歌结合的超级工具，可以让你在浏览互联网时提出问题或获得即时摘要

何时需要手动定义

当类的比较逻辑不是简单的“逐成员字典序”时，就需要自定义实现。

例如，你想让某个类只按某个字段排序：

struct Person {
    std::string name;
    int age;

    auto operator<=>(const Person& other) const {
        return age <=> other.age; // 只按年龄比较
    }

    bool operator==(const Person& other) const {
        return age == other.age;
    }
};

这样，两个 Person 对象的比较就只关注 age 字段。

与旧版本兼容性

即使你只定义了 ，C++20也支持通过它推导出 == 和 !=。但注意：对于相等性比较，建议单独定义 operator== 以获得更高效的实现（因为三路比较可能比直接判断相等更慢）。

另外，如果你只定义了 ，那么表达式 a == b 在底层会被转换为 (a b) == 0，这是语言支持的隐式转换。

基本上就这些。三路比较操作符的核心价值是：减少样板代码，统一比较语义，提升类型安全。它特别适合用于容器排序、map键比较、以及需要完整比较关系的场景。