свертывание ссылок для локальных переменных

Question

В шаблоне функции, параметризованном на T, тип T&& может быть или не быть ссылкой на rvalue, в зависимости от категории значения аргумента:

template <typename T>
void function(T&& x)
{
    // ...
}

std::string some_named_string;
function(some_named_string);       // T&& is std::string&

function(std::string("hello"));    // T&& is std::string&&

То же правило такжеприменять для локальных переменных, где тип автоматически выводится?

auto&& x = some_named_string;      // is x a std::string& here?
auto&& y = std::string("hello");   // is y a std::string&& here?

Answer 1

Да.auto точно указано как вычет аргумента шаблона.