C++ 命名需求： EqualityComparable
来自 cppreference.cn
该类型必须与 == 运算符一起使用，并且结果应具有标准语义。
目录 |
[编辑] 要求
如果给定类型为 T 或 (自 C++11 起) const T 的表达式 a、b 和 c，则类型 T 满足 EqualityComparable，且以下表达式有效并具有其指定效果
| 表达式 | 类型 | 效果 |
|---|---|---|
| a == b | 满足 BooleanTestable (C++20 前) |
建立一个等价关系，即它满足以下属性
|
模型 boolean-testable(C++20 起) |
[编辑] 注意
为了满足此要求，没有内置比较运算符的类型必须提供用户定义的 operator==。
对于同时是 EqualityComparable 和 LessThanComparable 的类型，C++ 标准库区分
- 相等，即表达式 a == b 的值，以及
- 等价，即表达式 !(a < b) && !(b < a) 的值。
[编辑] 缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
|---|---|---|---|
| LWG 283 | C++98 | 即使 T 是 EqualityComparable，要求也不适用于 const T 对象 |
它们适用于 const T 而不是 T |
| LWG 2114 (P2167R3) |
C++98 | 可转换为 bool 对于反映实现的期望来说太弱了 | 要求已加强 |
[编辑] 另见
| 指定运算符 == 是等价关系 (概念) |
