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

来自cppreference.com
< cpp‎ | container‎ | set

 
 
 
 
void swap( set& other );
(C++17 前)
void swap( set& other ) noexcept(/* 见下文 */);
(C++17 起)

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

所有迭代器和引用保持有效。end() 迭代器会失效。

Pred 对象必须可交换 (Swappable) ,并用非成员 swap 的非限定调用交换它们。

如果 std::allocator_traits<allocator_type>::propagate_on_container_swap::valuetrue,那么就会用对非成员 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 算法
(函数模板)