为什么不能形成对“decltype（auto）”的引用

Question

int main(){
    decltype(auto)&& a = 100;
}

上面的代码，GCC中的一个错误和叮当声。

int main(){
    decltype(int)&& a = 100;
}

这个代码是正确的。

在N4296中，

在§8.3.2/6中

如果typedef（7.1.3）、类型模板参数（14.3.1）或decltype说明符（7.1.6.2）表示引用类型T的类型TR，则尝试创建类型“对cv TR的左值引用”将创建类型“对T的左值引用”，而尝试创建类型“对cv TR的右值引用”将创建类型TR。

§7.1.6.2中的decltype说明符

decltype说明符：
　　decltype（表达式）
　　decltype（自动）

我认为§8.3.2/6的措辞有问题。

为什么不允许引用decltype（auto）。请告诉我相关标准的措辞。抱歉用蹩脚的英语说。非常感谢。

Answer 1

在7.1.6.4[dcl.spec.auto]

如果占位符是decltype（auto）类型说明符，则变量的声明类型或函数的返回类型应仅为占位符。根据7.1.6.2中的描述确定为变量或返回类型推导的类型，就像初始值设定项是decltype的操作数一样。

所以这是允许的：

decltype(auto) a = 100;

但不是这个：

decltype(auto)& a = 100;

或者这个：

decltype(auto)&& a = 100;

这是有道理的，因为dectype（auto）背后的想法之一是在类型推导过程中保留引用性（即使用dectype类型推导，而不是模板/自动类型推导）

该标准为我们提供了一些示例，说明如何通过decltype（auto）推断引用：

int i;
int&& f();
auto x3a = i;                  // decltype(x3a) is int
decltype(auto) x3d = i;        // decltype(x3d) is int
auto x4a = (i);                // decltype(x4a) is int
decltype(auto) x4d = (i);      // decltype(x4d) is int&
auto x5a = f();                // decltype(x5a) is int
decltype(auto) x5d = f();      // decltype(x5d) is int&&
auto x6a = { 1, 2 };           // decltype(x6a) is std::initializer_list<int>
decltype(auto) x6d = { 1, 2 }; // error, { 1, 2 } is not an expression
auto *x7a = &i;                // decltype(x7a) is int*
decltype(auto)*x7d = &i;       // error, declared type is not plain decltype(auto)