17370845950

三路比较运算符（）是C++20引入的特性，用于统一小于、等于、大于判断逻辑，编译器可据此自动生成==、!=、=六个运算符；其返回std::strong_ordering、std::weak_ordering或std::partial_ordering之一，多数自定义类型用=default即可。

详解【新特性】">

三路比较运算符（spaceship operator），即 ，是 C++20 引入的核心新特性之一，用于简化类型比较逻辑的编写。它不是用来替代所有比较操作，而是统一“小于、等于、大于”的判断逻辑，让编译器能自动生成 ==、!=、、、>、>= 六个关系运算符（前提是满足一定条件）。

什么是三路比较的结果类型

表达式 a b 返回一个比较类别（comparison category）类型的值，常见有三种：

• std::strong_ordering：支持完全等价（如整数、指针），a == b 意味着“位级相等”，可区分 less / equal / greater；
• std::weak_ordering：允许“等价但不相等”（如忽略大小写的字符串比较），equal 和 equivalent 可能不同；
• std::partial_ordering：支持非全序（如浮点数含 NaN），可能返回 unordered。

多数自定义类型用 std::strong_ordering 就够了，编译器通常能自动推导。

怎么为自定义类型定义 运算符

只需在类内或类外定义一个 operator(const T&) const 成员或非成员函数，返回比较类别即可：

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

    // C++20 推荐写法：默认生成（需所有成员可比较）
    auto operator<=>(const Person&) const = default;

    // 或手动实现（更灵活）
    // auto operator<=>(const Person& other) const {
    //     if (auto cmp = name <=> other.name; cmp != 0) return cmp;
    //     return age <=> other.age;
    // }
};

注意：= default 要求所有数据成员都支持 （内置类型、标准容器、其他已定义 的类型都满足）；若想控制比较顺序（比如先比 age 再比 name），就得手写。

编译器如何自动生成其他比较运算符

只要类定义了 operator（且没有显式定义 == 或其他比较符），编译器就会隐式提供：

• a == b 等价于 (a b) == 0；
• a != b 等价于 (a b) != 0；
• a 等价于 (a b) ；
• 其余同理（、>、>=）。

这意味着你只需写一个 ，就能安全使用全部六种比较，且语义一致、无重复逻辑。

和传统重载比较符相比有什么优势

传统方式要写六个运算符，容易遗漏、写错或语义不一致（比如 == 比较字段 A+B，而 只比字段 A）。而三路比较：

• 一次定义，六处可用，减少代码量和维护成本；
• 天然保证所有比较逻辑基于同一套顺序规则；
• 支持 std::sort、std::map、std::set 等标准算法和容器开箱即用；
• 配合 = default，对纯数据结构几乎零成本启用。

不复杂但容易忽略：记得开启 C++20 标准（如编译时加 -std=c++20），并确保编译器支持（GCC 10+、Clang 8+、MSVC 19.28+）。