std::vector<T,Allocator>::operator=
来自 cppreference.com
vector& operator=( const vector& other ); |
(1) | (从 C++20 开始为 constexpr) |
(2) | ||
vector& operator=( vector&& other ); |
(从 C++11 开始) (直到 C++17) |
|
vector& operator=( vector&& other ) noexcept(/* 见下文 */); |
(从 C++17 开始) | |
vector& operator=( std::initializer_list<value_type> ilist ); |
(3) | (从 C++11 开始) (从 C++20 开始为 constexpr) |
替换容器的内容。
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) *this 和 ilist 大小的线性。
[编辑] 异常
1-3) 可能会抛出实现定义的异常。 |
(直到 C++17) |
1,3) 可能会抛出实现定义的异常。
2) noexcept 规范:
noexcept(std::allocator_traits<Allocator>::propagate_on_container_move_assignment::value || std::allocator_traits<Allocator>::is_always_equal::value) |
(从 C++17 开始) |
[编辑] 说明
在容器移动赋值(重载 (2))之后,除非由不兼容的分配器强制进行逐元素移动赋值,否则对 other
的引用、指针和迭代器(除结束迭代器外)将保持有效,但将引用现在位于 *this 中的元素。当前标准通过 [container.reqmts]/67 中的笼统语句来保证这一点,并且正在考虑通过 LWG 问题 2321 提供更直接的保证。
[编辑] 示例
以下代码使用 operator= 将一个 std::vector 赋值给另一个
运行此代码
#include <initializer_list> #include <iostream> #include <iterator> #include <vector> void print(auto const comment, auto const& container) { auto size = std::size(container); std::cout << comment << "{ "; for (auto const& element : container) std::cout << element << (--size ? ", " : " "); std::cout << "}\n"; } int main() { std::vector<int> x{1, 2, 3}, y, z; const auto w = {4, 5, 6, 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, 2, 3 } y = { } z = { } Copy assignment copies data from x to y: x = { 1, 2, 3 } y = { 1, 2, 3 } Move assignment moves data from x to z, modifying both x and z: x = { } z = { 1, 2, 3 } Assignment of initializer_list w to z: w = { 4, 5, 6, 7 } z = { 4, 5, 6, 7 }
[编辑] 另请参见
构造 vector (公有成员函数) | |
将值赋予容器 (公有成员函数) |