std::set swap() 方法

自 C++17 起

// Non const version only
void swap( set& other ) noexcept(/* see below */);

C++17 之前

// Non const version only
void swap( set& other );

将容器的内容与 `other` 的内容进行交换。不调用单个元素的任何移动、复制或交换操作。

所有迭代器和引用保持有效。

失效

past-the-end 迭代器失效。

Compare 对象必须是 Swappable，并且它们通过非成员 swap 的无限定调用进行交换。

自 C++11 起

如果 std::allocator_traits<allocator_type>::propagate_on_container_swap::value 为 true，则分配器通过对非成员 swap 的非限定调用进行交换。

未定义行为

否则，它们不进行交换（如果 get_allocator() != other.get_allocator()，则行为未定义）。

参数

• other - 要交换内容的容器

返回值

(无)

复杂度

常数 - O(1)。

异常

自 C++17 起

noexcept 规范

noexcept(std::allocator_traits<Allocator>::is_always_equal::value
&& std::is_nothrow_swappable<Hash>::value
&& std::is_nothrow_swappable<key_equal>::value)

C++17 之前

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

示例

Main.cpp

#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';
 
    // Note that every iterator referring to an element in one container before the swap
    // refers to the same element in the other container after the swap. Same is true
    // for references.
 
    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';
 
    // So, comparator objects (Cmp) are also exchanged after the swap.
}

可能输出

{ 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