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 规定两种类型共享一个公共类型，且其中任一类型的 const 左值 或非 const 右值 (C++23 起) 可转换为该公共类型。

1) std :: equality_comparable < T > 仅在满足以下条件时被建模：给定类型 T 的对象 a 和 b ， bool ( a == b ) 为 true 当且仅当 a 和 b 相等。结合 a == b 需满足 等值保持性 的要求，这意味着 == 具有对称性和传递性，并且进一步表明对于所有至少与另一个对象相等的对象 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 起)