GCC 的 decltype(auto) 不符合标准？答案

【问题标题】：GCC's decltype(auto) doesn't conform to the standard?GCC 的 decltype(auto) 不符合标准？
【发布时间】：2018-11-18 07:26:55
【问题描述】：

我尝试在 GCC 8.2 下使用不同的选项编译此 C++ 代码，它始终成功，不产生警告并输出 true:

int && a = 123;
decltype(auto) b = a;

std::cout << std::boolalpha << std::is_same<decltype(b), int&>::value;

同时，相同的代码在 Clang 中不会编译，如果我对标准的理解是正确的，那就是符合标准的行为。

decltype 上的 cppreference：

如果参数是不带括号的 id 表达式或不带括号的类成员访问表达式，则 decltype 产生由此表达式命名的实体的类型。

decltype(auto) 上的 cppreference：

如果变量的声明类型为decltype(auto)，则关键字auto被替换为其初始化器的表达式（或表达式列表），并使用decltype的规则推导出实际类型。

因此，decltype(auto) 应该产生 int&&。并且由于a是一个左值，它不应该绑定到b，导致编译错误。

那么 GCC 不符合标准还是我缺少什么？

【问题讨论】：

【解决方案1】：

你的推理是正确的。而且我想我看到了 GCC 的绊脚石。

decltype(auto) 的措辞表示 auto 在初始化程序中被替换为 表达式。根据 GCC，这意味着您的代码不等同于

decltype(a) b = a;

而是等价于

decltype((a)) b = a;

但这是错误的。初始值设定项是 “无括号的id-expression”，因此[dcl.type.simple] 中针对无括号的id-expressions 的规则应该正常应用。 b的类型需要推导为int&&。

正如@Aconcagua 能够挖掘出来的，这是known GCC bug。

【讨论】：