C++ 具名要求：可相等比较 (EqualityComparable)

类型必须能使用 == 运算符且结果应当具有标准语义。

以下情况下，类型 T 满足可相等比较 (EqualityComparable) ：

给定

下列表达式必须合法且拥有其指定的效果

表达式	返回类型	要求
`a == b`	可隐式转换为 bool	建立一种等价关系，即满足下列性质：对于 `a` 的所有值，a == a 产生 true；若 a == b，则 b == a；若 a == b 且 b == c，则 a == c。

为满足此要求，没有内建比较运算符的类型必须提供用户定义的 operator==。

对于既为可相等比较 (EqualityComparable) 亦为可小于比较 (LessThanComparable) 的类型， C++ 标准库对相等（即表达式 a == b 的值）和等价（即表达式 !(a < b) && !(b < a) 的值）间做出区别。

(C++20)

指定运算符 == 为等价关系
(概念)