命名空间
变体
操作

C++ 命名要求: EqualityComparable

来自 cppreference.com
 
 
C++ 命名要求
 

该类型必须与==运算符一起使用,并且结果应具有标准语义。

内容

[编辑] 要求

如果给定类型为 T 的表达式 abc,类型为 T(自 C++11 起) const T,则以下表达式有效,并具有其指定的效应

 表达式  类型 效应
a == b 满足 BooleanTestable
(直到 C++20)
建立一个 等价关系,也就是说,它满足以下属性
  • 对于 a 的所有值,a == a 产生 true
  • 如果 a == b,那么 b == a
  • 如果 a == b 并且 b == c,那么 a == c
模型 boolean-testable
(自 C++20 起)

[编辑] 注释

为了满足此要求,没有内置 比较运算符 的类型必须提供一个 用户定义的 operator==

对于同时是 EqualityComparableLessThanComparable 的类型,C++ 标准库区分了

  • 相等性,即表达式 a == b 的值,以及
  • 等价性,即表达式 !(a < b) && !(b < a) 的值。

[编辑] 缺陷报告

以下行为变更缺陷报告被追溯应用到以前发布的 C++ 标准。

DR 应用于 已发布的行为 正确的行为
LWG 283 C++98 即使 TEqualityComparable
要求不适用于 const T 对象
它们适用于
const T 而不是 T
LWG 2114
(P2167R3)
C++98 可转换为 bool 的功能太弱,无法反映实现的预期 加强了要求

[编辑] 另请参阅

指定运算符 == 是一个等价关系
(概念) [编辑]