std::common_comparison_category

来自cppreference.com
< cpp‎ | utility
 
C++
 
工具库
通用工具
关系运算符 (C++20 弃用)
 
在标头 <compare> 定义
template< class... Ts >

struct common_comparison_category
{
    using type = /* 见下文 */ ;

};
 (C++20 起)

类模板 std::common_comparison_category 为所有模板实参 Ts... 所能转换到的最强比较类别提供别名（作为成员 typedef type）。

详细而言，n 个类型 T0...Tn-1 的公共比较类型 U 定义如下：

目录

[编辑] 模板形参

...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; };
} // namespace 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 种运算符且不可替换，并允许不可比较的值
(类) [编辑]
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/utility/compare/common_comparison_category&oldid=90516”