“int &&”和“auto &&”之间的不同行为

Question

在 C++11 中，如果我尝试这样做：

int x = 5;

int && y = x;

它将无法编译，并显示一个错误，指出右值引用无法绑定到左值。

但是如果我这样做：

int x = 5;

auto && y = x;

它编译没有错误。为什么会这样？我试图获取y 的类型，但typeid() 带走了引用属性。 auto && 是否会根据分配的内容自动折叠为 & 或 &&？

Answer 1

在第一种情况int && y 中，变量y 只能绑定到x 不能绑定的右值。

在第二种情况下auto && y 然而，变量y 可以绑定到任何东西，因为无论如何都会推断出y 的类型——并且引用折叠将被相应地应用——这就是你的代码编译的原因：

auto && y = x;

由于x是一个左值，所以auto被推导出为int&，因此变为：

int& && y = x;

引用折叠后变成：

int & y = x;

这很好。

---

要更详细地了解它，请阅读以下内容：

• 通用参考（或转发参考，因为它已被提议改进术语）

• 参考折叠

希望对您有所帮助。

Answer 2

int&& 是对int 的右值引用。 而auto&& 是universal reference。

Answer 3

在第二个示例中，auto（在auto&& 中）可以是使代码格式正确的任何内容。在这种情况下，int& && 格式正确，因为 int& && 折叠为 int& - 因此一切正常。