c++ - "int &&"和 "auto &&"之间的不同行为

Question

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

int x = 5;

int && y = x;

它将无法编译，并出现一个错误，提示右值引用无法绑定(bind)到左值。

但是如果我这样做:

int x = 5;

auto && y = x;

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

Answer 1

在第一种情况下int && y，变量y只能绑定(bind)到rvalue，x是不是。

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

auto && y = x;

因为x是一个左值，auto被推导为int&，因此它变成:

int& && y = x;

在引用折叠之后，它变成了:

int & y = x;

这很好。

---

要更详细地了解它，请阅读:

• Universal Reference(或Forwarding Reference，因为它已被提议用于改进术语)

• 引用折叠

希望对您有所帮助。