命名空间
变体
操作

std::strong_order

来自 cppreference.com
< cpp‎ | utility
 
C++
 
实用程序库
语言支持
类型支持 (基本类型，RTTI)
库特性测试宏 (C++20)
动态内存管理
程序实用程序
协程支持 (C++20)
可变参数函数
(C++20)
(C++26)
(C++11)
(C++20)
调试支持
(C++26)
(C++26)
(C++26)
三元比较
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
strong_order
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)   
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
通用实用程序
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (在 C++20 中已弃用)
整数比较函数
(C++20)(C++20)(C++20)   
(C++20)
交换 和 类型操作
(C++20)
(C++14)
(C++11)
(C++23)
(C++11)
(C++23)
(C++11)
(C++11)
(C++17)
通用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++11)
(C++17)
(C++17)
(C++23)
基本字符串转换
(C++17)
(C++17)
(C++17)

 
定义在头文件 <compare> 中
inline namespace /* unspecified */ {

    inline constexpr /* unspecified */ strong_order = /* unspecified */;

}
 (自 C++20 起)
调用签名
template< class T, class U >

    requires /* see below */

constexpr std::strong_ordering strong_order( T&& t, U&& u ) noexcept(/* see below */);

使用三元比较比较两个值并生成类型为 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），
      • 否则，生成一个类型为 std::strong_ordering 的值，该值与 T 的比较运算符观察到的顺序一致，
    • 否则，std::strong_ordering(std::compare_three_way()(t, u))，如果它是格式良好的表达式。
  • 在所有其他情况下，表达式格式不正确，这会导致在模板实例化的直接上下文中出现 替换失败。

内容

定制点对象

名称 std::strong_order 表示一个定制点对象，它是一个常量 函数对象，其类型为 文字 semiregular 类类型。为了说明目的，其类型的 cv 无限定版本表示为 __strong_order_fn。

所有 __strong_order_fn 实例都是相等的。调用类型为 __strong_order_fn 的不同实例对相同参数的效果是等效的，无论表示该实例的表达式是左值还是右值，以及是否为 const 限定（但是，不需要调用 volatile 限定的实例）。因此，可以随意复制 std::strong_order，并且可以互换使用其副本。

给定一组类型 Args...，如果 std::declval<Args>()... 满足上述 std::strong_order 参数的要求，则 __strong_order_fn 符合以下模型

否则，__strong_order_fn 的任何函数调用运算符都不会参与重载解析。

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

令 x 和 y 为相同 IEEE 浮点类型的值，并且 total_order_less(x, y) 为布尔结果，指示 x 是否在 ISO/IEC/IEEE 60559 中定义的 totalOrder 中先于 y。

(total_order_less(x, y) || total_order_less(y, x)) == false 当且仅当 x 和 y 具有相同的位模式。

  • 如果 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)。

[edit] 示例

本节内容尚未完善
原因：没有示例

[edit] 参见

(C++20)
 支持所有 6 个运算符且可替换的 3 路比较的结果类型
(类) [edit]
(C++20)
 执行 3 路比较并产生 std::weak_ordering 类型的结果
(定制点对象)[edit]
(C++20)
 执行 3 路比较并产生 std::partial_ordering 类型的结果
(定制点对象)[edit]
(C++20)
 执行 3 路比较并产生 std::strong_ordering 类型的结果，即使 operator<=> 不可用
(定制点对象)[edit]
取自 "https://cppreference.cn/mwiki/index.php?title=cpp/utility/compare/strong_order&oldid=150890"