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).
[编辑] 相等性保持
如果一个表达式在给定相等输入时产生相等输出，则称其为保持相等性。
- 表达式的输入由其操作数组成。
- 表达式的输出由其结果以及被表达式修改的所有操作数（如果有的话）组成。
所有要求保持相等性的表达式还必须是稳定的：在没有显式介入修改输入对象的情况下，对具有相同输入对象的表达式的两次求值必须产生相等的输出。
除非另有说明，requires-expression 中使用的每个表达式都必须保持相等且稳定，并且表达式的评估只能修改其非常量操作数。常量操作数不得修改。
[编辑] 隐式表达式变体
一个 requires-expression，如果它对某个常量左值操作数使用非修改性表达式，那么它也会隐式要求该表达式的其他变体，这些变体接受非常量左值或（可能是常量）右值作为给定操作数，除非明确要求具有不同语义的表达式变体。这些 隐式表达式变体 必须满足所声明表达式的相同语义要求。实现验证这些变体语法的程度是未指定的。
[编辑] 另请参阅
| 指定运算符 == 是等价关系 (概念) |
