auto&&; 是什么意思？做？

Question

这是 Scott Meyers 的 C++11 Notes Sample 中的代码，

int x;
auto&& a1 = x;             // x is lvalue, so type of a1 is int&
auto&& a2 = std::move(x);  // std::move(x) is rvalue, so type of a2 is int&&

我无法理解 auto&&。
我对 auto 有一些了解，从中我可以说 auto& a1 = x 应该使 a1 的类型为 int&

从引用的代码来看，这似乎是错误的。

我写了这个小代码，并在 gcc 下运行。

#include <iostream>

using namespace std;

int main()
{
    int x = 4;
    auto& a1 = x;           //line 8
    cout << a1 << endl;
    ++a1;
    cout << x;
    return 0;
}

输出 = 4（换行符）5
然后我将第 8 行修改为 auto&& a1 = x;，然后运行。相同的输出。

我的问题：auto& 等于 auto&& 吗？
如果它们不同，auto&& 会做什么？

Answer 1

代码是对的。 自动&& p = expr 表示 p 的类型为 T&&，其中 T 将从 expr 推断出来代码>.这里的&&表示右值引用，因此eg

auto&& p = 1;

会推断T == int，因此p的类型是int&&.

但是，引用可以根据以下规则折叠：（

T& &   == T&
T& &&  == T&
T&& &  == T&
T&& && == T&&

此功能用于在 C++11 中实现完美转发。）

情况下

auto&& p = x;

在x 为左值的 ，不能将右值引用绑定到它，但如果我们推断 T = int& 那么 p 的类型将变成 int& && = int&，这是一个左值引用，可以绑定到x。仅在这种情况下，auto&& 和 auto& 给出相同的结果。但这两者是不同的，例如，这

auto& p = std::move(x);

是不正确的，因为 std::move(x) 是右值，并且左值引用无法绑定到它。

请阅读C++ 右值引用解释进行演练。