std:: common_comparison_category

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 du 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 quelconque T _i n'est pas un type de catégorie de comparaison ( std::partial_ordering , std::weak_ordering , std::strong_ordering ), U est void .
• Sinon, si au moins un T _i est std::partial_ordering , U est std::partial_ordering .
• Sinon, si au moins un T _i est std::weak_ordering , U est std::weak_ordering .
• Sinon (si chaque T _i est std::strong_ordering , ou si la liste est vide), 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