Стенли Липпман - Язык программирования C++. Пятое издание

Если у класса будет пригодный конструктор копий и не будет конструктора перемещения, то объекты будут перемещены конструктором копий. То же справедливо для оператора присвоения копии и присвоения при перемещении.

Версия класса HasPtr, определявшая оператор присвоения копии и обмена (copy-and-swap assignment operator) (см. раздел 13.3), — хорошая иллюстрация взаимодействия механизма подбора функции и функций перемещения. Если в этот класс добавить конструктор перемещения, то фактически будет получен также оператор присваивания при перемещении:

class HasPtr {

public:

// добавлен конструктор перемещения

HasPtr(HasPtr &&p) noexcept : ps(p.ps), i(p.i) {p.ps = 0;}

// оператор присвоения - и оператор перемещения, и присвоения копии

HasPtr& operator=(HasPtr rhs)

{ swap(*this, rhs); return *this; }

// другие члены как в p. 13.2.1

};

В этой версии класса добавлен конструктор перемещения, получающий значения из своего аргумента. Тело конструктора обнуляет указатель-член данного объекта класса HasPtr, чтобы гарантировать безопасное удаление оригинального объекта перемещения. Эта функция не делает ничего, она не может передать исключение, поэтому отметим ее как noexcept(см. раздел 13.6.2).

Теперь рассмотрим оператор присвоения. У него есть не ссылочный параметр, а значит, этот параметр инициализируется копией (см. раздел 13.1.1). В зависимости от типа аргумента инициализация копией использует либо конструктор копий, либо конструктор перемещения; l-значения копируются, а r-значения перемещаются. В результате этот оператор однократного присвоения действует и как присвоение копии, и как присваивание при перемещении.

Предположим, например, что объекты hpи hp2являются объектами класса HasPtr:

hp = hp2; // hp2 - l-значение; для копирования hp2 используется

// конструктор копий

hp = std::move(hp2); // hp2 перемещает конструктор перемещения

В первом случае присвоения правый операнд — l-значение, поэтому конструктор перемещения не подходит. Для инициализации rhsбудет использоваться конструктор копий. Он будет резервировать новую строку и копировать ту строку, на которую указывает hp2.

Во втором случае присвоения вызывается функция std::move()для связывания ссылки на r-значение с объектом hp2. В данном случае подходят и конструктор копий, и конструктор перемещения. Но поскольку аргумент — это ссылка на r-значение, точное соответствие обеспечит конструктор перемещения. Конструктор перемещения копирует указатель из объекта hp2и не резервирует память.

Независимо от того, использовался ли конструктор копии или перемещения, тело оператора присвоения обменивает содержимое двух своих операндов. Обмен объектов класса HasPtrприводит к обмену указателями-членами и переменными-членами (типа int) этих двух объектов. После вызова функции swap()правый операнд будет содержать указатель на строку, который ранее принадлежал левому. При выходе rhsиз области видимости эта строка будет удалена.

Все пять функций-членов управления копированием можно считать единым блоком: если класс определяет любую из этих функций, он должен обычно определять их все. Как уже упоминалось, для правильной работы некоторые классы должны определять конструктор копий, оператор присвоения копии и деструктор (см. раздел 13.6). Как правило, у таких классов есть ресурс, который должны копировать функции-члены копирования. Обычно копирование ресурса влечет за собой некоторые дополнительные затраты. Классы, определяющие конструктор перемещения и оператор присваивания при перемещении, могут избежать этих затрат в тех обстоятельствах, где копия не обязательна.

Классы, определяющие собственный конструктор копий и оператор присвоения копии, обычно определяют и функции перемещения. Например, наши классы Messageи Folder(см. раздел 13.4), должны определять функции перемещения. При определении функций перемещения класс Messageможет использовать функции перемещения классов stringи set, чтобы избежать дополнительных затрат при копировании членов contentsи folders.