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

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

关联

set

multiset

map

multimap

无序关联

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

适配器

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

span (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表格

非成员函数表格

 

std::map

成员函数

map::map map::~map               map::operator= map::get_allocator

元素访问 map::at map::operator[] 迭代器 map::beginmap::cbegin (C++11) map::endmap::cend (C++11) map::rbeginmap::crbegin (C++11)      map::rendmap::crend (C++11) 容量 map::size map::max_size map::empty 观察器 map::key_comp map::value_comp 修改器 map::clear map::insert map::erase map::swap map::extract (C++17) map::merge (C++17) map::insert_range (C++23) map::insert_or_assign (C++17) map::emplace (C++11) map::emplace_hint (C++11) map::try_emplace (C++17) 查找 map::count map::find map::contains (C++20) map::equal_range map::lower_bound map::upper_bound

非成员函数

operator==operator<=> (C++20 起) std::swap(std::map) erase_if(std::map) (C++20)   operator!=operator<operator>operator<=operator>= (until C++20)(until C++20)(until C++20)(until C++20)(until C++20)

推导指引 (C++17)

 

map& operator=( const map& other );	(1)
	(2)
map& operator=( map&& other );			(C++11 起) (C++17 前)
map& operator=( map&& other ) noexcept(/* see below */);			(C++17 起)
map& operator=( std::initializer_list<value_type> ilist );		(3)	(C++11 起)

替换容器的内容。

1) 复制赋值运算符。用 `other` 内容的副本替换内容。

如果 std::allocator_traits<allocator_type>::propagate_on_container_copy_assignment::value 为 true，则 *this 的分配器被 other 的副本替换。如果赋值后 *this 的分配器与旧值比较不相等，则旧分配器用于释放内存，然后新分配器用于在复制元素之前分配内存。否则，*this 所拥有的内存可能在可能时被重用。在任何情况下，最初属于 *this 的元素可能会被销毁或被逐个元素地复制赋值替换。

(C++11 起)

2) 移动赋值运算符。使用移动语义（即 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 标识的内容替换内容。

参数

其他	-	另一个容器，用作数据源
ilist	-	初始化列表，用作数据源

返回值

*this

复杂度

1) 与 `*this` 和 `other` 的大小呈线性关系。

2) 除非分配器比较不相等且不传播，否则与 *this 的大小成线性关系，在这种情况下，与 *this 和 other 的大小成线性关系。

3) 一般情况下为 O(NlogN)，其中 N 为 size() + ilist.size()。如果 ilist 相对于 value_comp() 已排序，则为线性。

异常

1-3) 可能抛出实现定义的异常。	(C++17 前)
1,3) 可能抛出实现定义的异常。 2) noexcept 规范：   noexcept(std::allocator_traits<Allocator>::is_always_equal::value && std::is_nothrow_move_assignable<Compare>::value)	(C++17 起)

注意

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

示例

以下代码使用 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} }

参阅

(构造函数)

构造 map (public member function)