std::strong_ordering 是 C++20 三向比较中最常用、最安全的返回类型，但必须严格维护全序关系，且 operator<=> 与 operator== 逻辑必须完全一致，否则标准容器行为未定义。
直接说结论：std::strong_ordering 是 C++20 三向比较中最常用、最安全的返回类型，但「深度定制」不等于「随便改逻辑」——它要求你严格维护全序关系（即任意两个对象必须可比，且 a b == std::strong_ordering::equal 当且仅当 a == b 为真），否则 std::sort、std::set 等标准设施行为不可预测。
什么时候必须手动写 operator 而不是 = default
编译器自动生成的 = default 版本只做字典序逐成员比较，一旦你的业务语义偏离这个规则，就必须手动实现。常见场景包括：
- 成员顺序不等于逻辑优先级（比如
Point{x, y}想按曼哈顿距离排序，而非先比x再比y） - 需要忽略某些字段（如日志结构体中的
timestamp不参与相等判断） - 涉及转换或归一化（如字符串忽略大小写、浮点数带容差比较——但注意：容差比较不满足
std::strong_ordering的数学要求，应避免） - 成员本身不支持三向比较（比如含
std::unique_ptr或自定义类型未定义operator）
std::strong_ordering 的返回值不能靠手写数字硬凑
有人误以为 return -1;、return 0;、return 1; 就能模拟三向结果，这是错的。C++20 要求返回的是具名常量，编译器据此生成优化代码。错误写法会导致编译失败或静默逻辑错误：
// ❌ 错误：返回 int，不是 std::strong_ordering
auto operator<=>(const Point& rhs) const {
return x < rhs.x ? -1 : x > rhs.x ? 1 : 0; // 编译不过，或触发隐式转换警告
}
// ✅ 正确：用具名常量，且保持逻辑一致
auto operator<=>(const Point& rhs) const {
if (auto cmp = x <=> rhs.x; cmp != 0) return cmp;
return y <=> rhs.y;
}
关键点：
立即学习“C++免费学习笔记（深入）”；
- 必须用
std::strong_ordering::less、::equal、::greater，或更推荐——直接用成员的结果级联（如示例中x rhs.x） - 级联时用
if (cmp != 0) return cmp;，而不是if (cmp < 0)—— 因为std::strong_ordering不保证底层是整数，比较运算符重载才是它的契约 - 所有分支最终必须返回
std::strong_ordering，不能漏掉return
和 operator== 的一致性是硬性约束
std::strong_ordering 要求：a b == std::strong_ordering::equal 必须与 a == b 完全等价。如果你手动实现了 operator，但没同步更新 operator==，就会出现诡异问题：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
struct BadExample {
int id;
mutable int cache; // 假设 cache 不影响逻辑相等
auto operator<=>(const BadExample& rhs) const {
return id <=> rhs.id; // ✅ 忽略 cache，合理
}
bool operator==(const BadExample& rhs) const {
return id == rhs.id && cache == rhs.cache; // ❌ 错！cache 不该参与 ==
}
};
后果：
-
std::unordered_set<BadExample>可能因哈希与相等不一致而崩溃 -
std::set插入时判定重复失败（a b == equal但a == b为假） - 编译器不会报错，但运行时行为未定义
正确做法：要么让 operator== 也只比 id，要么把 operator 改成包含 cache（如果它真影响逻辑）。
性能敏感场景下， 更快
排序算法（如 std::sort）内部通常需要同时知道 和 <code>==。传统两值比较需两次函数调用；而一次 调用即可提取全部信息。实测在复杂对象上，手动级联 可减少 15–30% 比较开销：
struct Heavy {
std::string name;
std::vector<int> data;
auto operator<=>(const Heavy& rhs) const {
if (auto cmp = name <=> rhs.name; cmp != 0) return cmp;
// data.size() 差异大时提前退出，避免完整 vector 比较
if (data.size() != rhs.data.size()) {
return data.size() <=> rhs.data.size();
}
return data <=> rhs.data; // 最后才深比较
}
};
注意点：
- 别为了“看起来快”提前
return而破坏全序（例如仅比 size 就返回，但 size 相同 content 不同却没判） - 编译器对
有专门优化，但前提是返回类型明确、分支简洁；嵌套过深或混用if/else与三元运算符可能削弱优化效果
真正容易被忽略的，是「std::strong_ordering 不是接口协议，而是数学契约」——你写的每个 operator 都在承诺：我的类型满足反对称性、传递性、完全性。一旦破约，标准库不负责兜底，调试会卡在最意想不到的地方。
