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

class Warning { // Потенциально старый класс из С++98

public:

…

void override(); // Корректно как в С++98, так и в C++11

// (с тем же смыслом)

};

Это все, что следует сказать об override, но это не все, что следует сказать о ссылочных квалификаторах функций-членов. Я обещал, что поговорю о них позже, и вот сейчас как раз и настало это “позже”.

Если мы хотим написать функцию, которая принимает только аргументы, являющиеся lvalue, мы объявляем параметр, который представляет собой неконстантную lvalue-ссылку:

void doSomething(Widget& w); // Принимает только lvalue Widget

Если же мы хотим написать функцию, которая принимает только аргументы, являющиеся rvalue, мы объявляем параметр, который представляет собой rvalue-ссылку:

void doSomething(Widget&& w); // Принимает только rvalue Widget

Ссылочные квалификаторы функции-члена позволяют проводить такое же различие для объектов, функции-члены которых вызываются, т.e. *this. Это точный аналог модификатора constв конце объявления функции-члена, который указывает, что объект, для которого вызывается данная функция-член (т.e. *this), является const.

Необходимость в функциях-членах со ссылочными квалификаторами нужна не так уж часто, но может и возникнуть. Предположим, например, что наш класс Widgetимеет член-данные std::vector, и мы предлагаем функцию доступа, которая обеспечивает клиентам к нему непосредственный доступ:

class Widget {

public:

using DataType = std::vector; // См. информацию о

// using в разделе 3.3

DataType& data() { return values; }

…

private:

DataType values;

};

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

Widget w;

…

auto vals1 = w.data(); // Копирует w.values в vals1

Возвращаемый тип Widget::dataпредставляет собой lvalue-ссылку (чтобы быть точным — std::vector&), а поскольку lvalue-ссылки представляют собой lvalue, мы инициализируем vals1из lvalue. Таким образом, vals1создается копирующим конструктором из w.values, как и утверждает комментарий.

Теперь предположим, что у нас имеется фабричная функция, которая создает Widget:

Widget makeWidget();

и мы хотим инициализировать переменную с помощью std::vectorв Widget, возвращенном из makeWidget:

auto vals2 = makeWidget().data(); // Копирование значений в

// Widget в vals2

И вновь Widgets::dataвозвращает lvalue-ссылку, и вновь lvalue-ссылка представляет собой lvalue, так что наш новый объект ( vals2) опять является копией, построенной из valuesв объекте Widget. Однако в этот раз Widgetпредставляет собой временный объект, возвращенный из makeWidget(т.e. представляет собой rvalue), так что копирование в него std::vectorпредставляет собой напрасную трату времени. Предпочтительнее выполнить перемещение, но, поскольку dataвозвращается как lvalue-ссылка, правила С++ требуют, чтобы компиляторы генерировали код для копирования. (Имеется некоторый маневр для оптимизации на основе правила “как если бы” [5] “As if rule” — правило, согласно которому разрешены любые преобразования кода, не изменяющие наблюдаемое поведение программы. — Примеч. ред . , но было бы глупо полагаться та то, что ваш компилятор найдет способ им воспользоваться.)

Нам необходим способ указать, что, когда dataвызывается для Widget, являющегося rvalue, результат также будет представлять собой rvalue. Использование ссылочных квалификаторов для перегрузки dataдля Widget, являющихся lvalue и rvalue, делает это возможным:

class Widget {

public:

using DataType = std::vector;

DataType& data() & // Для lvalue Widget,

{ return values; } // возвращает lvalue

DataType&& data() && // Для rvalue Widget,

{ return std::move(values); } // возвращает rvalue

…

private:

DataType values;

};

Обратите внимание на разные возвращаемые типы перегрузок data. Перегрузка для lvalue-ссылки возвращает lvalue-ссылку (т.e. lvalue), а перегрузка для rvalue-ссылки возвращает rvalue-ссылку (которая, как возвращаемый тип функции, является rvalue). Это означает, что клиентский код ведет теперь себя так, как мы и хотели:

auto vals1 = w.data(); // Вызывает lvalue-перегрузку

// Widget::data, vals1

// создается копированием

auto vals2 = makeWidget().data(); // Вызывает rvalue-перегрузку

// Widget::data, vals2

// создается перемещением