std:: equality_comparable, std:: equality_comparable_with

1) std::equality_comparable コンセプトは、 T の比較演算子 == および != が等価性を反映することを指定します： == はオペランドが等価である場合にのみ true を返します。

2) std::equality_comparable_with コンセプトは、 == および != 比較演算子が（混在する可能性のある） T および U オペランドに対して、等価性と整合性のある結果を返すことを指定します。混在したオペランドの比較は、オペランドを共通の型に変換して比較した場合と等価な結果を返します。

3) 説明専用コンセプト __WeaklyEqualityComparableWith は、型 T のオブジェクトと型 U のオブジェクトが相互に（どちらの順序でも） == および != を使用して等値比較可能であり、比較結果が一貫していることを指定する。

4) 説明専用コンセプト __ComparisonCommonTypeWith は、2つの型が共通の型を共有し、いずれかの型のconst左辺値 または非const右辺値 (C++23以降) がその共通型に変換可能であることを指定する。

1) std :: equality_comparable < T > は、型 T のオブジェクト a および b が与えられたとき、 a と b が等価である場合にのみ bool ( a == b ) が true となる場合にのみモデル化される。 equality-preserving （等価性保存）の要件と合わせて、これは == が対称的かつ推移的であることを意味し、さらに少なくとも1つの他のオブジェクトと等価なすべてのオブジェクト a に対して == が反射的であることを示す。

2) std :: equality_comparable_with < T, U > は、以下の条件が満たされる場合にのみモデル化される：

• t と t2 を、それぞれ型 const std:: remove_reference_t < T > および std:: remove_cvref_t < T > の、互いに等しいが異なるオブジェクトを表す左辺値とし、
• u と u2 を、それぞれ型 const std:: remove_reference_t < U > および std:: remove_cvref_t < U > の、互いに等しいが異なるオブジェクトを表す左辺値とし、
• C を std:: common_reference_t < const std:: remove_reference_t < T > & , const std:: remove_reference_t < U > & > とするとき、

以下の式が真となる：

• bool ( t == u ) == bool ( CONVERT_TO < C > ( t2 ) == CONVERT_TO < C > ( u2 ) ) 。

3) __WeaklyEqualityComparableWith < T, U > がモデル化されるのは、以下の条件が与えられた場合のみです：

• t 、型 const std:: remove_reference_t < T > の左辺値、および
• u 、型 const std:: remove_reference_t < 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 ) 。

4) __WeaklyEqualityComparableWith < T, U > は以下の場合にのみモデル化される：

対応する common_reference_with コンセプトがモデル化されている場合。	(C++23まで)
以下を定義する： C を std:: common_reference_t < const T & , const U & > とする、 t1 と t2 を型 std:: remove_cvref_t < T > の左辺値であり 等価性を保存する 式とする、 u1 と u2 を型 std:: remove_cvref_t < U > の左辺値であり 等価性を保存する 式とする、 以下の条件が満たされること： CONVERT_TO < C > ( t1 ) が CONVERT_TO < C > ( t2 ) と等しいのは t1 が t2 と等しい場合に限る；かつ CONVERT_TO < C > ( u1 ) が CONVERT_TO < C > ( u2 ) と等しいのは u1 が u2 と等しい場合に限る。	(C++23以降)