Namespaces
Variants

std::partial_ordering

ja.cppreference.net より
 
 
ユーティリティライブラリ
言語サポート
型サポート (基本型、RTTI)
ライブラリ機能テストマクロ (C++20)
プログラムユーティリティ
可変長引数関数
コルーチンサポート (C++20)
契約サポート (C++26)
三方比較
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

汎用ユーティリティ
関係演算子 (C++20で非推奨)
整数比較関数
(C++20)(C++20)(C++20)    
(C++20)
swap と 型操作
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
共通語彙型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)



 
ヘッダ <compare>
class partial_ordering;
で定義 (C++20以上)

クラス型 std::partial_ordering は、以下の性質を持つ 三方比較 の結果型です:

  • 6 つの関係演算子 (==, !=, <, <=, >, >=) をすべて許容します。
  • 置換可能性を意味しません: a が b と等価であっても、f(a) は f(b) と等価とは限りません。ここで f は、引数のパブリックな const メンバを介してアクセス可能な、比較に影響する状態のみを読み取る関数を表します。言い換えれば、等価な値でも区別可能な場合があります。
  • 比較不能な値を許容します: a < b, a == b, a > b はすべて false になり得ます。

定数

型 std::partial_ordering は4つの有効な値を持ち、その型のconst staticデータメンバとして実装されています:

名前 定義
inline constexpr std :: partial_ordering less
[static]
小なり(順序が前)の関係を示す有効な値
(public static member constant)
inline constexpr std :: partial_ordering equivalent
[static]
等価(順序が前でも後でもない)を示す有効な値
(public static member constant)
inline constexpr std :: partial_ordering greater
[static]
大なり(順序が後)の関係を示す有効な値
(public static member constant)
inline constexpr std :: partial_ordering unordered
[static]
比較不能な値との関係を示す有効な値
(public static member constant)

変換

std::partial_ordering は他の比較カテゴリ型へ暗黙的に変換することはできませんが、 std::strong_ordering と std::weak_ordering の両方は partial_ordering へ暗黙的に変換可能です。

比較

比較演算子はこの型の値とリテラル ​ 0 ​ の間で定義されています。これにより、 a <=> b == 0 または a <=> b < 0 といった式がサポートされ、三方比較演算子の結果をブーリアンの関係に変換するために使用できます。詳細は std::is_eq 、 std::is_lt などを参照してください。

これらの関数は通常の unqualified lookup や qualified lookup では可視化されず、 std::partial_ordering が引数の関連クラスである場合にのみ argument-dependent lookup によって発見されます。

partial_orderingを整数リテラル ​ 0 ​ 以外のものと比較しようとするプログラムの動作は未定義です。

operator== operator< operator> operator<= operator>= operator<=>
ゼロまたは partial_ordering との比較を行う
(関数)

operator==

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

パラメータ

v, w - std::partial_ordering 値をチェックする
u - リテラルゼロ引数を受け入れる任意の型の未使用パラメータ

戻り値

1) true v が equivalent の場合、 false v が less 、 greater 、または unordered の場合
2) true 両方のパラメータが同じ値を保持する場合、 false それ以外の場合

operator<

friend constexpr bool operator < ( partial_ordering v, /*unspecified*/ u ) noexcept ;
(1)
friend constexpr bool operator < ( /*unspecified*/ u, partial_ordering v ) noexcept ;
(2)

パラメータ

v - チェックする std::partial_ordering 値
u - リテラルゼロ引数を受け入れる任意の型の未使用パラメータ

戻り値

1) true v が less の場合は true 、 v が greater 、 equivalent または unordered の場合は false
2) true v が greater の場合は true 、 v が less 、 equivalent または unordered の場合は false

operator<=

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

パラメータ

v - チェックする std::partial_ordering 値
u - リテラルゼロ引数を受け入れる任意の型の未使用パラメータ

戻り値

1) true v が less または equivalent の場合、および v が greater または unordered の場合 false
2) true v が greater または equivalent の場合、および v が less または unordered の場合 false

operator>

friend constexpr bool operator > ( partial_ordering v, /*unspecified*/ u ) noexcept ;
(1)
friend constexpr bool operator > ( /*unspecified*/ u, partial_ordering v ) noexcept ;
(2)

パラメータ

v - チェックする std::partial_ordering 値
u - リテラルゼロ引数を受け入れる任意の型の未使用パラメータ

戻り値

1) true v が greater の場合、および v が less 、 equivalent 、または unordered の場合 false
2) true v が less の場合、および v が greater 、 equivalent 、または unordered の場合 false

operator>=

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

パラメータ

v - チェックする std::partial_ordering 値
u - リテラルゼロ引数を受け入れる任意の型の未使用パラメータ

戻り値

1) true v が greater または equivalent の場合、および false v が less または unordered の場合
2) true v が less または equivalent の場合、および false v が greater または unordered の場合

operator<=>

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

パラメータ

v - チェックする std::partial_ordering 値
u - リテラルゼロ引数を受け入れる任意の型の未使用パラメータ

戻り値

1) v .
2) greater もし v が less の場合、 less もし v が greater の場合、それ以外は v 。

注記

浮動小数点値間の 組み込み operator<=> は以下の順序付けを使用します:正のゼロと負のゼロは equivalent と比較されますが、区別可能であり、NaN値は他のあらゆる値と unordered として比較されます。

例

関連項目

すべての6つの演算子をサポートし、置換可能な3方向比較の結果型
(class)
すべての6つの演算子をサポートするが、置換不可能な3方向比較の結果型
(class)