std::compare_three_way_result

来自cppreference.com
< cpp‎ | utility
定义于头文件 <compare>
template<class T, class U = T>
struct compare_three_way_result;
(C++20 起)

tu 分别代表 const std::remove_reference_t<T>const std::remove_reference_t<U> 类型的左值,若表达式 t <=> u 良构,则提供等于 decltype(t <=> u) 的成员 typedef type ,否则无成员 type

试图特化此模板会导致未定义行为。

目录

[编辑] 成员类型

 
名字 定义
type operator<=>TU 的 const 限定左值上的结果类型

[编辑] 辅助类型

template<class T, class U = T>
using compare_three_way_result_t = typename compare_three_way_result<T>::type;
(C++20 起)

[编辑] 可能的实现

template<class T, class U = T>
struct compare_three_way_result {};
 
template<class T, class U>
    requires
        requires(const std::remove_reference_t<T>& t, const std::remove_reference_t<U>& u)
            { t <=> u; }
struct compare_three_way_result<T, U> {
    using type = decltype(std::declval<const std::remove_reference_t<T>&>() <=>
                          std::declval<const std::remove_reference_t<U>&>());
};

[编辑] 示例

#include <compare>
#include <type_traits>
#include <iostream>
 
template <class Ord>
void print_cmp_type()
{
    if constexpr (std::is_same_v<Ord, std::strong_ordering>)
        std::cout << "strong ordering\n";
    else if constexpr (std::is_same_v<Ord, std::weak_ordering>)
        std::cout << "weak ordering\n";
    else if constexpr (std::is_same_v<Ord, std::partial_ordering>)
        std::cout << "partial ordering\n";
    else if constexpr (std::is_same_v<Ord, std::strong_equality>)
        std::cout << "strong equality\n";
    else if constexpr (std::is_same_v<Ord, std::weak_equality>)
        std::cout << "weak equality\n";
    else
        std::cout << "illegal comparison result type\n";
}
 
int main()
{
    print_cmp_type<std::compare_three_way_result_t<int>>();
    print_cmp_type<std::compare_three_way_result_t<double>>();
    print_cmp_type<std::compare_three_way_result_t<int(*)()>>();
}

输出:

strong ordering
partial ordering
strong equality

[编辑] 参阅

三路比较的结果类型,仅支持相等/不相等,且不可替换
(类) [编辑]
三路比较的结果类型,仅支持相等/不相等,且可替换
(类) [编辑]
三路比较的结果类型,支持所有 6 种运算符,不可替换,并允许不可比较的值
(类) [编辑]
三路比较的结果类型,支持所有 6 种运算符且不可替换
(类) [编辑]
三路比较的结果类型,支持所有 6 种运算符且可替换
(类) [编辑]