结构化绑定中的变量类型

Question

#include <type_traits>

int main()
{
    int arr[1] = { 6 };

    auto& ref1 = arr[0];  
    static_assert( std::is_same_v<decltype( ref1 ), int&> ); //ok

    auto& [ ref2 ] = arr;
    static_assert( std::is_same_v<decltype( ref2 ), int> ); //ok
    static_assert( std::is_same_v<decltype( ref2 ), int&> ); //error
}

在该示例中，标识符ref1和ref2之间的相应区别是什么？据我所知，结构绑定中的ref2也有一个引用类型，但是为什么decltype为它指明了一个非引用类型呢？

Answer 1

decltype（e）的行为不同，具体取决于作为参数给出的e。对于结构化绑定，decltype生成如下内容，[dcl.type.simple]：

对于表达式e，由decltype（e）表示的类型定义如下：

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

以数组类型表达式作为初始化器的结构化绑定声明的引用类型是元素[dcl.struct.bind]的类型：

如果E是元素类型为T的数组类型，则标识符-列表中的元素数应等于E的元素数。每个v_i是一个左值的名称，该左值引用数组的元素i，其类型为T；引用的类型为T。[注：T的顶级cv-限定符是cv。-结束注释]