Как работает конструктор перемещения?

Question

У меня возникли проблемы с пониманием семантики перемещения C++. Предположим, я хочу вернуть большой объект из метода. Чтобы сделать эту операцию эффективной, я использую конструктор перемещения для класса больших объектов. Я вызываю метод для получения большого объекта и передаю его другому методу, который будет обрабатывать его.

processLargeObject(getLargeObject()); 

Я пишу метод getLargeObject() где я создаю большой объект. Если я создам объект без нового оператора, мне дается понять, что хранилище выделено в стеке. В случае, когда я знаю размер объекта заранее и представляю его в массиве, этот большой объект может быть определен как double foo[1000000000];. Теперь внутри конструктора двигаться, если я скажу,

foo = other.foo; 

затем перемещенный объект будет по-прежнему находиться в стеке и может быть переписан в стеке расширяется.

Так что это не должно быть так, как используется конструктор перемещения. Должен ли конструктор перемещения использоваться только для перемещения объектов, находящихся в куче?

Answer 1

Как работает конструктор перемещения?

Конструктор шаг должен сделать неглубокую копию - в отличие от глубокого копирования, что конструктор копирования должен делать. Помимо выполнения мелкой копии, конструктор перемещения «крадет» любые ресурсы (например, буфер внешней памяти, например буфер, принадлежащий std::vector), на который указывает перемещенный объект.

Чтобы сделать эту операцию эффективной, я использую конструктор перемещения для класса больших объектов.

Педантично, крупность самого объекта не делает движение более эффективным, чем копия. Переход эффективен, когда объект указывает на некоторый большой ресурс, который можно «украсть». Если вы имели в виду, что такой внешний ресурс делает объект «большим», то справедливым.

Должен ли конструктор перемещения использоваться только для перемещения объектов, находящихся на куче?

Независимо от того, где хранится объект - будь то автоматический, динамический или статический, его можно перенести. Пока тип движимый.

этот большой объект может быть определен как double foo[1000000000];

Это хороший пример очень большого объекта, который не указывает на какой-либо внешний ресурс, который может быть украден. Перемещение массива двойников - это то же самое, что и копирование.