std:: common_comparison_category

クラステンプレート std::common_comparison_category は、すべてのテンプレート引数 Ts... が変換可能な最も強い比較カテゴリに対するエイリアス（メンバ型 type として）を提供します。

詳細には、n個の型のリスト T ₀ ... T _n-1 の共通比較型は以下のように定義されます：

• いずれかの T _i が比較カテゴリ型（ std::partial_ordering 、 std::weak_ordering 、 std::strong_ordering ）でない場合、 U は void となる。
• それ以外の場合、少なくとも1つの T _i が std::partial_ordering である場合、 U は std::partial_ordering となる。
• それ以外の場合、少なくとも1つの 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; };
} // 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)
    )> {};

例

関連項目