Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

public: // собой typedef для std::basic_string

…

string(const string& rhs); // Копирующий конструктор

string(string&& rhs); // Перемещающий конструктор

};

В списке инициализации членов конструктора Annotationрезультатом std::move(text)является rvalue типа const std::string. Это rvalue нельзя передать перемещающему конструктору std::string, поскольку перемещающий конструктор получает rvalue-ссылку на неконстантную std::string. Однако это rvalue может быть передано копирующему конструктору, поскольку lvalue-ссылку на constразрешено связывать с константным rvalue. Таким образом, инициализация члена использует копирующий конструктор std::string, несмотря на то что textбыл приведен к rvalue! Такое поведение имеет важное значение для поддержания корректности const. Перемещение значения из объекта в общем случае модифицирует этот объект, так что язык программирования должен не разрешать передавать константные объекты в функции (такие, как перемещающие конструкторы), которые могут их модифицировать.

Из этого примера следует извлечь два урока. Во-первых, не объявляйте объекты как константные, если хотите иметь возможность выполнять перемещение из них. Запрос перемещения к константным объектам молча трансформируется в копирующие операции. Во-вторых, std::moveне только ничего не перемещает самостоятельно, но даже не гарантирует, что приведенный этой функцией объект будет иметь право быть перемещенным. Единственное, что точно известно о результате применения std::moveк объекту, — это то, что он является rvalue.

История с std::forwardподобна истории с std::move, но тогда как std::move выполняет безоговорочное приведение своего аргумента в rvalue, std::forwardделает это только при определенных условиях. std::forwardявляется условным приведением. Чтобы понять, когда приведение выполняется, а когда нет, вспомним, как обычно используется std::forward. Наиболее распространенным сценарием является тот, когда шаблон функции получает параметр, представляющий собой универсальную ссылку, и который передается другой функции:

void process(const Widget& lvalArg); // Обработка lvalue

void process(Widget&& rvalArg); // Обработка rvalue

template // шаблон, передающий

void logAndProcess( T&& param) // param на обработку

{

auto now = // Получает текущее время

std::chrono::system_clock::now();

makeLogEntry("Bызoв 'process'", now);

process( std::forward(param));

}

Рассмотрим два вызова logAndProcess, один с lvalue, а другой — с rvalue:

Widget w;

logAndProcess(w); // Вызов с lvalue

logAndProcess(std::move(w)); // Вызов с rvalue

В функции logAndProcessпараметр paramпередается функции process. Функция processперегружена для lvalue и rvalue. Вызывая logAndProcessс lvalue, мы, естественно, ожидаем, что lvalue будет передано функции processкак lvalue, а вызывая logAndProcessс rvalue, мы ожидаем, что будет вызвана перегрузка processдля rvalue.

Однако param, как и все параметры функций, является lvalue. Каждый вызов processвнутри logAndProcessбудет, таким образом, вызывать перегрузку processдля lvalue. Для предотвращения такого поведения нам нужен механизм для приведения paramк rvalue тогда и только тогда, когда аргумент, которым инициализируется param — аргумент, переданный logAndProcess, — был rvalue. Именно этим и занимается std::forward. Вот почему std::forwardпредставляет собой условное приведение: эта функция выполняет приведение к rvalue только тогда, когда ее аргумент инициализирован rvalue.

Вы можете удивиться, откуда std::forwardможет знать, был ли ее аргумент инициализирован rvalue? Например, как в приведенном выше коде std::forwardможет сказать, был ли paramинициализирован с помощью lvalue или rvalue? Краткий ответ заключается в том, что эта информация кодируется в параметре Tшаблона logAndProcess. Этот параметр передается std::forward,которая восстанавливает закодированную информацию. Детальное описание того, как работает данный механизм, вы найдете в разделе 5.6.

Учитывая, что и std::move, и std::forwardсводятся к приведению и единственная разница между ними лишь в том, что std::moveвсегда выполняет приведение, в то время как std::forward— только иногда, вы можете спросить, не можем ли мы обойтись без std::moveи просто использовать везде std::forward. С чисто технической точки зрения ответ утвердительный: std::forwardможет сделать все. Необходимости в std::moveнет. Конечно, ни одна из этих функций не является действительно необходимой , потому что мы могли бы просто вручную написать требуемое приведение, но, я надеюсь, мы сойдемся во мнении, что это будет как минимум некрасиво.