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

};

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.

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