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