std::totally_ordered, std::totally_ordered_with

 

C++

言語

標準ライブラリヘッダ

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

名前付き要件

言語サポートライブラリ

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

診断ライブラリ

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

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

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

アルゴリズムライブラリ

数値演算ライブラリ

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

入出力ライブラリ

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

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

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

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

技術仕様書

 

コンセプトライブラリ

コア言語のコンセプト same_as derived_from convertible_to common_reference_with common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from

比較のコンセプト equality_comparableequality_comparable_with totally_orderedtotally_ordered_with オブジェクトのコンセプト movable copyable semiregular regular 呼び出し可能のコンセプト invocableregular_invocable predicate relation equivalence_relation strict_weak_order

 

<tbody> </tbody>

ヘッダ <concepts> で定義
template <class T> concept totally_ordered = std::equality_comparable<T> && requires(const std::remove_reference_t<T>& a, const std::remove_reference_t<T>& b) { { a < b } -> std::boolean; { a > b } -> std::boolean; { a <= b } -> std::boolean; { a >= b } -> std::boolean; };	(1)	(C++20以上)
template <class T, class U> concept totally_ordered_with = std::totally_ordered<T> && std::totally_ordered<U> && std::common_reference_with< const std::remove_reference_t<T>&, const std::remove_reference_t<U>&> && std::totally_ordered< std::common_reference_t< const std::remove_reference_t<T>&, const std::remove_reference_t<U>&>> && std::equality_comparable_with<T, U> && requires(const std::remove_reference_t<T>& t, const std::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; };	(2)	(C++20以上)

1) コンセプト totally_ordered<T> は、 T に対する比較演算子 ==,!=,<,>,<=,>= が T に対する狭義全順序と一貫性のある結果を返すことを表します。

totally_ordered<T> は、 const std::remove_reference_t<T> 型の左辺値 a, b, c が与えられたとき、以下の内容を満たす場合にのみ、満たされます。

• bool(a < b)、 bool(a > b) または bool(a == b) のいずれかひとつだけが true
• 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)

2) コンセプト totally_ordered_with<T, U> は、 T および U (混在しても構いません) の被演算子に対する比較演算子 ==,!=,<,>,<=,>= が狭義全順序と一貫性のある結果を返すことを表します。 混在した被演算子の比較はその共通型に変換された被演算子の比較と同等の結果を返します。

形式的には、 totally_ordered_with<T, U> は、 const std::remove_reference_t<T> 型の任意の左辺値 t および const std::remove_reference_t<U> 型の任意の左辺値 u が与えられたとき、 C を std::common_reference_t<const std::remove_reference_t<T>&, const std::remove_reference_t<U>&> とすると、以下の内容が満たされる場合にのみ、満たされます。

• bool(t < u) == bool(C(t) < C(u))
• bool(t > u) == bool(C(t) > C(u))
• bool(t <= u) == bool(C(t) <= C(u))
• bool(t >= u) == bool(C(t) >= C(u))
• bool(u < t) == bool(C(u) < C(t))
• bool(u > t) == bool(C(u) > C(t))
• bool(u <= t) == bool(C(u) <= C(t))
• bool(u >= t) == bool(C(u) >= C(t))

等しさの維持

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

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

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

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

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

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