std::equality_comparable, std::equality_comparable_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

 

ヘッダ <concepts> で定義
template<class T, class U>   concept __WeaklyEqualityComparableWith =// 説明専用     requires(conststd::remove_reference_t<T>& t,              conststd::remove_reference_t<U>& u){       { t == u }-> std::boolean;       { t != u }-> std::boolean;       { u == t }-> std::boolean;       { u != t }-> std::boolean;     };	(1)
template<class T > concept equality_comparable = __WeaklyEqualityComparableWith<T, T>;	(2)	(C++20以上)
template<class T, class U> concept equality_comparable_with =   std::equality_comparable<T>&&   std::equality_comparable<U>&&   std::common_reference_with<     conststd::remove_reference_t<T>&,     conststd::remove_reference_t<U>&>&&   std::equality_comparable<     std::common_reference_t<       conststd::remove_reference_t<T>&,       conststd::remove_reference_t<U>&>>&&   __WeaklyEqualityComparableWith<T, U>;	(3)	(C++20以上)

1) 説明専用コンセプト __WeaklyEqualityComparableWith<T, U> は T 型のオブジェクトと U 型のオブジェクトが == および != の両方を使用してお互いに (いずれかの順序で) 等しさを比較することができ、その比較の結果が一貫性を持つことを表します。

より形式的には、 __WeaklyEqualityComparableWith<T, U> は、

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

が与えられたとき、以下がすべて真である場合にのみ、満たされます。

• t == u、 u == t、 t != u、 u != t が同じ領域を持つ
• bool(u == t)==bool(t == u)
• bool(t != u)==!bool(t == u)
• bool(u != t)==bool(t != u)

2) コンセプト equality_comparable<T> は T に対する比較演算子 == および != が等しさを反映することを表します。 == は被演算子が等しい場合に限り true を返します。

equality_comparable<T> は、 T 型のオブジェクト a および b が与えられたとき、 a と b が等しい場合に限り bool(a == b) が true である場合にのみ、満たされます。 a == b が等しさを維持することの要件と共に、これは == が対称性および推移性を持つことを暗黙に示し、さらに少なくともひとつの他のオブジェクトと等しいすべてのオブジェクト a について反射性を持ちます。

3) コンセプト equality_comparable_with<T, U> は、 T および U の被演算子 (混合かもしれない) に対する比較演算子 == および != が等しさと一貫性を持つ結果を返すことを表します。 混合した被演算子の比較はそれらの共通型に変換した被演算子の比較と同等の結果を返します。

形式的には、 equality_comparable_with<T, U> は、 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>&> を C とすると、 bool(t == u)==bool(C(t)== C(u)) である場合にのみ、満たされます。

等しさの維持

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

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

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

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

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

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