std::swap
来自 cppreference.cn
定义于头文件 <algorithm> |
(C++11 前) |
|
在头文件 <utility> 中定义 |
(C++11 起) |
|
定义于头文件 <string_view> |
||
template< class T > void swap( T& a, T& b ); |
(1) | (C++11 起有条件 noexcept) (C++20 起为 constexpr) |
template< class T2, std::size_t N > void swap( T2 (&a)[N], T2 (&b)[N] ); |
(2) | (C++11 起有条件 noexcept) (C++20 起为 constexpr) |
交换给定的值。
1) 交换 a 和 b 的值。
仅若 std::is_move_constructible_v<T> && std::is_move_assignable_v<T> 为 true 时,此重载才会参与重载决议。 |
(C++17 起) |
2) 交换数组 a 和 b。等价于 std::swap_ranges(a, a + N, b)。
仅若 std::is_swappable_v<T2> 为 true 时,此重载才会参与重载决议。 |
(C++17 起) |
目录 |
[编辑] 参数
a, b | - | 要交换的值 |
类型要求 | ||
-T 必须满足 可复制构造 (CopyConstructible) 和 可复制赋值 (CopyAssignable) (C++11 前) 可移动构造 (MoveConstructible) 和 可移动赋值 (MoveAssignable) (C++11 起) 的要求。 | ||
-T2 必须满足 可交换 (Swappable) 的要求。 |
[编辑] 返回值
(无)
[编辑] 异常
1)
(无) |
(C++11 前) |
noexcept 规范:
noexcept( std::is_nothrow_move_constructible<T>::value && |
(C++11 起) |
2)
noexcept 规范: 在异常说明中查找标识符 noexcept(noexcept(swap(*a, *b))) swap 时,除了按常规查找规则找到的内容外,还会找到此函数模板,这使得异常说明等价于 C++17 的 std::is_nothrow_swappable。 |
(C++11 起) (C++17 前) |
noexcept 规范:
noexcept(std::is_nothrow_swappable_v<T2>) |
(C++17 起) |
[编辑] 复杂度
1) 常数。
2) 与 N 成线性。
[编辑] 特化
可以在命名空间 std 中为程序定义类型特化 |
(C++20 前) |
使程序定义类型可交换的预期方法是,在该类型所在的命名空间中提供一个非成员函数 swap:详见可交换 (Swappable) 。
标准库已经提供了以下重载
(C++11) |
特化 std::swap 算法 (函数模板) |
(C++11) |
特化 std::swap 算法 (函数模板) |
(C++11) |
特化 std::swap 算法 (函数模板) |
(C++11) |
特化 std::swap 算法 (函数模板) |
(C++11) |
特化 std::swap 算法 (函数模板) |
(C++11) |
特化 std::swap 算法 (函数模板) |
特化 std::swap 算法 (函数模板) | |
(C++11) |
特化 std::swap 算法 (函数模板) |
特化 std::swap 算法 (函数模板) | |
(C++11) |
特化 std::swap 算法 (函数模板) |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
(C++11) |
特化 std::swap 算法 (函数模板) |
特化 std::swap 算法 (函数模板) | |
(C++11) |
特化 std::swap 算法 (函数模板) |
(C++11) |
特化 std::swap 算法 (函数模板) |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
特化 std::swap 算法 (函数模板) | |
(C++11) |
特化 std::swap 算法 (函数模板) |
特化 std::swap 算法 (函数模板) | |
(C++11) |
特化 std::swap 算法 (函数) |
(C++11) |
特化 std::swap 算法 (函数模板) |
(C++14) |
特化 std::swap 算法 (函数模板) |
(C++11) |
特化 std::swap 算法 (函数模板) |
特化 std::swap 算法 (函数模板) | |
(C++17) |
特化 std::swap 算法 (函数模板) |
(C++17) |
特化 std::swap 算法 (函数) |
(C++17) |
特化 std::swap 算法 (函数模板) |
特化 std::swap 算法 (函数模板) | |
(C++17) |
特化 std::swap 算法 (函数) |
(C++23) |
特化 std::swap 算法 (函数) |
(C++20) |
特化 std::swap 算法 (函数) |
特化 std::swap 算法 (函数) | |
(C++20) |
特化 std::swap 算法 (函数) |
(C++20) |
特化 std::swap 算法 (函数) |
[编辑] 示例
运行此代码
#include <algorithm> #include <iostream> namespace Ns { class A { int id {}; friend void swap(A& lhs, A& rhs) { std::cout << "swap(" << lhs << ", " << rhs << ")\n"; std::swap(lhs.id, rhs.id); } friend std::ostream& operator<<(std::ostream& os, A const& a) { return os << "A::id=" << a.id; } public: A(int i) : id {i} {} A(A const&) = delete; A& operator = (A const&) = delete; }; } int main() { int a = 5, b = 3; std::cout << a << ' ' << b << '\n'; std::swap(a, b); std::cout << a << ' ' << b << '\n'; Ns::A p {6}, q {9}; std::cout << p << ' ' << q << '\n'; // std::swap(p, q); // error, type requirements are not satisfied swap(p, q); // OK, ADL finds the appropriate friend `swap` std::cout << p << ' ' << q << '\n'; }
输出
5 3 3 5 A::id=6 A::id=9 swap(A::id=6, A::id=9) A::id=9 A::id=6
[编辑] 缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
---|---|---|---|
LWG 227 | C++98 | T 未被要求为可复制构造的 (CopyConstructible) 或可默认构造的 (DefaultConstructible) (类型 T 的临时对象可能无法构造) |
T 也要求为可复制构造 (CopyConstructible) |
LWG 809 | C++98 | 数组不能被交换 | 添加了重载 (2) |
LWG 2554 | C++11 | 交换多维数组永远不能 由于名称查找问题而为 noexcept |
已修复 |
[编辑] 参阅
(C++20) |
交换两个对象的值 (自定义点对象) |
交换两个迭代器所指向的元素 (函数模板) | |
交换两个范围的元素 (函数模板) | |
(C++14) |
用新值替换参数并返回其旧值 (函数模板) |