结构化绑定的decltype（auto）应该是引用吗？

Question

考虑一个例子：

#include <iostream>
#include <type_traits>
#include <tuple>

int main() {
    auto tup = std::make_tuple(1, 2);
    auto [ a, b ] = tup;
    decltype(auto) e = a;
    std::cout << std::boolalpha << std::is_reference_v<decltype(e)> << std::endl;
}

在这个简单的例子中，clang（输出：false）和gcc（输出：true）不一致。

Answer 1

标识符本身就是参考文献。来自[dcl.struct.bind]/3：

给定std指定的类型Ti​::​元组元素

也就是说，a和b都是int

但是，decltype（auto）的实际行为方式来自[dcl.type.auto.decrete]：

如果占位符是decltype（auto）类型说明符，T应单独作为占位符。根据[dcl.type.simple]中的描述确定为T推导的类型，就好像e是decltype的操作数一样。

这种措辞真的很尴尬，但最终：

decltype(auto) e = a;
~~~~~~~~~~~~~~

手段：

decltype( a  ) e = a;
         ~~~~

和dectype（a）的意思是，从[dcl.type.simple]/4.1开始：

如果e是命名结构化绑定（[dcl.struct.bind]）的未限定id表达式，decltype（e）是结构化绑定声明规范中给出的引用类型；

a的引用类型是int，因此e必须是int。这意味着它不是一个参考，而叮当声是正确的。备案81176份。