
在c++20中,三路比较运算符(也被称为“Spaceship操作符”,符号为 <=>)是一项重要的新特性,它的主要作用是简化类类型的比较逻辑。通过一个操作符的定义,编译器可以自动生成所有常见的比较操作(如 ==, !=, <, <=, >, >=),从而减少重复代码并提高类型安全性。
什么是三路比较运算符
三路比较运算符 <=> 返回一个比较类别类型,表示两个值之间的关系:
- 如果左操作数小于右操作数,返回等价于负值的类型
- 如果相等,返回零值
- 如果左操作数大于右操作数,返回正值
返回类型通常是 std::strong_ordering、std::weak_ordering 或 std::partial_ordering,具体取决于数据语义。
例如:
立即学习“C++免费学习笔记(深入)”;
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 < p2
- p1 >= p2
而无需手动实现每一个操作符。
何时需要手动定义 <=>
当类的比较逻辑不是简单的“逐成员字典序”时,就需要自定义实现。
例如,你想让某个类只按某个字段排序:
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键比较、以及需要完整比较关系的场景。