std::experimental::ranges::swap
来自 cppreference.cn
< cpp | experimental | ranges
| namespace { constexpr /* unspecified */ swap = /* unspecified */; |
(ranges 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&，并且 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)
[编辑] 示例
| 本节尚不完整 原因：没有示例 |
[编辑] 参见
| 交换两个对象的值 (函数模板) |
