现代C++中auto&&与auto& &的语法差异及报错原因咨询

核心本质区别 #

• auto&&是合法的转发引用（万能引用）：它依赖C的引用折叠规则完成类型推导。当绑定左值时，auto会被推导为左值引用类型，最终auto&&折叠为左值引用（比如int& &&折叠成int&）；当绑定右值时，auto推导为非引用类型，auto&&即为右值引用（比如int&&）。这是C标准明确支持的语法，主要用于实现完美转发。
• auto& &是语法错误：C++标准禁止直接声明“引用的引用”，只有在模板参数推导、auto推导这类间接场景下，通过类型推导产生的引用折叠才是合法的。直接写出& &的声明方式，编译器会直接判定为非法语法。

代码示例差异分析 #

针对你给出的代码：

int x = 10;
auto &&y = 10 ; // 无错误运行
auto& &ry = 10; // 编译器报错“不允许引用的引用”

• 第二行auto &&y = 10：10是右值，auto被推导为int，因此auto&&等价于int&&（右值引用）。右值引用可以合法绑定到右值，且编译器会自动延长该右值临时对象的生命周期，所以这行代码完全合法，y可以正常使用。
• 第三行auto& &ry = 10：这行代码的问题出在语法本身，和绑定的是左值还是右值无关。直接写出& &的引用声明违反了C++标准，编译器会直接抛出“不允许引用的引用”的错误，根本不会进入后续的绑定检查阶段。

内容的提问来源于stack exchange，提问作者ahmed