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