命名空间
变体
操作

std::map<Key,T,Compare,Allocator>::operator=

来自 cppreference.cn
< cpp‎ | container‎ | map
 
 
 
 
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::valuetrue,则 *this 的分配器将被 other 的副本替换。 如果赋值后 *this 的分配器与其旧值相比不相等,则旧的分配器用于释放内存,然后新的分配器用于在复制元素之前分配内存。 否则,*this 拥有的内存可以在可能的情况下重复使用。 在任何情况下,最初属于 *this 的元素可能会被销毁或被逐元素复制赋值替换。

(since C++11)
2) 移动赋值运算符。使用移动语义替换为 other 的内容(即,other 中的数据从 other 移动到此容器中)。 之后,other 处于有效但不确定的状态。
如果 std::allocator_traits<allocator_type>::propagate_on_container_move_assignment::valuetrue,则 *this 的分配器将被 other 的分配器的副本替换。 如果为 false*thisother 的分配器不相等,则 *this 无法获得 other 拥有的内存的所有权,并且必须单独移动赋值每个元素,并根据需要使用其自己的分配器分配额外的内存。 在任何情况下,最初属于 *this 的所有元素都会被销毁或被逐元素移动赋值替换。
3) 用初始化列表 ilist 标识的内容替换内容。

内容

[edit] 参数

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

[edit] 返回值

*this

[edit] 复杂度

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

[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
(公共成员函数) [编辑]