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

Тот факт, что параметр типа emplace_backимеет имя Argsи является при этом универсальным указателем, только усиливает мое замечание о том, что универсальная ссылка обязана иметь вид “ T&&”. Вы не обязаны использовать в качестве имени T. Например, приведенный далее шаблон принимает универсальную ссылку, поскольку она имеет правильный вид (“ type&&”), а тип paramвыводится (опять же, исключая крайний случай, когда вызывающий код явно указывает тип):

template // param является

void someFunc( MyTemplateType&&param); // универсальной ссылкой

Ранее я отмечал, что переменные autoтакже могут быть универсальными ссылками. Чтобы быть более точным, переменные, объявленные с типом auto&&, являются универсальными ссылками, поскольку имеет место вывод типа и они имеют правильный вид (“ T&&”). Универсальные ссылки autoне так распространены, как универсальные ссылки, используемые в качестве параметров шаблонов функций, но они также время от времени возникают в C++11. Гораздо чаще они возникают в C++14, поскольку лямбда-выражения С++ 14 могут объявлять параметры auto&&. Например, если вы хотите написать лямбда-выражение С++14 для записи времени, которое занимает вызов произвольной функции, можете сделать это следующим образом:

auto timeFuncInvocation =

[](auto&& func, auto&&... params) // С++14

{

Запуск таймера;

std::forward(func)( // Вызов func

std::forward(params)... // с params

);

Останов таймера и запись времени;

};

Если ваша реакция на код “ std::forward” внутри лямбда-выражения — “Что за @#$%?!!”, то, вероятно, вы просто еще не читали раздел 6.3. Не беспокойтесь о нем. Главное для нас сейчас в этом лямбда-выражении — объявленные как auto&&параметры. funcявляется универсальной ссылкой, которая может быть связана с любым вызываемым объектом, как lvalue, так и rvalue. params представляет собой нуль или несколько универсальных ссылок (т.e. набор параметров, являющихся универсальными ссылками), которые могут быть связаны с любым количеством объектов произвольных типов. В результате, благодаря универсальным ссылкам auto, лямбда-выражение timeFuncInvocationв состоянии записать время работы почти любого выполнения функции. (Чтобы разобраться в разнице между “любого” и “почти любого”, обратитесь к разделу 5.8.)

Имейте в виду, что весь этот раздел — основы универсальных ссылок — является лож… простите, абстракцией. Лежащая в основе истина, известная как свертывание ссылок (reference collapsing), является темой раздела 5.6. Но истина не делает абстракцию менее полезной. Понимание различий между rvalue-ссылками и универсальными ссылками поможет вам читать исходные тексты более точно (“Этот T&&связывается только с rvalue или с чем угодно?”), а также избегать неоднозначностей при общении с коллегами (“Здесь я использовал универсальную ссылку, а не rvalue-ссылку…”). Оно также поможет вам в понимании смысла разделов 5.3 и 5.4, которые опираются на указанное различие. Так что примите эту абстракцию, погрузитесь в нее… Так же как законы Ньютона (технически не совсем корректные) обычно куда полезнее и проще общей теории относительности Эйнштейна (“истины”), так и понятие универсальных ссылок обычно предпочтительнее для работы, чем детальная информация о свертывании ссылок.

• Если параметр шаблона функции имеет тип T&&для выводимого типа Tили если объект объявлен с использованием auto&&, то параметр или объект является универсальной ссылкой.

• Если вид объявления типа не является в точности type&&или если вывод типа не имеет места, то type&&означает rvalue-ссылку.

• Универсальные ссылки соответствуют rvalue-ссылкам, если они инициализируются значениями rvalue. Они соответствуют lvalue-ссылкам, если они инициализируются значениями lvalue.

Rvalue-ссылки связываются только с объектами, являющимися кандидатами для перемещения. Если у вас есть параметр, представляющий собой rvalue-ссылку, вы знаете , что связанный с ним объект может быть перемещен:

class Widget {

Widget(Widget&& rhs); // rhs, определенно, ссылается на

… // объект, который можно перемещать

};

В этом случае вы захотите передавать подобные объекты другим функциям таким образом, чтобы разрешить им использовать преимущества “правосторонности”. Способ, которым это можно сделать, — привести параметры, связываемые с такими объектами, к rvalue. Как поясняется в разделе 5.1, std::moveне просто это делает, это та задача, для которой создана эта функция: