close

std::set<Key,Compare,Allocator>::swap

来自cppreference.com

[编辑模板]
 
C++
 
容器库
 
std::set
 
void swap( set& other );
(C++17 前) 
void swap( set& other ) noexcept(/* 见下文 */);
(C++17 起)

将内容与 other 的交换。不在单独的元素上调用任何移动、复制或交换操作。

所有迭代器和引用仍然有效。end() 迭代器失效。 Compare 对象必须可交换 (Swappable) ，并用非成员 swap 的非限定调用交换它们。

如果 std::allocator_traits<allocator_type>::propagate_on_container_swap::value 是 true，那么就会用对非成员 swap 的无限定调用进行分配器的交换。否则，不交换它们（且在 get_allocator() != other.get_allocator() 时行为未定义）。

(C++11 起)

参数

other - 要与之交换内容的容器

异常

任何 Compare 对象交换所抛的异常。

(C++17 前)
noexcept 说明：  
noexcept(std::allocator_traits<Allocator>::is_always_equal::value && std::is_nothrow_swappable<Compare>::value)
 (C++17 起)

复杂度

常数。

示例

运行此代码
#include <functional>
#include <iostream>
#include <set>

template<class Os, class Co>
Os& operator<<(Os& os, const Co& co)
{
    os << "{";
    for (auto const& i : co)
        os << ' ' << i;
    return os << " } ";
}

int main()
{
    std::set<int> a1{3, 1, 3, 2}, a2{5, 4, 5};
    
    auto it1 = std::next(a1.begin());
    auto it2 = std::next(a2.begin());
    
    const int& ref1 = *(a1.begin());
    const int& ref2 = *(a2.begin());
    
    std::cout << a1 << a2 << *it1 << ' ' << *it2 << ' ' << ref1 << ' ' << ref2 << '\n';
    a1.swap(a2);
    std::cout << a1 << a2 << *it1 << ' ' << *it2 << ' ' << ref1 << ' ' << ref2 << '\n';
    
    // 注意交换前指代一个容器中的元素的每个迭代器在交换后都指代同一元素。对于引用也是这样。
    
    struct Cmp : std::less<int>
    {
        int id{};
        Cmp(int i) : id{i} {}
    };
    
    std::set<int, Cmp> s1{{2, 2, 1, 1}, Cmp{6}}, s2{{4, 4, 3, 3}, Cmp{9}};
    
    std::cout << s1 << s2 << s1.key_comp().id << ' ' << s2.key_comp().id << '\n';
    s1.swap(s2);
    std::cout << s1 << s2 << s1.key_comp().id << ' ' << s2.key_comp().id << '\n';
    
    // 所以比较器对象（Cmp）也会交换。
}

输出： 

{ 1 2 3 } { 4 5 } 2 5 1 4
{ 4 5 } { 1 2 3 } 2 5 1 4
{ 1 2 } { 3 4 } 6 9
{ 3 4 } { 1 2 } 9 6


参阅

 特化 std::swap 算法
(函数模板) [编辑]