std::experimental::ranges::swap
来自 cppreference.cn
< cpp | experimental | ranges
| namespace { constexpr /* 未指定 */ swap = /* 未指定 */; |
(ranges TS) (定制点对象) |
|
| 调用签名 (Call signature) |
||
| template< class T, class U > requires /* 见下文 */ |
||
交换 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)
[编辑] 示例
| 本节不完整 原因：无示例 |
[编辑] 参阅
| 交换两个对象的值 (函数模板) |
