5. operator<=>

    • Class / Function / Type

      std::

    • Header file

      <>

    • Other / All

    crsearch v3.0.23

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

    履歴 編集

    function
    <compare>

    std::partial_ordering::operator<=>

    friend constexpr partial_ordering operator<=>(partial_ordering v, /*unspecified*/) noexcept;   // (1)

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

    概要

    • (1) : 左辺のpartial_orderingの値を取得する。
    • (2) : 右辺のpartial_orderingの値の表現する順序を反転させた値を取得する。

    戻り値

    • (1) : return v
    • (2) : return v < 0 ? partial_ordering::greater : (v > 0 ? partial_ordering::less : v)

    例外

    投げない。

    備考

    これらの演算子は、partial_orderingがメンバ変数となっている時にその属する型の三方比較演算子のdefault実装を妨げないために定義されている。

    それぞれ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;

  std::cout << (comp1 <  0) << std::endl;
  std::cout << (comp2 == 0) << std::endl;
  std::cout << (comp3 == 0) << std::endl;
  std::cout << (comp4 == 0) << std::endl;
  std::cout << "\n";

  // (1) 
  std::cout << ((comp1 <=> 0) <  0) << std::endl;
  std::cout << ((comp2 <=> 0) == 0) << std::endl;
  std::cout << ((comp3 <=> 0) == 0) << std::endl;
  std::cout << ((comp4 <=> 0) == 0) << std::endl;
  std::cout << "\n";

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

    出力

    true
true
true
false

true
true
true
false

false
true
true
false

    バージョン

    言語

    • C++20

    処理系

    関連項目

    参照