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

Все функции-члены, кроме конструкторов и операторов присвоения, могут извлечь пользу из предоставления версии копирования и перемещения. Такие функции-члены с поддержкой перемещения обычно используют ту же схему параметров, что и конструктор копий/перемещения и операторы присвоения, — одна версия получает ссылку на константное 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&.

У перегруженных функций, различающих перемещение и копирование параметра, обычно есть одна версия, получающая параметр типа const Т&, и вторая, получающая параметр типа T&&.

В качестве более конкретного примера придадим классу StrVecвторую версию функции push_back():

class StrVec {

public:

void push_back(const std::string&); // копирует элемент

void push_back(std::string&&); // перемещает элемент

// другие члены как прежде

};

// неизменно с оригинальной версии в разделе 13.5

void StrVec::push_back(const string& s) {

chk_n_alloc(); // удостовериться в наличии места для другого элемента

// создать копию s в элементе, на который указывает first_free

alloc.construct(first_free++, s);

}

void StrVec::push_back(string &&s) {

chk_n_alloc(); // пересоздает StrVec при необходимости

alloc.construct(first_free++, std::move(s));

}

Эти функции-члены почти идентичны. Различие в том, что версия ссылки на r-значение функции push_back()вызывает функцию move(), чтобы передать этот параметр функции construct(). Как уже упоминалось, функция construct()использует тип своего второго и последующих аргументов для определения используемого конструктора. Поскольку функция move()возвращает ссылку на r-значение, аргумент функции construct()будет иметь тип string&&. Поэтому для создания нового последнего элемента будет использован конструктор перемещения класса string.

Когда вызывается функция push_back(), тип аргумента определяет, копируется ли новый элемент в контейнер или перемещается:

StrVec vec; // пустой StrVec

string s = "some string or another";

vec.push_back(s); // вызов push_back(const string&)

vec.push_back("done"); // вызов push_back(string&&)

Эти вызовы различаются тем, является ли аргумент l-значением ( s) или r-значением (временная строка, созданная из слова "done"). Вызовы распознаются соответственно.

Обычно функцию-член объекта можно вызвать независимо от того, является ли этот объект l- или r-значением. Например:

string s1 = "a value", s2 = "another";

auto n = (s1 + s2).find('a');

Здесь происходит вызов функции-члена find()(см. раздел 9.5.3) для r-значения класса string, полученного при конкатенации двух строк. Иногда такой способ применения может удивить:

s1 + s2 = "wow!";

Здесь r-значению присваивается результат конкатенации двух строк.

До нового стандарта не было никакого способа предотвратить подобное применение. Для обеспечения совместимости с прежней версией библиотечные классы продолжают поддерживать присвоение r-значению; в собственных классах такое может понадобиться предотвратить. В таком случае левый операнд (т.е. объект, на который указывает указатель this) обязан быть l-значением.