最終更新日時(UTC):
が更新

履歴 編集

class template
<compare>

std::compare_three_way_result(C++20)

namespace std {

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

  template<class T, class U = T>
  using compare_three_way_result_t = typename compare_three_way_result<T, U>::type;
}

概要

与えられた型の間の<=>による比較結果型を求める。

効果

T2 = remove_reference_t<T>U2 = remove_reference_t<U>として、const T2& tconst U2& uのように定義されるオブジェクトt, uに対するt <=> uが使用可能であれば、type = decltype(t <=> u)のようにメンバ型typeを定義する。

それ以外の場合は、typeは定義されない。

ただし、これらのチェックは未評価の文脈で行われる。

備考

ユーザーはこのクラスの明示的、部分特殊化を定義してはならない。それらの特殊化を定義した場合、そのプログラムの動作は未定義。

#include <iostream>
#include <compare>
#include <type_traits>

template<typename T, typename Cat>
using fallback_comp3way = std::conditional_t<std::three_way_comparable<T>, std::compare_three_way_result_t<T>, Cat>;

template<typename T>
struct wrap {
  T t;

  //<=>を使用可能ならそれを、そうでないなら< ==を使ってdefault実装
  auto operator<=>(const wrap&) const
    -> fallback_comp3way<T, std::weak_ordering>
      = default;
}

struct no_spaceship {
  int n;

  bool operator<(const no_spaceship& that) const noexcept {
    return n < that.n;
  }

  bool operator==(const no_spaceship& that) const noexcept {
    return n == that.n;
  }
};

int main()
{
  wrap<no_spaceship> t1 = {{20}}, t2 = {{30}};

  std::cout << std::boolalpha;
  std::cout << (t1 <  t2) << std::endl;
  std::cout << (t1 <= t2) << std::endl;
  std::cout << (t1 >  t2) << std::endl;
  std::cout << (t1 >= t2) << std::endl;
}

出力

true
true
false
false

このコードをコンパイルできるコンパイラがまだないため、結果は予想。

実装例

template<typename T, typename U = T>
concept simple_3way_compareble = requires(const std::remove_reference_t<T>& t, const std::remove_reference_t<U>& u) {
  t <=> u;
};

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

template<typename T, typename U>
requires simple_3way_compareble<T, U>
struct compare_three_way_result<T, U> {
  using type = decltype(declval<const remove_reference_t<T>&>() <=> declval<const remove_reference_t<U>&>());
};

バージョン

言語

  • C++20

処理系

関連項目

参照