std::common_comparison_category

来自cppreference.com
< cpp‎ | utility
 
 
工具库
语言支持
类型支持(基本类型、 RTTI 、类型特征)    
库功能特性测试宏 (C++20)
动态内存管理
程序工具
错误处理
协程支持 (C++20)
变参数函数
(C++17)
三路比较 (C++20)
common_comparison_category
(C++20)
(C++20)
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
通用工具
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)

初等字符串转换
(C++17)
(C++17)
栈踪
 
定义于头文件 <compare>
template<class... Ts>

struct common_comparison_category {
  using type = /*see below*/ ;

};
(C++20 起)

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


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

模板形参

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

辅助模板

template< class... Ts >
using common_comparison_category_t = typename 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)
    )> {};

示例

参阅

三路比较的结果类型,支持所有 6 种运算符且可替换
(类)
三路比较的结果类型,支持所有 6 种运算符且不可替换
(类)
三路比较的结果类型,支持所有 6 种运算符,不可替换,并允许不可比较的值
(类)