std::compare_partial_order_fallback

来自cppreference.com
 
C++
 
工具库
 
在标头 <compare> 定义 
inline namespace /* 未指定 */ {
    inline constexpr /* 未指定 */
        compare_partial_order_fallback = /* 未指定 */;
}
(C++20 起)
调用签名
 
template< class T, class U >
    requires /* 见下文 */
constexpr std::partial_ordering
    compare_partial_order_fallback( T&& t, U&& u ) noexcept(/* 见下文 */);
(C++20 起)

进行子表达式 t 与 u 上的三路比较并产生 std::partial_ordering 类型的值，即使运算符 <=> 不可用。

如果 std::decay_t<T> 和 std::decay_t<U> 是相同的类型，那么 std::compare_partial_order_fallback(t, u) 表达式等价于：

  • std::partial_order(t, u)，如果它是良构表达式；
  • 否则，如果表达式 t == u、t < u 和 u < t 都良构，并且 decltype(t == u)、decltype(t < u) 和 decltype(u < t) 都实现 boolean-testable，那么是 t == u ? std::partial_ordering::equivalent :
    t < u ? std::partial_ordering::less :
    u < t ? std::partial_ordering::greater :
             std::partial_ordering::unordered    ，但 t 和 u 都只会求值一次。

所有其他情况下 std::compare_partial_order_fallback(t, u) 都非良构，这能在出现于模板实例化的立即语境时导致代换失败。

定制点对象

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

示例

本节未完成
原因：暂无示例

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 2114
(P2167R3) 		C++20 后备机制仅要求返回类型可隐式转换到 bool 加强了约束
LWG 3465 C++20 后备机制不要求 u < t 良构 要求
LWG 4157 C++20 P2167R3 覆盖了 LWG 问题 3465 的解决方案 恢复解决方案

参阅

(C++20)
 进行三路比较并产生 std::partial_ordering 类型的结果
(定制点对象) [编辑]