synth-three-way, synth-three-way-result

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

标准库

定制点对象 (C++20)

仅用于演示的实体

decay-copy (C++11)

synth-three-waysynth-three-way-result (C++20)(C++20)

 

constexpr auto synth-three-way = /* 见下文 */;	(1)	(自 C++20 起) (仅用于演示*)
template< class T, class U = T > using synth-three-way-result =     decltype(synth-three-way(std::declval<T&>(), std::declval<U&>()));	(2)	(自 C++20 起) (仅用于演示*)

1) 行为如同合成三路比较函数的一个函数对象。等价于

constexpr auto synth-three-way =
    []<class T, class U>(const T& t, const U& u)
        requires requires
        {
            { t < u } -> boolean-testable;
            { u < t } -> boolean-testable;
        }
    {
        if constexpr (std::three_way_comparable_with<T, U>)
            return t <=> u;
        else
        {
            if (t < u)
                return std::weak_ordering::less;
            if (u < t)
                return std::weak_ordering::greater;
            return std::weak_ordering::equivalent;
        }
    };

2) (1) (synth-three-way) 的 operator() 的返回类型。

参数

t, u

-

要比较的值

返回值

比较结果。

参见

operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20)	按字典序比较 pair 中的值 (函数模板)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20)	按字典序比较 tuple 中的值 (函数模板)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++11)(C++11)(C++20 前移除)(C++11)(C++20 前移除)(C++11)(C++20 前移除)(C++11)(C++20 前移除)(C++11)(C++20 前移除)(C++20)	按字典序比较两个 array 的值 (函数模板)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20)	按字典序比较两个 deque 的值 (函数模板)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++11)(C++11)(C++20 前移除)(C++11)(C++20 前移除)(C++11)(C++20 前移除)(C++11)(C++20 前移除)(C++11)(C++20 前移除)(C++20)	按字典序比较两个 forward_list 的值 (函数模板)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20)	按字典序比较两个 list 的值 (函数模板)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20)	按字典序比较两个 vector 的值 (函数模板)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20)	按字典序比较两个 map 的值 (函数模板)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20)	按字典序比较两个 multimap 的值 (函数模板)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20)	按字典序比较两个 set 的值 (函数模板)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20 前移除)(C++20)	按字典序比较两个 multiset 的值 (函数模板)