std::strong_order

用三路比较比较两个值，并产生 std::strong_ordering 类型的结果。

设 t 与 u 为表达式，而 T 与 U 分别代表 decltype((t)) 与 decltype((u))，那么 std::strong_order(t, u) 表达式等价于：

• 如果 std::is_same_v<std::decay_t<T>, std::decay_t<U>> 是 true：
  • std::strong_ordering(strong_order(t, u))，如果在不包含 std::strong_order 的声明的语境中进行重载决议的情况下该表达式良构，
  • 否则，如果 T 是浮点类型：
    • 如果 std::numeric_limits<T>::is_iec559 是 true，那么进行浮点值的 ISO/IEC/IEEE 60559 totalOrder 比较并返回 std::strong_ordering 类型值作为结果（注意：此比较能区别正与负零，也能区分有不同表示的 NaN），
    • 否则，产生与 T 的比较运算符所观察的顺序一致的 std::strong_ordering 类型的值，
  • 否则是 std::strong_ordering(std::compare_three_way()(t, u))，如果它良构。
• 所有其他情况下，表达式非良构，在出现于模板实例化的立即语境时这会导致代换失败。

定制点对象

名字 std::strong_order 代表一个定制点对象，它是某个字面 semiregular 类类型的 const 函数对象。 细节参见定制点对象 (CustomizationPointObject) 。

[编辑] IEEE 浮点类型的严格全序

令 x 和 y 为相同 IEEE 浮点类型的值，而 total_order_less(x, y) 为指示在 ISO/IEC/IEEE 60559 中的 totalOrder 所定义的严格全序中 x 是否前趋于 y 的布尔结果。

当且仅当 x 和 y 拥有同一位模式时，total_order_less(x, y) || total_order_less(y, x) == false。

• 如果 x 和 y 都不是 NaN：
  • 如果 x < y，那么 total_order_less(x, y) == true；
  • 如果 x > y，那么 total_order_less(x, y) == false；
  • 如果 x == y，
    • 如果 x 是负零且 y 是正零，那么 total_order_less(x, y) == true；
    • 如果 x 非零且 x 的指数域小于 y 的，那么 total_order_less(x, y) == (x > 0)（仅对十进制浮点数有意义）；
• 如果 x 或 y 是 NaN：
  • 如果 x 是负 NaN 且 y 不是负 NaN，那么 total_order_less(x, y) == true；
  • 如果 x 不是正 NaN 且 y 是正 NaN，那么 total_order_less(x, y) == true；
  • 如果 x 和 y 都是拥有相同符号的 NaN 且 x 的尾数域小于 y 的，那么 total_order_less(x, y) == !std::signbit(x)。

[编辑] 示例

[编辑] 参阅