std:: common_comparison_category

类模板 std::common_comparison_category 提供一个别名（作为成员类型定义 type ），表示所有模板参数 Ts... 都能转换到的最强比较类别。

具体而言，由 n 个类型 T ₀ ... T _n-1 组成的列表的公共比较类型定义如下：

• 如果任意 T _i 不是比较类别类型（ std::partial_ordering 、 std::weak_ordering 、 std::strong_ordering ），则 U 为 void 。
• 否则，如果至少存在一个 T _i 是 std::partial_ordering ，则 U 为 std::partial_ordering 。
• 否则，如果至少存在一个 T _i 是 std::weak_ordering ，则 U 为 std::weak_ordering 。
• 否则（如果所有 T _i 都是 std::strong_ordering ，或列表为空），则 U 为 std::strong_ordering 。

模板参数

辅助模板

成员类型

可能的实现

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)
    )> {};

示例

另请参阅