std::compare_strong_order_fallback
在标头 <compare> 定义
|
||
inline namespace /* 未指定 */ { inline constexpr /* 未指定 */ |
(C++20 起) | |
调用签名 |
||
template< class T, class U > requires /* 见下文 */ |
(C++20 起) | |
进行子表达式 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 和 t < u 都良构,并且 decltype(t == u) 和 decltype(t < u) 都实现 boolean-testable,则是 t == u ? std::strong_ordering::equal :
t < u ? std::strong_ordering::less :
std::strong_ordering::greater
- 但 t 和 u 都只会求值一次。
所有其他情况下,std::compare_strong_order_fallback(t, u) 都非良构,这能在出现于模板实例化的立即语境时导致代换失败。
定制点对象
名字 std::compare_strong_order_fallback
代表一个定制点对象,它是某个字面 semiregular
类类型的 const 函数对象。为阐述目的,以 __compare_strong_order_fallback_fn
表示它的类型的 cv 无限定版本。
__compare_strong_order_fallback_fn
的所有实例均相等。在相同实参上调用 __compare_strong_order_fallback_fn
类型的不同实例的效果是等价的,这与指代该实例的表达式是左值还是右值,以及是否为 const 限定无关(然而不要求 volatile 限定的实例是可调用的)。由此,可以自由地复制 std::compare_strong_order_fallback
并且能彼此替代地使用它的副本。
给定类型集合 Args...
,如果 std::declval<Args>()... 满足上面对于 std::compare_strong_order_fallback
的实参的要求,那么 __compare_strong_order_fallback_fn
就实现
- std::invocable<__compare_strong_order_fallback_fn, Args...>、
- std::invocable<const __compare_strong_order_fallback_fn, Args...>、
- std::invocable<__compare_strong_order_fallback_fn&, Args...> 和
- std::invocable<const __compare_strong_order_fallback_fn&, Args...>。
否则,__compare_strong_order_fallback_fn
的函数调用运算符不会参与重载决议。
示例
本节未完成 原因:暂无示例 |
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
LWG 2114 (P2167R3) |
C++20 | 后备机制仅要求返回类型可隐式转换到 bool | 加强了约束 |
参阅
(C++20) |
进行三路比较并产生 std::strong_ordering 类型的结果 (定制点对象) |