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

Пример

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