std::common_comparison_category

template< class... Ts >
struct common_comparison_category
{
    using type = /* see below */ ;
};

Шаблон класса std::common_comparison_category предоставляет псевдоним (в виде typedef-члена 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)
    )> {};

Пример

Смотрите также