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

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名需求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

数组 (C++11)

向量

向量<bool>

inplace_vector (C++26)

双端队列

前向列表 (C++11)

列表

关联

集合

多重集合

映射

多重映射

无序关联

无序集合 (C++11)

无序多重集合 (C++11)

无序映射 (C++11)

无序多重映射 (C++11)

适配器

堆栈

队列

优先队列

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

跨度 (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>= (直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)

推导指南 (C++17)

 

map& operator=( const map& other );	(1)
	(2)
map& operator=( map&& other );			(自 C++11 起) (直到 C++17)
map& operator=( map&& other ) noexcept(/*见下文*/);			(自 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 中的数据从 other 移动到此容器）。other 之后处于有效但未指定的状态。

如果 std::allocator_traits<allocator_type>::propagate_on_container_move_assignment::value 为 true，则 *this 的分配器将被 other 的副本替换。如果它为 false 并且 *this 和 other 的分配器不相等，*this 无法获得 other 拥有的内存的所有权，并且必须逐元素移动赋值，根据需要使用其自己的分配器分配额外的内存。在任何情况下，所有最初属于 *this 的元素要么被销毁，要么被逐元素移动赋值替换。

3) 用初始化列表 ilist 中标识的内容替换内容。

参数

other	-	另一个用作数据源的容器
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 问题 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 (公有成员函数)