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

• Конструктор перемещения и оператор присваивания при перемещении определяются как удаленные, если у класса есть член, собственный конструктор перемещения которого или оператор присваивания при перемещении которого удален или недоступен.

• Как и конструктор копий, конструктор перемещения определяется как удаленный, если деструктор удален или недоступен.

• Как и оператор присвоения копии, оператор присваивания при перемещении определяется как удаленный, если у класса есть константный или ссылочный член.

Предположим, например, что в классе Yопределен собственный конструктор копий, но не определен собственный конструктор перемещения:

// класс Y определяет собственный конструктор копий, но не конструктор

// перемещения

struct hasY {

hasY() = default;

hasY(hasY&&) = default;

Y mem; // hasY будет иметь удаленный конструктор перемещения

};

hasY hy, hy2 = std::move(hy); // ошибка: конструктор перемещения удален

Компилятор может скопировать объекты типа Y, но не может переместить их. Класс hasYявно запросил конструктор перемещения, который компилятор не способен создать. Следовательно, класс hasYполучит удаленный конструктор перемещения. Если бы у класса hasYотсутствовало объявление конструктора перемещения, то компилятор не синтезировал бы конструктор перемещения вообще. Функции перемещения не синтезируются, если в противном случае они были определены как удаленные.

И последнее взаимоотношение между функциями перемещения и синтезируемыми функциями-членами управления копированием: тот факт, определяет ли класс собственные функции перемещения, влияет на то, как синтезируются функции копирования. Если класс определит любой конструктор перемещения и (или) оператор присваивания при перемещении, то синтезируемый конструктор копий и оператор присвоения копии для этого класса будут определены как удаленные.

Классы, определяющие конструктор перемещения или оператор присваивания при перемещении, должны также определять собственные функции копирования. В противном случае эти функции-члены по умолчанию удаляются.

Когда у класса есть и конструктор перемещения и конструктор копий, компилятор использует обычный подбор функции, чтобы выяснить, какой из конструкторов использовать (см. раздел 6.4). С присвоением точно так же. Например, в классе StrVecверсия копирования получает ссылку на const StrVec. В результате она применима к любому типу, допускающему приведение к классу StrVec. Версия перемещения получает StrVec&&и применима только к аргументам r-значениям (неконстантным):

StrVec v1, v2;

v1 = v2; // v2 - l-значение; присвоение копии

StrVec getVec(istream &); // getVec возвращает r-значение

v2 = getVec(cin); // getVec(cin) - r-значение;

// присвоение перемещения

В первом случае оператору присвоения передается объект v2. Его типом является StrVec, а выражение v2является l-значением. Версия присвоения при перемещении не является подходящей (см. раздел 6.6), поскольку нельзя неявно связать ссылку на r-значение с l-значением. Следовательно, в этом случае используется оператор присвоения копии.

Во втором случае присваивается результат вызова функции getVec(), — это r-значение. Теперь подходящими являются оба оператора присвоения — результат вызова функции getVec()можно связать с любым параметром оператора. Вызов оператора присвоения копии требует преобразования в константу, в то время как StrVec&&обеспечивает точное соответствие. Следовательно, второе присвоение использует оператор присваивания при перемещении.

Что если класс имеет конструктор копий, но не определяет конструктор перемещения? В данном случае компилятор не будет синтезировать конструктор перемещения. Это значит, что у класса есть конструктор копий, но нет конструктора перемещения. Если у класса нет конструктора перемещения, подбор функции гарантирует, что объекты этого типа будут копироваться, даже при попытке перемещения их вызовом функции move():

class Foo {

public:

Foo() = default;

Foo(const Foo&); // конструктор копий

// другие члены, но Foo не определяет конструктор перемещения

};

Foo x;

Foo y(x); // конструктор копий; x - это l-значение

Foo z(std::move(x)); // конструктор копий, поскольку конструктора

// перемещения нет

Вызов функции move(x)при инициализации объекта zвозвращает указатель Foo&&, привязанный к объекту x. Конструктор копий для класса Fooявляется подходящим, поскольку вполне допустимо преобразовать Foo&&в const Foo&. Таким образом, инициализация объекта zиспользует конструктор копий класса Foo.

Следует заметить, что использование конструктора копий вместо конструктора перемещения почти безусловно безопасно (то же справедливо и для оператора присвоения). Обычно конструктор копий отвечает требованиям соответствующего конструктора перемещения: он копирует заданный объект и оставляет оригинальный объект в допустимом состоянии. Конструктор копий, напротив, не будет изменять значение оригинального объекта.

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

Версия класса 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).