std::experimental::ranges::WeaklyEqualityComparableWith
| template< class T, class U > concept bool WeaklyEqualityComparableWith = |
(ranges TS) | |
概念 WeaklyEqualityComparableWith<T, U> 规定类型 T 的对象和类型 U 的对象可以使用 == 和 != 相互比较是否相等（任意顺序），且比较结果是一致的。更正式地，仅当给定以下条件时，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).
[edit] 等式保持
如果一个表达式在给定相等输入时产生相等输出，则该表达式是等式保持的。
- 表达式的输入由其操作数组成。
- 表达式的输出由其结果和表达式修改的所有操作数（如果有）组成。
每个要求是等式保持的表达式还要求是稳定的：在没有对输入对象进行任何显式中间修改的情况下，使用相同输入对象对该表达式进行两次求值必须具有相等的输出。
除非另有说明，否则requires-表达式中使用的每个表达式都必须是等式保持和稳定的，并且表达式的求值可能只会修改其非常量操作数。常量操作数不得修改。
[edit] 隐式表达式变体
对于某些常量左值操作数，使用非修改表达式的 requires-表达式 也隐式地要求该表达式的附加变体，这些变体接受给定操作数的非常量左值或（可能常量）右值，除非具有不同语义的表达式变体被显式要求。这些隐式表达式变体必须满足声明的表达式的相同语义要求。实现验证变体语法的程度是未指定的。
[edit] 参见
| 指定运算符 == 是等价关系 (概念) |
