std::partial_ordering必须显式返回以支持“无序”状态（如NaN），不能由编译器自动生成；需手动构造less/equivalent/greater/unordered，且不可隐式转换为其他排序类型。
为什么 partial_ordering 不能直接用 operator() 返回
因为 std::partial_ordering 是三态值（less、equivalent、greater），但还**必须能表示“无序”（unordered）**——比如 NaN 之间的比较。而 std::strong_ordering 和 std::weak_ordering 没有这个状态，所以你一旦想支持 NaN、浮点不确定值、或自定义的“不可比”语义（如数据库中的 NULL），就必须显式返回 std::partial_ordering，且不能靠编译器自动生成。
手动实现 operator() 返回 partial_ordering 的写法
核心是：不依赖 default，自己构造 std::partial_ordering 值，并在不可比时返回 partial_ordering::unordered。
常见错误现象：return a b; 编译失败（如果 a 和 b 是 float 或自定义类型但没声明为 partial_ordering）；或返回 weak_ordering 却试图和 NaN 比较，结果未定义。
- 对浮点数，必须用
std::isnan()判断，不能用==或直接比 - 返回值必须是
std::partial_ordering类型，不能隐式转换（例如不能直接return 0;） - 等价判断用
equivalent，不是equal（后者属于strong_ordering）
<pre class="brush:php;toolbar:false;">struct FloatWrapper {
float value;
auto operator<=>(const FloatWrapper& rhs) const -> std::partial_ordering {
if (std::isnan(value) || std::isnan(rhs.value)) {
return std::partial_ordering::unordered;
}
if (value < rhs.value) return std::partial_ordering::less;
if (value > rhs.value) return std::partial_ordering::greater;
return std::partial_ordering::equivalent; // 注意：不是 equal
}
};
partial_ordering 在比较算法里的实际影响
它直接影响 std::is_lt、std::is_le 等 <compare> 工具函数的行为，也决定容器（如 std::set）能否接受该类型——std::set 要求强序，所以 partial_ordering 类型**不能直接作为 key**，否则编译报错：invalid operands to binary expression ('const T' and 'const T') 或更具体的 no match for 'operator<'（因为 set 内部仍依赖 operator<）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 支持
std::sort，但需确保所有元素两两可比，否则行为未定义（不会抛异常，可能崩溃或乱序） -
std::is_eq(a, b)返回true当且仅当a <=> b == partial_ordering::equivalent - 和
std::strong_ordering混用会触发隐式转换失败，编译报错：cannot convert from 'partial_ordering' to 'strong_ordering'
容易被忽略的兼容性细节
std::partial_ordering 是 C++20 引入的，但它的底层整型值（-1, 0, 1, 或特殊位模式表示 unordered）**不保证跨平台二进制兼容**。如果你做序列化或网络传输，别直接 memcpy 它的值。
更隐蔽的坑：某些老版本 libc++（如 Xcode 12.4 附带）对 partial_ordering::unordered 的 == 操作符重载不完整，导致 (a <=> b) == partial_ordering::unordered 编译失败。此时要改用 std::is_unordered(a <=> b)。
