std::experimental::ranges::WeaklyEqualityComparableWith
来自 cppreference.com
< cpp | experimental | ranges
| 定义在头文件 <experimental/ranges/concepts> 中 |
||
| template< class T, class U > concept bool WeaklyEqualityComparableWith = |
(范围 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).
[编辑] 相等性保持
如果表达式在给定相等输入的情况下产生相等输出，则该表达式是相等性保持的。
- 表达式的输入包括其操作数。
- 表达式的输出包括其结果和表达式修改的所有操作数（如果有）。
所有需要保持相等性的表达式都还需要是稳定的：如果两个表达式的评估具有相同的输入对象，则必须具有相等的输出，除非对这些输入对象进行明确的中间修改。
除非另有说明，否则在要求表达式中使用的每个表达式都要求保持相等性和稳定性，并且表达式的评估只能修改其非常量操作数。常量操作数不得修改。
[编辑] 隐式表达式变体
对于某个常量左值操作数使用非修改表达式的要求表达式还隐式要求对该表达式的其他变体，这些变体接受非常量左值或（可能为常量）右值作为给定操作数，除非在语义不同的情况下明确要求这种表达式变体。这些隐式表达式变体必须满足与声明表达式相同的语义要求。实现验证变体语法的程度是未指定的。
[编辑] 另请参阅
| 指定操作符 == 是等价关系 (概念) |
