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

Вместо нее новая библиотека определяет адаптер итератора перемещения (move iterator) (см. раздел 10.4). Итератор перемещения адаптирует переданный ему итератор, изменяя поведение его оператора обращения к значению. Обычно оператор обращения к значению итератора возвращает ссылку на l-значение элемента. В отличие от других итераторов, оператор обращения к значению итератора перемещения возвращает ссылку на r-значение.

Обычный итератор преобразуется в итератор перемещения при вызове библиотечной функции make_move_iterator(), которая получает итератор и возвращает итератор перемещения.

Все остальные функции первоначального итератора работают, как обычно. Поскольку эти итераторы поддерживают обычные функции итераторов, пару итераторов перемещения вполне можно передать алгоритму. В частности, итераторы перемещения можно передать алгоритму uninitialized_copy():

void StrVec::reallocate() {

// зарезервировать вдвое больше пространства, чем для текущего

// количества элементов

auto newcapacity = size() ? 2 * size() : 1;

auto first = alloc.allocate(newcapacity);

// переместить элементы

auto last = uninitialized_copy(make_move_iterator(begin()),

make_move_iterator(end()),

first);

free(); // освободить прежнее пространство

elements = first; // обновить указатели

first_free = last;

cap = elements + newcapacity;

}

Алгоритм uninitialized_copy()вызывает функцию construct()для каждого элемента исходной последовательности, чтобы скопировать элемент по назначению. Для выбора элемента из исходной последовательности данный алгоритм использует оператор обращения к значению итератора. Поскольку был передан итератор перемещения, оператор обращения к значению возвращает ссылку на r-значение. Это означает, что функция construct()будет использовать для создания элементов конструктор перемещения.

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

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

Взвешенно использованная в коде класса, функция move()способна обеспечить существенный выигрыш в производительности. Небрежное ее использование в обычном пользовательском коде (в отличие от кода реализации класса), вероятней всего, приведет к загадочным и трудно обнаруживаемым ошибкам, а не к повышению производительности приложения.

За пределами кода реализации класса, такого как конструкторы перемещения или операторы присваивания при перемещении, используйте функцию std::move()только при абсолютной уверенности в необходимости перемещения и в том, что перемещение гарантированно будет безопасным.

Упражнение 13.49. Добавьте конструктор перемещения и оператор присваивания при перемещении в классы StrVec, Stringи Message.

Упражнение 13.50. Снабдите функции перемещения класса Stringоператорами вывода и снова запустите программу из упражнения 13.48 раздела 13.6.1, в котором использовался вектор vector, и посмотрите, когда теперь удается избежать копирования.

Упражнение 13.51. Хотя указатель unique_ptrне может быть скопирован, в разделе 12.1.5 была написана функция clone(), которая возвратила указатель unique_ptrпо значению. Объясните, почему эта функция допустима и как она работает.

Упражнение 13.52. Объясните подробно, что происходит при присвоении объектов класса HasPtr. В частности, опишите шаг за шагом, что происходит со значениями hp, hp2и параметром rhsв операторе присвоения класса HasPtr.

Упражнение 13.53. С точки зрения низкоуровневой эффективности оператор присвоения класса HasPtrне идеален. Объясните почему. Реализуйте для класса HasPtrоператор присвоения копии и присваивания при перемещении и сравните действия, выполняемые в новом операторе присваивания при перемещении, с версией копии и обмена.

Упражнение 13.54. Что бы случилось, если бы мы определи оператор присваивания при перемещении для класса HasPtr, но не изменили оператор копии и обмена? Напишите код для проверки вашего ответа.

Все функции-члены, кроме конструкторов и операторов присвоения, могут извлечь пользу из предоставления версии копирования и перемещения. Такие функции-члены с поддержкой перемещения обычно используют ту же схему параметров, что и конструктор копий/перемещения и операторы присвоения, — одна версия получает ссылку на константное l-значение, а вторая — ссылку на не константное r-значение.

Например, библиотечные контейнеры, определяющие функцию push_back(), предоставляют две версии: параметр одной является ссылкой на r-значение, а другой — ссылкой на константное l-значение. С учетом того, что Xявляется типом элемента, эти функции контейнера определяются так:

void push_back(const X&); // копирование: привязка к любому X

void push_back(X&&); // перемещение: привязка только к изменяемым

// r-значениям типа X

Первой версии функции push_back()можно передать любой объект, который может быть приведен к типу X. Эта версия копирует данные своего параметра. Второй версии можно передать только r-значение, которое не является константой. Эта версия точнее и лучшее соответствует неконстантным r-значениям и будет выполнена при передаче поддающегося изменению r-значения (см. раздел 13.6.2). Эта версия способна захватить ресурсы своего параметра.

Обычно нет никакой необходимости определять версии функций получающих const X&&или просто X&. Обычно ссылку на r-значение передают при необходимости "захватить" аргумент. Для этого аргумент не должен быть константой. Точно так же копирование объекта не должно изменять скопированный объект. В результате обычно нет никакой необходимости определять версию, получающую простой параметр X&.