std::forward_list<T,Allocator>::operator=

forward_list& operator=( const forward_list& other );	(1)	(с C++11)
	(2)
forward_list& operator=( forward_list&& other );		(с C++11) (до C++17)
forward_list& operator=( forward_list&& other ) noexcept(/* see below */);		(с C++17)
forward_list& operator=( std::initializer_list<T> ilist );	(3)	(с C++11)

Заменяет содержимое контейнера.

1) Оператор копирующего присваивания. Заменяет содержимое копией содержимого other.

Если std::allocator_traits<allocator_type>::propagate_on_container_copy_assignment::value является true, то распределитель *this заменяется копией other. Если распределитель *this после присваивания будет отличаться от своего старого значения, то старый распределитель используется для освобождения памяти, а затем новый распределитель используется для выделения памяти перед копированием элементов. В противном случае память, принадлежащая *this, может быть повторно использована, когда это возможно. В любом случае элементы, изначально принадлежавшие *this, могут быть либо уничтожены, либо заменены присваиванием по элементам.

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.

Параметры

other	-	другой контейнер, используемый в качестве источника данных
ilist	-	список инициализации, используемый в качестве источника данных

Возвращаемое значение

*this

Сложность

1) Линейная по размеру *this и other.

2) Линейная по размеру *this за исключением случая, когда распределители не равны и не совместимы, в таком случае линейная по размеру *this и other.

3) Линейная по размеру *this и ilist.

Исключения

Может выбросить исключение, определённое реализацией.	(до C++17)
1,3) Может выбросить исключение, определённое реализацией. 2) `noexcept` спецификация: `noexcept(std::allocator_traits<Allocator>::is_always_equal::value)`	(с C++17)

Примечания

После перемещения контейнера (перегрузка (2)), за исключением случаев, когда присваивание по перемещению по элементам вынуждено несовместимостью распределителей, ссылки, указатели и итераторы (кроме итератора конца) на other остаются действительными, но ссылаются на элементы, которые теперь находятся в *this. Текущий стандарт гарантирует это с помощью общего утверждения в [container.reqmts]/67, и более прямое гарантия рассматривается в LWG issue 2321.

Пример

Следующий код использует operator= для присваивания одной std::forward_list другой:

#include <initializer_list>
#include <iostream>
#include <iterator>
#include <forward_list>
 
void print(auto const comment, auto const& container)
{
    auto size = std::ranges::distance(container);
    std::cout << comment << "{ ";
    for (auto const& element : container)
        std::cout << element << (--size ? ", " : " ");
    std::cout << "}\n";
}
 
int main()
{
    std::forward_list<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 }

См. также

(конструктор)	создаёт `forward_list` (публичный член-функция)
assign	присваивает значения контейнеру (публичный член-функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/container/forward_list/operator%3D