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

typename remove_reference::type&&

move(T&& param) {

using ReturnType = // Объявление псевдонима; см. раздел 3.3

typename remove_reference::type&&

return static_cast(param);

}

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

Часть &&возвращаемого типа функции предполагает, что std::moveвозвращает rvalue-ссылку, но, как поясняется в разделе 5.6, если тип Tявляется lvalue-ссылкой, T&&становится lvalue-ссылкой. Чтобы этого не произошло, к Tприменяется свойство типа (см. раздел 3.3) std::remove_reference, тем самым обеспечивая применение “ &&” к типу, не являющемуся ссылкой. Это гарантирует, что std::moveдействительно возвращает rvalue-ссылку, и это важно, поскольку rvalue-ссылки, возвращаемые функциями, являются rvalue. Таким образом, std::moveприводит свой аргумент к rvalue, и это все, что она делает.

В качестве небольшого отступления скажем, что std::moveможно реализовать в С++14 меньшими усилиями. Благодаря выводу возвращаемого типа функции (см. раздел 1.3) и шаблону псевдонима std::remove_reference_t(см. раздел 3.3) std::moveможно записать следующим образом:

template // С++14; находится в

decltype(auto)move(T&& param) // пространстве имен std

{

using ReturnType = remove_reference_t&&

return static_cast(param);

}

Легче для восприятия, не так ли?

Поскольку std::moveничего не делает, кроме приведения своего аргумента к rvalue, были предложения дать этому шаблону другое имя, например rvalue_cast. Как бы там ни было, у нас имеется имя std::move, так что нам важно запомнить, что это имя std::moveделает и чего не делает. Итак, оно выполняет приведение. И оно ничего не переносит.

Конечно, rvalue являются кандидатами на перемещение, поэтому применение std::moveдля объекта сообщает компилятору, что объект предназначается для перемещения. Вот почему std::moveимеет такое имя: чтобы легко распознавать объекты, которые могут быть перемещены.

По правде говоря, rvalue обычно являются всего лишь кандидатами для перемещения. Предположим, что вы пишете класс, представляющий аннотации. Конструктор класса получает параметр std::string, представляющий аннотацию, и копирует значение параметра в член-данные. С учетом информации из раздела 8.1 вы объявляете параметр как передаваемый по значению:

class Annotation {

public:

explicit Annotation( std::stringtext); // Параметр

… // копируемый, так что согласно

}; // разделу 8.1 он передается по значению

Но конструктору Annotationтребуется только прочесть значение text. Ему не нужно его модифицировать. В соответствии с освященной веками традицией использования constвезде, где только можно, вы переписываете свое объявление, делая textконстантой:

class Annotation

public:

explicit Annotation( conststd::string text);

…

};

Чтобы избежать дорогостоящей операции копирования textв член-данные, вы оставляете в силе совет из раздела 8.1 и применяете std::moveк text, тем самым получая rvalue:

class Annotation {

public:

explicit Annotation(const std::string text)

: value( std::move(text)) // "Перемещение" text в value;

{ … } // этот код не делает того,

… // что от него ожидается!

private:

std::string value;

};

Этот код компилируется. Этот код компонуется. Этот код выполняется. Этот код устанавливает значение члена-данных valueравным содержимому строки text. Единственное, что отличает этот код от идеальной реализации ваших намерений, — то, что textне перемещается в value, а копируется . Конечно, textприводится к rvalue с помощью std::move, но textобъявлен как const std::string, так что перед приведением textявлялся lvalue типа const std::string, так что результатом приведения является rvalue типа const std::string, и на протяжении всех этих действий константность сохраняется.

Рассмотрим, как компиляторы определяют, какой из конструкторов std::stringдолжен быть вызван. Есть две возможности:

class string { // std::string в действительности представляет