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

履歴 編集

function
<compare>

std::partial_ordering::operator==(C++20)

friend constexpr bool operator==(partial_ordering v, partial_ordering w) noexcept = default; // (1)

friend constexpr bool operator==(partial_ordering v, /*unspecified*/) noexcept;   // (2)

// (2)により、以下のオーバーロードが使用可能になる
friend constexpr bool operator==(/*unspecified*/, partial_ordering v) noexcept;   // (3)

概要

  • (1) : partial_ordering同士の等値比較を行う
  • (2)(3) : partial_orderingの値がpartial_ordering::equivalentであるかを調べる。

戻り値

int型のメンバ変数valueに各有効値に対応する値、bool型メンバ変数is_orderedに順序付けされているかどうかを保持しているとして、以下と等価

  • (1) : return v.value == w.value && v.is_ordered == w.is_ordered
  • (2) : return v.is_ordered && v.value == 0
  • (3) : return v == 0

例外

投げない。

備考

この演算子により、以下の演算子が使用可能になる:

  • bool operator!=(partial_ordering v, partial_ordering w) noexcept;
  • bool operator!=(partial_ordering v, /*unspecified*/) noexcept;
  • bool operator!=(/*unspecified*/, partial_ordering w) noexcept;

unspecifiedとなっている片側の引数には0リテラルのみが使用できる。それ以外の物を渡した場合、動作は未定義。

#include <iostream>
#include <compare>

int main()
{
  std::partial_ordering comp1 = 1 <=> 2;
  std::partial_ordering comp2 = 1 <=> 1;
  std::partial_ordering comp3 = -0.0 <=> +0.0;

  constexpr auto qnan = std::numeric_limits<double>::quiet_NaN();
  std::partial_ordering comp4 = qnan <=> qnan;

  std::cout << std::boolalpha;

  // (1)
  std::cout << (comp1 == comp2) << std::endl;

  // (2) 
  std::cout << (comp1 == 0) << std::endl;
  std::cout << (comp3 == 0) << std::endl;
  std::cout << (comp4 == 0) << std::endl;

  // (3)
  std::cout << (0 == comp1) << std::endl;
  std::cout << (0 == comp3) << std::endl;
  std::cout << (0 == comp4) << std::endl;
}

出力

false
false
true
false
false
true
false

バージョン

言語

  • C++20

処理系

関連項目

参照