std::map<Key,T,Compare,Allocator>::operator=
来自 cppreference.cn
map& operator=( const map& other ); |
(1) | |
(2) | ||
map& operator=( map&& other ); |
(since C++11) (until C++17) |
|
map& operator=( map&& other ) noexcept(/* see below */); |
(since C++17) | |
map& operator=( std::initializer_list<value_type> ilist ); |
(3) | (since C++11) |
替换容器的内容。
1) 复制赋值运算符。用 other 内容的副本替换内容。
如果 std::allocator_traits<allocator_type>::propagate_on_container_copy_assignment::value 为 true,则 *this 的分配器将被 other 的副本替换。 如果赋值后 *this 的分配器与其旧值相比不相等,则旧的分配器用于释放内存,然后新的分配器用于在复制元素之前分配内存。 否则,*this 拥有的内存可以在可能的情况下重复使用。 在任何情况下,最初属于 *this 的元素可能会被销毁或被逐元素复制赋值替换。 |
(since C++11) |
2) 移动赋值运算符。使用移动语义替换为 other 的内容(即,other 中的数据从 other 移动到此容器中)。 之后,other 处于有效但不确定的状态。
如果 std::allocator_traits<allocator_type>::propagate_on_container_move_assignment::value 为 true,则 *this 的分配器将被 other 的分配器的副本替换。 如果为 false 且 *this 和 other 的分配器不相等,则 *this 无法获得 other 拥有的内存的所有权,并且必须单独移动赋值每个元素,并根据需要使用其自己的分配器分配额外的内存。 在任何情况下,最初属于 *this 的所有元素都会被销毁或被逐元素移动赋值替换。
3) 用初始化列表 ilist 标识的内容替换内容。
内容 |
[edit] 参数
other | - | 另一个用作数据源的容器 |
ilist | - | 用作数据源的初始化列表 |
[edit] 返回值
*this
[edit] 复杂度
1) 与 *this 和 other 的大小呈线性关系。
2) 与 *this 的大小呈线性关系,除非分配器不相等且不传播,在这种情况下,与 *this 和 other 的大小呈线性关系。
[edit] 异常
1-3) 可能会抛出实现定义的异常。 |
(until C++17) |
1,3) 可能会抛出实现定义的异常。
2) noexcept 规范:
noexcept(std::allocator_traits<Allocator>::is_always_equal::value && std::is_nothrow_move_assignable<Compare>::value) |
(since C++17) |
[edit] 注释
在容器移动赋值(重载 (2))之后,除非由于不兼容的分配器而强制执行逐元素移动赋值,否则对 other
的引用、指针和迭代器(末尾迭代器除外)仍然有效,但引用现在位于 *this 中的元素。 当前标准通过 [container.reqmts]/67 中的一般性声明做出此保证,并且正在通过 LWG issue 2321 考虑更直接的保证。
[edit] 示例
以下代码使用 operator= 将一个 std::map 赋值给另一个
运行此代码
#include <initializer_list> #include <iostream> #include <iterator> #include <map> #include <utility> 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} }
[edit] 参见
构造 map (公共成员函数) |