三路比较运算符()是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 成员或非成员函数,返回比较类别即可:
立即学习“C++免费学习笔记(深入)”;
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+)。










