Namespaces
Variants

    std::common_comparison_category

    来自 zh.cppreference.net
     
    C++
     
    工具库
    通用工具
    关系运算符 (C++20 弃用)
    整数比较函数
    (C++20)(C++20)(C++20)    
    (C++20)
    交换 与 类型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    常用词汇类型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    定义于头文件 <compare> 
    template< class... Ts >
struct common_comparison_category
{
    using type = /* see below */ ;
};
    		(从 C++20 起)

    类模板 std::common_comparison_category 提供一个别名（作为成员类型 type），该别名是所有模板参数 Ts... 可转换到的、最强的比较类别。

    具体来说，n 个类型 T0...Tn-1 的共同比较类型定义如下：

    模板参数

    ...Ts - 可能为空的类型列表

    辅助模板

    template < class ... Ts >
    using common_comparison_category_t = common_comparison_category < Ts... > :: type ;
    		(C++20 起)

    成员类型

    成员类型 定义
    type 最强的通用比较类别（按上述定义）

    可能的实现 

    namespace detail
{
    template<unsigned int>
    struct common_cmpcat_base     { using type = void; };
    template<>
    struct common_cmpcat_base<0u> { using type = std::strong_ordering; };
    template<>
    struct common_cmpcat_base<2u> { using type = std::partial_ordering; };
    template<>
    struct common_cmpcat_base<4u> { using type = std::weak_ordering; };
    template<>
    struct common_cmpcat_base<6u> { using type = std::partial_ordering; };
} // 命名空间 detail
template<class...Ts>
struct common_comparison_category :
    detail::common_cmpcat_base<(0u | ... |
        (std::is_same_v<Ts, std::strong_ordering>  ? 0u :
         std::is_same_v<Ts, std::weak_ordering>    ? 4u :
         std::is_same_v<Ts, std::partial_ordering> ? 2u : 1u)
    )> {};

    示例

    此章节内容不完整
    原因：缺少示例

    另请参阅

    (C++20)
    		支持全部6种运算符且可替换的三路比较结果类型
    (类)
    (C++20)
    		支持全部6种运算符但不可替换的三路比较结果类型
    (类)
    (C++20)
    		支持全部6种运算符、不可替换且允许不可比较值的三路比较结果类型
    (类)