c++20三路比较怎么用 c++ spaceship运算符详解【新特性】

三路比较运算符()是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:允许“等价但不相等”(如忽略大小写的字符串比较),equalequivalent 可能不同;
  • 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::sortstd::mapstd::set 等标准算法和容器开箱即用;
  • 配合 = default,对纯数据结构几乎零成本启用。

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