std::experimental::ranges::swap
来自 cppreference.com
< cpp | experimental | ranges
| 定义在头文件 <experimental/ranges/utility> 中 |
||
| namespace { constexpr /* unspecified */ swap = /* unspecified */; |
(范围 TS) (定制点对象) |
|
| 调用签名 |
||
| template< class T, class U > requires /* see below */ |
||
交换由 t 和 u 引用引用的值。
对 ranges::swap 的调用等效于
1) (void)swap(std::forward<T>(t), std::forward<U>(u)), 如果该表达式有效，其中 重载解析 使用以下候选者执行
- template<class T> void swap(T&, T&) = delete;
- template<class T, std::size_t N> void swap(T(&)[N], T(&)[N]) = delete;
- 通过 依赖于参数的查找 找到的任何
swap声明。
如果重载解析选择的函数没有交换由 t 和 u 引用引用的值，则程序格式不正确；不需要诊断。
2) 否则，(void)ranges::swap_ranges(t, u), 如果
T 和 U 是对相同范围（但可能元素类型不同）的数组类型的左值引用，并且 ranges::swap(*t, *u) 是一个有效的表达式。3) 否则，如果
T 和 U 都是 V&，对于某种类型 V，它满足 MoveConstructible<V> 和 Assignable<V&, V> 的语法要求，则交换引用值，就像通过 V v{std::move(t)}; t = std::move(u); u = std::move(v);。如果其中一个概念的语义要求不满足，则程序格式不正确；不需要诊断。4) 在所有其他情况下，对
ranges::swap 的调用格式不正确。ranges::swap 可用于常量表达式，如果它调用的每个函数（如上所述）都可以用于常量表达式。
内容 |
[编辑] 定制点对象
名称 ranges::swap 表示一个定制点对象，它是一个 函数对象，属于一个 字面量 Semiregular 类类型（为了说明目的，表示为 SwapT）。所有 SwapT 实例都是相等的。因此，ranges::swap 可以自由复制，并且它的副本可以互换使用。
给定一组类型 Args...，如果 std::declval<Args>()... 满足上面 ranges::swap 的参数要求，则 SwapT 将满足 ranges::Invocable<const SwapT, Args...>。否则，SwapT 的任何函数调用运算符都不会参与重载解析。
在定义 ranges::swap 的每个翻译单元中，它都引用同一个定制点对象的实例。（这意味着它可以在内联函数和函数模板等事物中自由使用，而不会违反 单定义规则。）
[编辑] 异常
1)
noexcept 规范：
, 其中 noexcept(noexcept((void)swap(std::forward<T>(t), std::forward<T>(u))))
swap 是按照上面描述的方式找到的。2)
noexcept 规范：
noexcept(noexcept(ranges::swap(*t, *u)))
3)
noexcept 规范：
noexcept(std::is_nothrow_move_constructible<V>::value &&
std::is_nothrow_move_assignable<V>::value)
std::is_nothrow_move_assignable<V>::value)
[编辑] 示例
| 本节内容尚未完善 原因：没有示例 |
[编辑] 参见
| 交换两个对象的数值 (函数模板) |
