一、引言：为何需要三向比较运算符

在C++20之前，自定义类型需要手动重载6个比较运算符（<, <=, >, >=, ==, !=），不仅代码冗余且易出现逻辑不一致问题。三向比较运算符<=>（又称太空船运算符）通过单一接口统一比较逻辑，编译器可自动生成其他比较运算符，显著提升代码可维护性。

二、核心实现原理

返回值类型体系

std::strong_ordering：严格全序（整数、自定义类型），返回less/equal/greater

std::weak_ordering：弱序（如浮点数-0.0与0.0），返回less/equivalent/greater

std::partial_ordering：偏序（含NaN的浮点数），额外支持unordered状态

编译器自动推导
重载<=>后，编译器通过std::operator<=>生成其他比较运算符，确保逻辑一致性。例如：

struct Point {     int x, y;     auto operator<=>(const Point&) const = default; // 自动推导所有比较运算符 }; 

三、语法规范与使用场景

基本语法

auto result = lhs <=> rhs; // 返回strong_ordering/weak_ordering/partial_ordering 

自定义类型实现

默认实现：直接声明auto operator<=>(...) const = default;

手动实现：需返回特定排序类型，如：

std::strong_ordering Rational::operator<=>(const Rational& other) const {     auto diff = numerator * other.denominator - other.numerator * denominator;     if (diff < 0) return std::strong_ordering::less;     if (diff > 0) return std::strong_ordering::greater;     return std::strong_ordering::equal; } 

类型转换规则

隐式转换：strong_ordering → weak_ordering → partial_ordering

禁止显式转换：如std::strong_ordering不能直接转为整型。

四、性能优势与最佳实践

减少代码量：单一定义替代多运算符重载，降低维护成本。

避免逻辑错误：编译器生成的运算符保持严格一致性。

适用场景建议：

优先用于需要完整比较逻辑的自定义类型

浮点数比较推荐std::partial_ordering处理NaN

五、总结

C++20的<=>运算符通过统一的比较接口和智能推导机制，解决了传统多运算符重载的痛点，成为现代C++代码中不可或缺的特性。开发者应结合场景选择合适的排序类型，充分利用编译器自动化优势。