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

int &&rr1 = 42; // ok: литералы - это r-значения

int &&rr2 = rr1; // ошибка: выражение rr1 - это l-значение!

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

Переменная — это l-значение; нельзя непосредственно связать ссылку на r-значение с переменной, даже если эта переменная была определена как тип ссылки на r-значение .

Библиотечная функция move()

Хотя нельзя непосредственно связать ссылку на r-значение с l-значением, можно явно привести l-значение к соответствующему типу ссылки на r-значение. Вызов новой библиотечной функции move(), определенной в заголовке utility, позволяет также получить ссылку на r-значение, привязанную к l-значению. Для возвращения ссылки на r-значение на данный объект функция move()использует средства, описываемые в разделе 16.2.6:

int &&rr3 = std::move(rr1); // ok

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

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

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

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

Упражнение 13.45. В чем разница между ссылкой на r-значение и ссылкой на l-значение.

Упражнение 13.46. Какой вид ссылки может быть связан со следующими инициализаторами?

int f();

vector vi(100);

int? r1 = f();

int? r2 = vi[0] ;

int? r3 = r1;

int? r4 = vi[0] * f();

Упражнение 13.47. Снабдите конструктором копий и оператором присвоения копии класса Stringиз упражнения 13.44 раздела 13.5, функции которого выводят сообщения при каждом вызове.

Упражнение 13.48. Определите вектор vectorи вызовите для него функцию push_back()несколько раз. Запустите программу и посмотрите, как часто копируются строки.

Подобно классу string(и другим библиотечным классам), наши собственные классы могут извлечь пользу из способности перемещения ресурсов вместо копирования. Чтобы позволить собственным типам операции перемещения, следует определить конструктор перемещения и оператор присваивания при перемещении. Эти члены подобны соответствующим функциям копирования, но они захватывают ресурсы заданного объекта, а не копируют их.

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

Кроме перемещения ресурсов, конструктор перемещения должен гарантировать такое состояние перемещенного объекта, при котором его удаление будет безопасно. В частности, сразу после перемещения ресурса оригинальный объект больше не должен указывать на перемещенный ресурс, ответственность за него принимает вновь созданный объект.

В качестве примера определим конструктор перемещения для класса StrVec, чтобы перемещать, а не копировать элементы из одного объекта класса StrVecв другой: