std::three_way_comparable, std::three_way_comparable_with

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ(C++17)

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

ユーティリティライブラリ

言語サポート 型サポート (基本型、RTTI、型特性) ライブラリの機能テストマクロ (C++20) 動的メモリ管理 プログラムユーティリティ エラー処理 コルーチンサポート(C++20) 可変長引数関数 launder (C++17) initializer_list (C++11) source_location (C++20) 三方比較 (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

汎用ユーティリティ 日付と時間 関数オブジェクト 書式化ライブラリ(C++20) bitset hash (C++11) integer_sequence (C++14) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_not_equalcmp_lesscmp_greatercmp_less_thancmp_greater_than (C++20)(C++20)(C++20)(C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) 一般的な語彙の型 pair tuple (C++11) apply (C++17) make_from_tuple (C++17) optional (C++17) any (C++17) variant (C++17) 初等文字列変換 to_chars (C++17) from_chars (C++17) chars_format (C++17)

 

ヘッダ <compare> で定義
template<class T, class U>   concept __PartiallyOrderedWith =      // 説明専用     requires(conststd::remove_reference_t<T>& t,              conststd::remove_reference_t<U>& u){       { t <  u }-> std::boolean;       { t >  u }-> std::boolean;       { t <= u }-> std::boolean;       { t >= u }-> std::boolean;       { u <  t }-> std::boolean;       { u >  t }-> std::boolean;       { u <= t }-> std::boolean;       { u >= t }-> std::boolean;     };	(1)	(C++20以上)
template<class T, class Cat>   concept __ComparesAs =                // 説明専用     std::same_as<std::common_comparison_category_t<T, Cat>, Cat>;	(2)	(C++20以上)
template<class T, class Cat = std::partial_ordering>   concept three_way_comparable =     __WeaklyEqualityComparableWith<T, T>&&     (!std::convertible_to<Cat, std::partial_ordering>||     __PartiallyOrderedWith<T, T>)&&     requires(conststd::remove_reference_t<T>& a,              conststd::remove_reference_t<T>& b){       { a <=> b }-> __ComparesAs<Cat>;     };	(3)	(C++20以上)
template<class T, class U, class Cat = std::partial_ordering>   concept three_way_comparable_with =     __WeaklyEqualityComparableWith<T, U>&&     (!std::convertible_to<Cat, std::partial_ordering>||     __PartiallyOrderedWith<T, U>)&&     std::three_way_comparable<T, Cat>&&     std::three_way_comparable<U, Cat>&&     std::common_reference_with<       conststd::remove_reference_t<T>&,       conststd::remove_reference_t<U>&>&&     three_way_comparable<       std::common_reference_t<         conststd::remove_reference_t<T>&,         conststd::remove_reference_t<U>&>, Cat>&&     requires(conststd::remove_reference_t<T>& t,              conststd::remove_reference_t<U>& u){       { t <=> u }-> __ComparesAs<Cat>;       { u <=> t }-> __ComparesAs<Cat>;     };	(4)	(C++20以上)

1) 説明専用コンセプト __PartiallyOrderedWith<T, U> は T 型のオブジェクトと U 型のオブジェクトが <、 >、 <=、および >= を用いてお互いに (いずれの順序でも) 半順序で比較でき、その比較の結果が一貫していることを指定します。

より形式的には、 T および U は、以下の内容を満たす場合に限り、 __PartiallyOrderedWith<T, U> をモデル化します。

• conststd::remove_reference_t<T> 型の左辺値 t
• conststd::remove_reference_t<U> 型の左辺値 u

が与えられたとき、以下が真である。

• t < u、 t <= u、 t > u、 t >= u、 u < t、 u <= t、 u > t、および u >= t が同じ定義域を持つ
• bool(t < u)==bool(u > t)
• bool(u < t)==bool(t > u)
• bool(t <= u)==bool(u >= t)
• bool(u <= t)==bool(t >= u)

3) コンセプト three_way_comparable<T, Cat> は T に対する三方比較演算子 <=> が Cat の表す比較カテゴリと矛盾しない結果を生成することを指定します。

T と Cat は、conststd::remove_reference_t<T> 型の左辺値 a および b が与えられたとき、以下が真である場合に限り、 three_way_comparable<T, Cat> をモデル化します。

• (a <=> b ==0)==bool(a == b)
• (a <=> b !=0)==bool(a != b)
• ((a <=> b)<=>0) と (0<=>(b <=> a)) が等しい
• bool(a < b) と bool(b < c) がどちらも true であれば bool(a < c) が true である
• bool(a > b)==bool(b < a)
• bool(a >= b)==!bool(a < b)
• bool(a <= b)==!bool(b < a)
• Cat が std::strong_equality に変換可能であれば T が equality_comparable をモデル化する
• Cat が std::partial_ordering に変換可能であれば以下が成り立つ
  • (a <=> b <0)==bool(a < b)
  • (a <=> b >0)==bool(a > b)
  • (a <=> b <=0)==bool(a <= b)
  • (a <=> b >=0)==bool(a >= b)
• Cat が std::strong_ordering に変換可能であれば T が totally_ordered をモデル化する

4) コンセプト three_way_comparable_with<T, U, Cat> は T と U の被演算子 (混在しても構いません) に対する三方比較演算子 <=> が Cat の表す比較カテゴリと矛盾しない結果を生成することを指定します。 混在した被演算子の比較はそれらの共通の型に変換した被演算子を比較したのと同等の結果を生成します。

形式的には、 T、 U、および Cat は、以下の内容を満たす場合に限り、 three_way_comparable_with<T, U, Cat> をモデル化します。

• conststd::remove_reference_t<T> 型の左辺値 t
• conststd::remove_reference_t<U> 型の左辺値 u

が与えられたとき、 C を std::common_reference_t<conststd::remove_reference_t<T>&, conststd::remove_reference_t<U>&> としたとき、以下が真である。

• t <=> u と u <=> t が同じ定義域を持つ。
• ((t <=> u)<=>0) と (0<=>(u <=> t)) が等しい
• (t <=> u ==0)==bool(t == u)
• (t <=> u !=0)==bool(t != u)
• Cat(t <=> u)== Cat(C(t)<=> C(u))
• Cat が std::strong_equality に変換可能であれば T と U が std::equality_comparable_with<T, U> をモデル化する
• Cat が std::partial_ordering に変換可能であれば以下が成り立つ
  • (t <=> u <0)==bool(t < u)
  • (t <=> u >0)==bool(t > u)
  • (t <=> u <=0)==bool(t <= u)
  • (t <=> u >=0)==bool(t >= u)
• Cat が std::strong_ordering に変換可能であれば T と U が std::totally_ordered_with<T, U> をモデル化する

ただし __WeaklyEqualityComparableWith は equality_comparable でも使用される説明専用コンセプトです。

等しさの維持

等しい入力を与えると等しい出力が得られる場合、その式は等しさを維持します。

• 式への入力がその被演算子から構成される。
• 式の出力がその結果およびその式によって変更されるすべての被演算子 (もしあれば) から構成される。

等しさを維持することが要求されるすべての式は、さらに安定であることも要求されます。 同じ入力オブジェクトを用いたそのような式の2回の評価は、間にそれらの入力オブジェクトの変更が明示的に挟まれなければ、等しい出力が得られなければなりません。

特に明記されない限り、 requires 式で使用されるすべての式は、等しさを維持することと安定であることが要求され、式の評価は非定数の被演算子のみを変更することができます。 定数である被演算子は変更してはなりません。

暗黙の式のバリエーション

何らかの定数左辺値の被演算子に対して変更しない式を使用する requires 式は、そのような式のバリエーションが異なるセマンティクスで明示的に要求されなければ、与えられた被演算子に対して非定数左辺値または (定数かもしれない) 右辺値を受理するその式の追加のバリエーションも暗黙に要求します。 これらの暗黙の式のバリエーションは、宣言された式のセマンティクスの要件を満たさなければなりません。 処理系がバリエーションの構文を検証する範囲は未規定です。

関連項目

equality_comparableequality_comparable_with (C++20)	演算子 == が同値関係であることを指定します (コンセプト)
totally_orderedtotally_ordered_with (C++20)	型の比較演算子が全順序を与えることを指定します (コンセプト)