std::compare_strong_order_fallback

inline namespace /* unspecified */ {
    inline constexpr /* unspecified */
        compare_strong_order_fallback = /* unspecified */;
}

template< class T, class U >
    requires /* see below */
constexpr std::strong_ordering
    compare_strong_order_fallback( T&& t, U&& u ) noexcept(/* see below */);

对子表达式和 t执行三路比较，u并产生类型为 std::strong_ordering的结果，即使运算符 <=>不可用。

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

• std::strong_order(t, u)，如果它是一个良构表达式；
• 否则，t == u ? std::strong_ordering::equal :
t < u ? std::strong_ordering::less :
         std::strong_ordering::greater

如果表达式 t == u和t < u都是良构的，并且 decltype(t == u)和decltype(t < u)均满足布尔测试概念，但 t和u仅求值一次。

在所有其他情况下，std::compare_strong_order_fallback(t, u)是非良构的，当它出现在模板实例化的直接语境中时，可能会导致替换失败。

定制点对象

名称 std::compare_strong_order_fallback 表示一个 定制点对象 ，这是一个字面量 semiregular 类类型的常量 函数对象 。详细信息请参阅 定制点对象 。

示例

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见