std::tuple<Types...>::swap
| 定义于头文件 <tuple>
|
||
void swap( tuple& other ) noexcept(/* see below */);
|
(1) | (C++11 起) (C++20 起 constexpr) |
constexpr void swap( const tuple& other ) noexcept(/* see below */) const;
|
(2) | (C++23 起) |
调用 swap(可能是 std::swap,或通过 ADL 查找得到)对 *this 中每个元素及其在 other 中的对应元素进行交换。
|
如果任何选定的 |
(C++23 前) |
|
如果任何选定的 1) 若
(std::is_swappable_v<Types> && ...) 不是 true,则程序非良构。2) 若 (std::is_swappable_v<const Types> && ...) 不是 true,则程序非良构。
|
(C++23 起) |
参数
| 其他 | - | 待交换的元组值 |
返回值
(无)
异常
|
noexcept
规范:
noexcept
(
noexcept
(
swap
(
std::
declval
<
T0
&
>>
(
)
,
std::
declval
<
T0
&
>
(
)
)
)
&&
在上述表达式中,标识符
|
(C++17 前) |
|
1)
noexcept
规范:
noexcept
(
(
std::
is_nothrow_swappable_v
<
Types
>
&&
...
)
)
2)
noexcept
规范:
noexcept
(
(
std::
is_nothrow_swappable_v
<
const
Types
>
&&
...
)
)
|
(C++17 起) |
示例
#include <iostream> #include <string> #include <tuple> int main() { std::tuple<int, std::string, float> p1{42, "ABCD", 2.71}, p2; p2 = std::make_tuple(10, "1234", 3.14); auto print_p1_p2 = [&](auto rem) { std::cout << rem << "p1 = {" << std::get<0>(p1) << ", " << std::get<1>(p1) << ", " << std::get<2>(p1) << "}, " << "p2 = {" << std::get<0>(p2) << ", " << std::get<1>(p2) << ", " << std::get<2>(p2) << "}\n"; }; print_p1_p2("Before p1.swap(p2): "); p1.swap(p2); print_p1_p2("After p1.swap(p2): "); swap(p1, p2); print_p1_p2("After swap(p1, p2): "); }
输出:
Before p1.swap(p2): p1 = {42, ABCD, 2.71}, p2 = {10, 1234, 3.14}
After p1.swap(p2): p1 = {10, 1234, 3.14}, p2 = {42, ABCD, 2.71}
After swap(p1, p2): p1 = {42, ABCD, 2.71}, p2 = {10, 1234, 3.14}
缺陷报告
下列行为变更缺陷报告被追溯应用于先前发布的C++标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确行为 |
|---|---|---|---|
| LWG 2456 | C++11 |
noexcept
规范格式错误
|
已修复可用 |
参见
|
(C++11)
|
特化
std::swap
算法
(函数模板) |
|
(C++11)
|
交换内容
(
std::pair<T1,T2>
的公开成员函数)
|