std::map operator=

自 C++17 起

// (1) Non const version only
map& operator=( const map& other );

// (2) Non const version only
map& operator=( map&& other ) noexcept(/* see below */);

// (3) Non const version only
map& operator=( std::initializer_list<value_type> ilist );

自 C++11 起

// (1) Non const version only
map& operator=( const map& other );

// (2) Non const version only
map& operator=( map&& other );

// (3) Non const version only
map& operator=( std::initializer_list<value_type> ilist );

C++98 起

// (1) Non const version only
map& operator=( const map& other );

替换容器的内容。

• (1) 复制赋值运算符。用 other 的内容的副本替换当前内容。

  自 C++11 起

  如果 std::allocator_traits<allocator_type>::propagate_on_container_copy_assignment::value 为 true，则 *this 的分配器将被 other 的分配器副本替换。

  如果赋值后 *this 的分配器与其旧值不等，则使用旧分配器释放内存，然后使用新分配器分配内存，再复制元素。

  否则，*this 拥有的内存可能在可能的情况下被重用。在任何情况下，最初属于 *this 的元素可能被销毁或通过元素级复制赋值替换。

  如果 std::allocator_traits<allocator_type>::propagate_on_container_copy_assignment::value 为 true，则 *this 的分配器将被 other 的分配器副本替换。

  如果赋值后 *this 的分配器与其旧值比较不相等，则使用旧分配器解除分配内存，然后使用新分配器在复制元素之前分配内存。否则，*this 拥有的内存可能在可能的情况下被重复使用。在任何情况下，最初属于 *this 的元素可能被销毁或被逐个元素的复制赋值替换。

• (2) 移动赋值运算符。使用移动语义替换其他内容（即，其他数据从其他移动到此容器中）。

重要

other 之后处于有效但未指定的状态。

如果 std::allocator_traits<Alloc>::propagate_on_container_move_assignment::value 为 true，则 *this 的分配器将被其他分配器的一个副本替换。如果为 false 且 *this 和 other 的分配器不相等，则 *this 无法取得 other 所拥有的内存的所有权，并且必须单独移动赋值每个元素，必要时使用自己的分配器分配额外内存。

在任何情况下，最初属于 *this 的所有元素要么被销毁，要么通过逐元素移动赋值替换。

参数

• other - 用作数据源的另一个容器
• ilist - 用作数据源的初始化列表

返回值

对容器 *this 的引用。

异常

自 C++17 起

• (1, 3) 可能抛出实现定义的异常。
• (2) noexcept 规范

  noexcept(std::allocator_traits<Allocator>::is_always_equal::value
  && std::is_nothrow_move_assignable<Compare>::value)

C++17 之前

可能抛出实现定义的异常。

复杂度

• (1) 与 *this 和 other 的大小成线性关系。
• (2) 与 *this 的大小成线性关系，除非分配器不相等且不传播，在这种情况下与 *this 和 other 的大小成线性关系。
• (3) 一般情况下为 O(NlogN)，其中 N 为 size() + ilist.size()。如果 ilist 相对于 value_comp() 进行排序，则为线性。

备注

容器移动赋值（重载 (2)）后，除非不兼容的分配器强制进行逐元素移动赋值，否则指向 other 的引用、指针和迭代器（除了 end 迭代器）仍然有效，但它们指向的元素现在位于 *this 中。当前标准通过 [container.requirements.general]/12 中的全面声明来保证这一点，并且正在通过 LWG 2321 考虑更直接的保证。

示例

Main.cpp

#include <map>
#include <iterator>
#include <iostream>
#include <utility>
#include <initializer_list>
 
void print(auto const comment, auto const& container)
{
    auto size = std::size(container);
    std::cout << comment << "{ ";
    for (auto const& [key, value]: container)
        std::cout << '{' << key << ',' << value << (--size ? "}, " : "} ");
    std::cout << "}\n";
}
 
int main()
{
    std::map<int, int> x { {1,1}, {2,2}, {3,3} }, y, z;
    const auto w = { std::pair<const int, int>{4,4}, {5,5}, {6,6}, {7,7} };
 
    std::cout << "Initially:\n";
    print("x = ", x);
    print("y = ", y);
    print("z = ", z);
 
    std::cout << "Copy assignment copies data from x to y:\n";
    y = x;
    print("x = ", x);
    print("y = ", y);
 
    std::cout << "Move assignment moves data from x to z, modifying both x and z:\n";
    z = std::move(x);
    print("x = ", x);
    print("z = ", z);
 
    std::cout << "Assignment of initializer_list w to z:\n";
    z = w;
    print("w = ", w);
    print("z = ", z);
}

输出

Initially:
x = { {1,1}, {2,2}, {3,3} }
y = { }
z = { }
Copy assignment copies data from x to y:
x = { {1,1}, {2,2}, {3,3} }
y = { {1,1}, {2,2}, {3,3} }
Move assignment moves data from x to z, modifying both x and z:
x = { }
z = { {1,1}, {2,2}, {3,3} }
Assignment of initializer_list w to z:
w = { {4,4}, {5,5}, {6,6}, {7,7} }
z = { {4,4}, {5,5}, {6,6}, {7,7} }