std::common_comparison_category

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

Le modèle de classe std::common_comparison_category fournit un alias (sous la forme du typedef membre type) pour la catégorie de comparaison la plus forte vers laquelle tous les arguments de modèle Ts... peuvent être convertis.

En détail, le type de comparaison commun d'une liste de n types T₀...T_n-1 est défini comme suit :

• Si un T_i quelconque n'est pas un type de catégorie de comparaison (std::partial_ordering, std::weak_ordering, std::strong_ordering), alors U est void.
• Sinon, si au moins un T_i est std::partial_ordering, alors U est std::partial_ordering.
• Sinon, si au moins un T_i est std::weak_ordering, alors U est std::weak_ordering.
• Sinon (si chaque T_i est std::strong_ordering, ou si la liste est vide), alors U est std::strong_ordering.

Paramètres du modèle

Modèle d'assistance

Types membres

Implémentation possible

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

Exemple

Voir aussi