4. compare_partial_order_fallback

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

履歴 編集

function
<compare>

std::compare_partial_order_fallback

namespace std {
  inline namespace /*unspecified*/ {

    inline constexpr /*unspecified*/ compare_partial_order_fallback = /*unspecified*/;
  }
}

概要

compare_partial_order_fallbackは2つの引数を受け取り、それらを半順序の上で比較する関数オブジェクトである。
partial_orderが使用できない場合でも、引数型が< ==両演算子を使用可能であればそれを用いて比較を行う。

効果

compare_partial_order_fallback(a, b)のように呼び出された時、以下のいずれかと等価（上から順に考慮される）

  1. decayを通したa, bの型が異なる場合、呼び出しは不適格（コンパイルエラー）

  2. partial_order(a, b)が呼び出し可能ならばpartial_order(a, b)

  3. a == b、a < b、b < aの3つの演算子が使用可能でありその戻り値型がboolへ変換可能ならば、以下の式 

    a == b ? partial_ordering::equivalent :
a <  b ? partial_ordering::less :
b <  a ? partial_ordering::greater :
         partial_ordering::unordered

  4. それ以外の場合、呼び出しは不適格。

戻り値

呼び出しが適格ならば、比較結果を表すpartial_orderingの値。

例外

上記「効果」節のそれぞれのケース毎に

  1. --
  2. 呼び出されるpartial_order(a, b)が例外を送出するかに従う。
  3. 呼び出されるa < bおよびa == bが例外を送出するかに従う。

定数式に評価される条件

上記「効果」節のそれぞれのケース毎に

  1. --
  2. 呼び出されるpartial_order(a, b)が定数評価可能であるかに従う。
  3. 呼び出されるa < bおよびa == bが定数評価可能であるかに従う。

カスタマイゼーションポイント

上記「効果」節2,3のケースでは、ユーザー定義の< ==演算子を定義、もしくはpartial_order()へアダプトしておくことによって実行される比較をカスタマイズすることができる。

  1. --
  2. 引数a, bの型Tをpartial_orderにアダプトしておく。
  3. 引数a, bの型Tに対して、使用可能な< ==演算子を定義しておく。

ただし、どのケースにおいてもその戻り値型はpartial_orderingに変換可能でなければならない。

例

#include <iostream>
#include <compare>
#include <limits>

struct legacy {
  double v = 0.0;

  friend bool operator==(const legacy& lhs, const legacy& rhs) {
    return lhs.v == rhs.v;
  }

  friend bool operator<(const legacy& lhs, const legacy& rhs) {
    return lhs.v < rhs.v;
  }
};


int main()
{
  std::cout << std::boolalpha;

  legacy l1 = {+0.0}, l2 = {-0.0}, l3 = {-std::numeric_limits<double>::quiet_NaN()}, l4 = {std::numeric_limits<double>::quiet_NaN()};
  std::cout << (std::compare_partial_order_fallback(l1, l2) <  0) << std::endl;
  std::cout << (std::compare_partial_order_fallback(l1, l2) == 0) << std::endl;

  std::cout << "\n";

  auto comp1 = std::compare_partial_order_fallback(l1, l4);
  std::cout << (comp1 == 0) << std::endl;
  std::cout << (comp1 != 0) << std::endl;
  std::cout << (comp1 <  0) << std::endl;
  std::cout << (comp1 >  0) << std::endl;

  std::cout << "\n";

  auto comp2 = std::compare_partial_order_fallback(l3, l4);
  std::cout << (comp2 == 0) << std::endl;
  std::cout << (comp2 != 0) << std::endl;
  std::cout << (comp2 <  0) << std::endl;
  std::cout << (comp2 >  0) << std::endl;
}

出力

false
true

false
true
false
false

false
true
false
false

バージョン

言語

  • C++20

処理系

関連項目

参照