0

Что такое auto&&? Как выводится тип такой переменной?

5
  • Это forwarding reference
    – megorit
    3 авг 2020 в 19:07
  • @HolyBlackCat там нет auto&&
    – ingeborga
    3 авг 2020 в 19:36
  • @ingeborga, вы знаете, что такое ключевое слово auto, а что такое&&?
    – B1aZe
    3 авг 2020 в 20:08
  • @ingeborga Плохо читаете. :) "По сути, "пробрасывающая ссылка" - это rvalue-ссылка (&&), но не на любой тип, а на ... Также ... подходит auto." Но тот ответ рассчитан на то, читатель уже знает про обычные rvalue-ссылки. Сначала стоит почитать про них, а потом уже про forwarding-ссылки (в том ответе или где-то еще). 3 авг 2020 в 21:01

1 ответ 1

2

auto&& почти всегда означает forwarding reference.

То есть вывод типа auto&& тут:

auto&& x = expression;

почти эквивалентен выводу типа T&& тут:

template <typename T>
void foo(T&& x) {}

foo(expression);

Исключение — список инициализации в фигурных скобках:

auto&& x = {1, 2, 3}; // OK
auto&& y{1, 2, 3}; // ERROR

template <typename T>
void foo(T&& x) {}

foo({1, 2, 3}); // ERROR
foo(std::initializer_list<int>{1, 2, 3}); // OK

auto&& в параметре лямбды эквивалентно T&& без исключений.

Про forwarding reference чуть подробнее в этом ответе.

3
  • Интересно, что если написать auto && в параметре лямбды/функции, то foo({1,2,3}) работать не будет. 6 авг 2020 в 10:33
  • @HolyBlackCat лямбды живут своей жизнью :) Например, без явного указания возвращаемого типа они могли выводить этот тип ещё в C++11, хотя auto в возвращаемом типе появился только в C++14
    – dIm0n
    6 авг 2020 в 10:40
  • @HolyBlackCat en.cppreference.com/w/cpp/language/lambda вот тут показано определение generic лямбды как шаблона, то есть auto&& у них своё, именно эквивалентное T&&
    – dIm0n
    6 авг 2020 в 10:43

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.