4. common_comparison_category

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

履歴 編集

class template
<compare>

std::common_comparison_category

namespace std {

  template<class... Ts>
  struct common_comparison_category {
    using type = …;
  };

  template<class... Ts>
  using common_comparison_category_t = typename common_comparison_category<Ts...>::type;
}

概要

与えられた全ての型から変換可能な共通比較カテゴリ型（common comparison category type）を求める。

効果

Ts...の共通比較カテゴリ型となる型をメンバ型typeとして定義する。

Ts...内のそれぞれの型をTi (0 <= i < N)として、共通比較カテゴリ型Uは以下のように決定される。

  1. Tiの中に1つでも比較カテゴリ型でない型がある場合、U = void
  2. Tiの中に1つでもpartial_orderingがある場合、U = partial_ordering
  3. Tiの中に1つでもweak_orderingがある場合、U = weak_ordering
  4. それ以外の場合、U = strong_ordering（N == 0の場合）

備考

Ts...が空であったり、比較カテゴリ型でない型が含まれていたとしてもメンバ型typeは定義される。それぞれ、strong_orderingとvoidになる。

例

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

template<typename T, typename Cat>
using fallback_comp3way_t = std::conditional_t<std::three_way_comparable<T>, std::compare_three_way_result<T>, std::type_identity<Cat>>::type;

using category = std::weak_ordering;

template<typename T1, typename T2, typename T3>
struct triple {
  T1 t1;
  T2 t2;
  T3 t3;

  // <=>を使用可能ならそれを、そうでないなら< ==を使ってdefault実装
  auto operator<=>(const triple&) const
    -> std::common_comparison_category_t<fallback_comp3way_t<T1, category>, fallback_comp3way_t<T2, category>, fallback_comp3way_t<T3, category>>
      = 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() {
  triple<int, double, no_spaceship> t1 = {10, 3.14, {20}}, t2 = {10, 3.14, {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

バージョン

言語

  • C++20

処理系

関連項目

参照