std::strong_ordering 是 C++20 引入的不可隐式转换为 bool 的枚举类，仅含 less、equal、greater 三个静态成员，不支持直接用 == 0 或 > 0 比较，须显式与成员比较或使用 std::is_eq 等谓词。
std::strong_ordering 是什么类型，为什么不能直接用 == 比较
std::strong_ordering 是 C++20 引入的三向比较结果类型，属于 不可隐式转换为 bool 的枚举类。它不是整数，也不是 int，所以写 cmp == 0 或 cmp > 0 会编译失败。
它的合法值只有三个静态成员：std::strong_ordering::less、std::strong_ordering::equal、std::strong_ordering::greater。所有比较必须显式与它们之一做 == 或 !=。
- 错误写法：
if (a b > 0)→ 编译错误，“>” 不支持std::strong_ordering - 正确写法：
if ((a b) == std::strong_ordering::greater) - 更常见写法是直接用
std::is_eq/std::is_lt等谓词（见下一条）
怎么安全地判断三向比较结果：用 std::is_eq 而不是 == std::strong_ordering::equal
std::is_eq、std::is_lt、std::is_gt 是 C++20 提供的配套函数，专为处理各类三向比较结果（std::strong_ordering、std::weak_ordering、std::partial_ordering）设计，比手写 == std::strong_ordering::equal 更健壮。
- 它们能适配所有三向比较类型，避免硬编码具体枚举值
- 如果未来类型扩展新值（如某些实现加了 debug 枚举项），这些函数仍可保持语义正确
- 示例：
if (std::is_gt(a b)) { /* a > b */ } - 注意：
std::is_eq返回bool，不是std::strong_ordering—— 别误以为它返回一个 ordering 值
std::strong_ordering 和 std::weak_ordering 的关键区别在哪
核心在于「相等是否意味着可互换」：std::strong_ordering 要求 a == b 当且仅当 a 和 b 在所有上下文中行为完全一致（bitwise 相等或逻辑等价）；而 std::weak_ordering 允许 a == b 但 a 和 b 有细微差异（比如字符串忽略大小写比较时，"ABC" 和 "abc" 相等但不强相等）。
立即学习“C++免费学习笔记（深入）”；
- 典型场景：
std::string默认operator返回std::strong_ordering；自定义 case-insensitive string 可能返回std::weak_ordering - 性能影响：强序要求更严格，编译器可能做更多假设（如允许优化掉重复比较），但多数情况下无感
- 兼容性：如果你的类型只支持
==和，编译器合成的 <code>默认返回std::strong_ordering（只要==是真正的强相等）
自定义 operator 时，返回 std::strong_ordering 的常见陷阱
最常踩的坑是「手动拼接多个字段比较却忘了统一返回类型」——比如用 int 差值计算再 cast 成 std::strong_ordering，这在溢出或非整数字段上会出错。
- 错误示范：
return static_cast<:strong_ordering>(a.x - b.x);</:strong_ordering>→x是double或负数差很大时 UB - 正确做法：用
std::strong_ordering::less/::equal/::greater显式分支，或用std::compare_3way（已弃用）或更推荐的std::lexicographical_compare_3way处理多字段 - 更简洁安全的方式：
return std::tie(a.x, a.y) std::tie(b.x, b.y);——std::tuple的自动返回std::strong_ordering（若元素都支持强序） - 注意：如果字段中有一个只支持
std::partial_ordering（比如float），整个结果会退化为std::partial_ordering，不能强制 cast
真正难的不是写对单个 operator，而是确保所有字段的比较语义一致，并且和你的 operator== 定义严格对应 —— 这一点调试时几乎无法靠编译器报错发现。
