命名空间
变体
操作

std::swap

来自 cppreference.cn
< cpp‎ | 算法
 
 
算法库
有约束算法与针对范围的算法 (C++20)
有约束的算法,例如 ranges::copyranges::sort 等……
执行策略 (C++17)
排序及相关操作
划分操作
排序操作
二分搜索操作
(于已划分范围上)
集合操作(于已排序范围上)
归并操作(于已排序范围上)
堆操作
最小/最大值操作
(C++11)
(C++17)
字典序比较操作
排列操作
C 库
数值操作
未初始化内存上的操作
 
定义于头文件 <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) 交换 ab 的值。

仅若 std::is_move_constructible_v<T> && std::is_move_assignable_v<T>true 时,此重载才会参与重载决议。

(C++17 起)
2) 交换数组 ab。等价于 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 &&
    std::is_nothrow_move_assignable<T>::value

)
(C++11 起)
2)
noexcept 规范:  
noexcept(noexcept(swap(*a, *b)))
在异常说明中查找标识符 swap 时,除了按常规查找规则找到的内容外,还会找到此函数模板,这使得异常说明等价于 C++17 的 std::is_nothrow_swappable
(C++11 起)
(C++17 前)
noexcept 规范:  
(C++17 起)

[编辑] 复杂度

1) 常数。
2)N 成线性。

[编辑] 特化

可以在命名空间 std 中为程序定义类型特化 std::swap,但是 ADL 不会找到这种特化(命名空间 std 不是程序定义类型的关联命名空间)。

(C++20 前)

使程序定义类型可交换的预期方法是,在该类型所在的命名空间中提供一个非成员函数 swap:详见可交换 (Swappable)

标准库已经提供了以下重载

特化 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 算法
(函数模板) [编辑]
特化 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 算法
(函数模板) [编辑]
特化 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 算法
(函数模板) [编辑]
特化 std::swap 算法
(函数模板) [编辑]
特化 std::swap 算法
(函数模板) [编辑]
特化 std::swap 算法
(函数模板) [编辑]
特化 std::swap 算法
(函数) [编辑]
特化 std::swap 算法
(函数模板) [编辑]
特化 std::swap 算法
(函数模板) [编辑]
特化 std::swap 算法
(函数) [编辑]
特化 std::swap 算法
(函数) [编辑]
特化 std::swap 算法
(函数) [编辑]
特化 std::swap 算法
(函数) [编辑]
特化 std::swap 算法
(函数) [编辑]
特化 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++14)
用新值替换参数并返回其旧值
(函数模板) [编辑]