从std::元组引用绑定的类型[重复]

Question

这里的a是什么类型？

#include <iostream>
#include <tuple>

using namespace std;

int main()
{
    float x{};
    std::tuple<int> tpl( x );
    auto& [ a ] = tpl;
    static_assert( std::is_same_v< decltype( a ), int> );
    //static_assert( std::is_same_v< decltype( a ), int&> );
}

根据标准11.5/3：

[...] 给定由std:：tuple_元素指定的类型Ti

这里，i是第一个元素（int）的0，而E是std::元组




Answer 1

注意事项

引用的类型是Ti。

对于结构化绑定，dectype产生引用类型（[dcl.type.decltype]）：

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

Answer 2

变量r0的类型确实是int

所以我们需要看看[dcl.type.decltype]中对decltype的描述：

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

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

所以这里的“引用类型”只是int。

当然，dectype（a））是int