std::common_comparison_category

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

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 ser convertidos.

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.
• De lo contrario, si al menos un T_i es std::partial_ordering, U es std::partial_ordering.
• De lo contrario, si al menos un T_i es std::weak_ordering, U es std::weak_ordering.
• De lo 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