名前空間
変種

    std::compare_three_way_result

    提供: cppreference.com
     
    C++
     
    ユーティリティライブラリ
    汎用ユーティリティ
    日付と時間
    関数オブジェクト
    書式化ライブラリ (C++20)
    (C++11)
    (C++14)
    関係演算子 (C++20で非推奨)
    整数比較関数
    (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
    (C++20)
    スワップと型操作
    (C++20)
    (C++14)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++17)
    一般的な語彙の型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++17)
    (C++17)

    初等文字列変換
    (C++17)
    (C++17)
    (C++17)
     
    <tbody> </tbody>
    ヘッダ <compare> で定義
    template<class T, class U = T> struct compare_three_way_result;
    		 (C++20以上)

    t と u がそれぞれ const std::remove_reference_t<T> と const std::remove_reference_t<U> の左辺値を表すとき、式 t <=> u が well-formed であれば、 decltype(t <=> u) に等しいメンバ型 type を提供します。 そうでなければ、メンバ type は存在しません。

    このテンプレートを特殊化する試みは未定義動作です。

    メンバ型

    名前 定義
    type T と U の const 修飾された左辺値に対する operator<=> の結果の型

    ヘルパー型

    <tbody> </tbody>
    template<class T, class U = T> using compare_three_way_result_t = typename compare_three_way_result<T>::type;
    		 (C++20以上)

    実装例

    template<class T, class U = T>
struct compare_three_way_result {};

template<class T, class U>
    requires
        requires(const std::remove_reference_t<T>& t, const std::remove_reference_t<U>& u)
            { t <=> u; }
struct compare_three_way_result<T, U> {
    using type = decltype(std::declval<const std::remove_reference_t<T>&>() <=>
                          std::declval<const std::remove_reference_t<U>&>());
};

    例

    Run this code
    #include <compare>
#include <type_traits>
#include <iostream>

template <class Ord>
void print_cmp_type()
{
    if constexpr (std::is_same_v<Ord, std::strong_ordering>)
        std::cout << "strong ordering\n";
    else if constexpr (std::is_same_v<Ord, std::weak_ordering>)
        std::cout << "weak ordering\n";
    else if constexpr (std::is_same_v<Ord, std::partial_ordering>)
        std::cout << "partial ordering\n";
    else if constexpr (std::is_same_v<Ord, std::strong_equality>)
        std::cout << "strong equality\n";
    else if constexpr (std::is_same_v<Ord, std::weak_equality>)
        std::cout << "weak equality\n";
    else
        std::cout << "illegal comparison result type\n";
}

int main()
{
    print_cmp_type<std::compare_three_way_result_t<int>>();
    print_cmp_type<std::compare_three_way_result_t<double>>();
    print_cmp_type<std::compare_three_way_result_t<int(*)()>>();
}

    出力: 

    strong ordering
partial ordering
strong equality

    関連項目

    (C++20)
    		 等しい、等しくないのみサポートする代用可能でない三方比較の結果の型
    (クラス) [edit]
    (C++20)
    		 等しい、等しくないのみサポートする代用可能な三方比較の結果の型
    (クラス) [edit]
    (C++20)
    		 6種類の演算子をすべてサポートし、代用可能でなく、比較不可能な値を許容する、三方比較の結果の型
    (クラス) [edit]
    (C++20)
    		 6種類の演算子をすべてサポートする代用可能でない三方比較の結果の型
    (クラス) [edit]
    (C++20)
    		 6種類の演算子をすべてサポートする代用可能な三方比較の結果の型
    (クラス) [edit]