std::experimental::ranges::EqualityComparable， std::experimental::ranges::EqualityComparableWith
来自 cppreference.cn
< cpp | experimental | ranges
| template< class T > concept bool EqualityComparable = WeaklyEqualityComparableWith<T, T>; |
(1) | (ranges TS) |
| template< class T, class U > concept bool EqualityComparableWith = |
(2) | (ranges TS) |
1) 概念
EqualityComparable<T> 规定了类型 T 上的比较运算符 == 和 != 反映相等性：当且仅当操作数相等时，== 产生 true。 仅当给定类型
T 的对象 a 和 b，bool(a == b) 在 a 和 b 相等时为 true 时，EqualityComparable<T> 得到满足。结合 a == b 是保等值的要求，这意味着 == 是对称的和传递的，并且对于所有至少与另一个对象相等的对象 a，== 还是自反的。2) 概念
EqualityComparableWith<T, U> 规定了（可能混合的）T 和 U 操作数上的比较运算符 == 和 != 产生与相等性一致的结果。比较混合的操作数产生的结果等同于比较转换为其共同类型的操作数的结果。 形式上，仅当给定任何类型为 const std::remove_reference_t<T> 的左值
t 和任何类型为 const std::remove_reference_t<U> 的左值 u，并令 C 为 ranges::common_reference_t<const std::remove_reference_t<T>&, const std::remove_reference_t<U>&>，bool(t == u) == bool(C(t) == C(u)) 时，EqualityComparableWith<T, U> 得到满足。[编辑] 保等值性
如果一个表达式在给定相等输入时产生相等输出，则该表达式是保等值的。
- 表达式的输入由其操作数组成。
- 表达式的输出由其结果和表达式修改的所有操作数（如果有）组成。
每个需要保等值的表达式还必须是稳定的：在没有显式介入修改这些输入对象的情况下，使用相同的输入对象对这样的表达式进行两次求值必须具有相等的输出。
[编辑] 隐式表达式变体
对于某些常量左值操作数而言是非修改性的表达式的requires-表达式，也隐式地要求该表达式的附加变体接受给定操作数的非常量左值或（可能常量）右值，除非明确地要求具有不同语义的这种表达式变体。这些隐式表达式变体必须满足声明的表达式的相同语义要求。实现验证变体语法的程度是未指定的。
