std::experimental::ranges::Swappable, std::experimental::ranges::SwappableWith

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名需求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (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 图形

 

范围

概念

通用实用程序

迭代器

范围

算法

 

概念库

核心语言概念
相同 派生自 可转换为	通用引用 通用	整型 有符号整型 无符号整型	可赋值 可交换可与交换
对象概念
可销毁 可构造 默认可构造	可移动构造 可复制构造	可移动 可复制	半正则 正则
比较概念
布尔值	弱等效可比较	等效可比较可与等效比较	严格全序可与严格全序比较
可调用概念
可调用正则可调用	谓词	关系	严格弱序
URNG 概念
均匀随机数生成器

 

定义在头文件 <experimental/ranges/concepts> 中
template< class T > concept bool Swappable =     requires(T& a, T& b) {         ranges::swap(a, b);     };	(1)	(范围 TS)
template< class T, class U > concept bool SwappableWith =     CommonReference<         const std::remove_reference_t<T>&,         const std::remove_reference_t<U>&> &&     requires(T&& t, U&& u) {         ranges::swap(std::forward<T>(t), std::forward<T>(t));         ranges::swap(std::forward<U>(u), std::forward<U>(u));         ranges::swap(std::forward<T>(t), std::forward<U>(u));         ranges::swap(std::forward<U>(u), std::forward<T>(t));     };	(2)	(范围 TS)

概念 Swappable<T> 指定类型 T 的左值是可交换的。

概念 SwappableWith<T, U> 指定 T 和 U 所编码的类型和值类别表达式是可互相交换的。仅当对 ranges::swap(t, u) 的调用交换了 t 和 u 的值时，才会满足 SwappableWith<T, U>，即，给定与 t 相等的不同对象 t2 和与 u 相等的不同对象 u2，在评估 ranges::swap(t, u) 或 ranges::swap(u, t) 之后，t2 等于 u 且 u2 等于 t。

等效性保留

如果表达式在给定相等输入的情况下产生相等的输出，则该表达式为 *等效性保留*。

• 表达式的输入包括其操作数。
• 表达式的输出包括其结果和表达式修改的所有操作数（如果有）。

每个需要保留等效性的表达式都进一步要求是 *稳定* 的：如果对具有相同输入对象的表达式进行两次评估，则在显式修改这些输入对象之前，它们的输出必须相等。

除非另有说明，否则在 *requires-表达式* 中使用的每个表达式都必须保留等效性并保持稳定，并且表达式的评估只能修改其非常量操作数。常量操作数不能修改。