std::experimental::ranges::EqualityComparable, std::experimental::ranges::EqualityComparableWith

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行性扩展 (并行性 TS)

并行性扩展 2 (并行性 TS v2)

并发性扩展 (并发性 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

Ranges（范围）

概念

通用工具

迭代器

Ranges（范围）

算法

 

概念库

核心语言概念
相同 DerivedFrom（派生自） ConvertibleTo（可转换为）	CommonReference（公共引用） Common（公共）	Integral（整型） SignedIntegral（有符号整型） UnsignedIntegral（无符号整型）	Assignable（可赋值） Swappable（可交换）SwappableWith（可与...交换）
对象概念
Destructible（可析构） Constructible（可构造） DefaultConstructible（可默认构造）	MoveConstructible（可移动构造） CopyConstructible（可复制构造）	Movable（可移动） Copyable（可复制）	Semiregular（半正则） Regular（正则）
比较概念
Boolean（布尔）	WeaklyEqualityComparableWith（可弱等价比较）	EqualityComparable（可等价比较）EqualityComparableWith（可与...等价比较）	StrictTotallyOrdered（严格全序）StrictTotallyOrderedWith（可与...严格全序）
可调用概念
Invocable（可调用）RegularInvocable（正则可调用）	Predicate（谓词）	Relation（关系）	StrictWeakOrder（严格弱序）
URNG 概念
UniformRandomNumberGenerator（均匀随机数生成器）

 

定义于头文件 <experimental/ranges/concepts>
template< class T > concept bool EqualityComparable = WeaklyEqualityComparableWith<T, T>;	(1)	(ranges TS)
template< class T, class U > concept bool EqualityComparableWith =     EqualityComparable<T> &&     EqualityComparable<U> &&     CommonReference<         const std::remove_reference_t<T>&,         const std::remove_reference_t<U>&> &&     EqualityComparable<         ranges::common_reference_t<             const std::remove_reference_t<T>&,             const std::remove_reference_t<U>&>> &&     WeaklyEqualityComparableWith<T, U>;	(2)	(ranges TS)

1) 概念 EqualityComparable<T> 指定了 T 上的比较运算符 == 和 != 反映了相等性：当且仅当操作数相等时，== 返回 true。

EqualityComparable<T> 仅在以下情况下得到满足：给定类型 T 的对象 a 和 b，当且仅当 a 和 b 相等时，bool(a == b) 为 true。再加上 a == b 保持相等性的要求，这意味着 == 是对称和传递的，并且对于所有与至少一个其他对象相等的对象 a，== 是自反的。

2) 概念 EqualityComparableWith<T, U> 指定了对 (可能是混合的) T 和 U 操作数上的比较运算符 == 和 != 返回与相等性一致的结果。比较混合操作数得到的结果等同于比较转换为其公共类型的操作数。

形式上，EqualityComparableWith<T, U> 仅在以下情况下得到满足：给定类型 const std::remove_reference_t<T> 的任何左值 t 和类型 const std::remove_reference_t<U> 的任何左值 u，设 C 为 ranges::common_reference_t<const std::remove_reference_t<T>&, const std::remove_reference_t<U>&>，则 bool(t == u) == bool(C(t) == C(u))。

相等性保持

如果一个表达式在给定相等输入时产生相等输出，则称其为保持相等性。

• 表达式的输入由其操作数组成。
• 表达式的输出由其结果以及被表达式修改的所有操作数（如果有的话）组成。

所有要求保持相等性的表达式还必须是稳定的：在没有显式介入修改输入对象的情况下，对具有相同输入对象的表达式的两次求值必须产生相等的输出。

隐式表达式变体

一个使用对于某个常量左值操作数而言不修改的表达式的requires-expression，除非明确要求具有不同语义的此类表达式变体，否则它也隐式要求该表达式的额外变体接受非常量左值或（可能是常量）右值作为给定操作数。这些隐式表达式变体必须满足所声明表达式的相同语义要求。实现验证这些变体语法的程度是未指定的。