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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

C++ 具名要求

基础
DefaultConstructible CopyAssignable	CopyConstructible MoveAssignable (C++11)	MoveConstructible (C++11) Destructible
类型属性
ScalarType TriviallyCopyable (C++11)	StandardLayoutType (C++11) PODType	TrivialType (C++11) ImplicitLifetimeType
库所属
EqualityComparable LessThanComparable Swappable ValueSwappable (C++11)	NullablePointer (C++11) Hash (C++11) Allocator FunctionObject	Callable Predicate BinaryPredicate Compare
容器
Container SequenceContainer ContiguousContainer (C++17)	ReversibleContainer AssociativeContainer AllocatorAwareContainer	UnorderedAssociativeContainer (C++11)
容器元素
DefaultInsertable (C++11) CopyInsertable (C++11)	MoveInsertable (C++11) EmplaceConstructible (C++11)	Erasable (C++11)
迭代器
LegacyIterator LegacyOutputIterator LegacyInputIterator	LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator	LegacyContiguousIterator (C++17) ConstexprIterator (C++20)
流 I/O
FormattedInputFunction UnformattedInputFunction	FormattedOutputFunction	UnformattedOutputFunction
格式化
BasicFormatter (C++20)	Formatter (C++20)
随机数
SeedSequence (C++11) RandomNumberEngine (C++11)	RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11)	RandomNumberEngineAdaptor (C++11)
并发
BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11)	SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11)	TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14)
范围
RangeAdaptorObject (C++20)	RangeAdaptorClosureObject (C++20)
其他
CharTraits RegexTraits (C++11) BitmaskType LiteralType (C++11)	NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11)	Clock (C++11) TrivialClock (C++11)

 

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

要求

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

给定

• T 或 (C++11 起) const T 类型的表达式 a、b 与 c

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

表达式	返回类型	要求
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++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 283	C++98	即使 T 是 可相等比较 (EqualityComparable) 的，const T 类型的对象也不适用这些要求	适用于 const T 而不是 T

参阅

equality_comparableequality_comparable_with (C++20)

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