std:: common_comparison_category

La plantilla de clase std::common_comparison_category proporciona un alias (como el typedef miembro type ) para la categoría de comparación más fuerte a la que todos los argumentos de plantilla Ts... pueden convertirse.

En detalle, el tipo de comparación común de una lista de n tipos T ₀ ... T _n-1 se define de la siguiente manera:

• Si algún T _i no es un tipo de categoría de comparación ( std::partial_ordering , std::weak_ordering , std::strong_ordering ), U es void .
• En caso contrario, si al menos un T _i es std::partial_ordering , U es std::partial_ordering .
• En caso contrario, si al menos un T _i es std::weak_ordering , U es std::weak_ordering .
• En caso contrario (si cada T _i es std::strong_ordering , o si la lista está vacía), U es std::strong_ordering .

Parámetros de plantilla

Plantilla auxiliar

Tipos de miembros

Implementación posible

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

Ejemplo

Véase también