有关在指定数据成员为引用类型时访问类成员的问题

如何解决有关在指定数据成员为引用类型时访问类成员的问题

#include <iostream>
struct Test{
    Test(int& r):rf(r){

    }
    int& rf;
};
int main(){
   int a = 0;
   Test t(a);
   decltype(t.rf) b;  
}

考虑上面的代码，编译器会抱怨这样的代码是ill-formed，因为b是引用类型，并且尚未初始化。但是，根据以下规则，我不知道为什么b的类型是引用类型？
dcl.type.simple#4

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

• 如果e是命名结构化绑定（[dcl.struct.bind]）的非括号id表达式，则decltype（e）是结构化绑定声明的规范中给出的引用类型；
• 否则，如果e是未括号化的id表达式或未括号化的类成员访问，则decltype（e）是由e命名的实体的类型。如果没有这样的实体，或者如果e命名了一组重载函数，则程序格式不正确；

根据expr.ref#4段所说：

如果E2声明为类型为“对T的引用” ，则E1.E2为左值； E1.E2的类型为T 。否则，将应用以下规则之一。

这意味着t.rf的类型为int。我不得不说，[expr.ref]节没有说，E1.E2仍然是一个引用（表达式E1.E2表示的确切实体是什么？）是模糊的。它只是说这样的表达式是lvalue，其类型就是引用所指的内容。

我只在[expr]中找到一条特殊规则，即：
expr#5

如果表达式最初的类型为“对T的引用”（[dcl.ref]，[dcl.init.ref]），则在进行进一步分析之前，将该类型调整为T。 表达式指定引用所表示的对象或功能，根据表达式的不同，表达式可以是左值或x值。 [注意：在引用的生存期开始之前或结束之后，行为是不确定的（请参阅[basic.life]）。 —尾注]

是否表示在分析表达式t.rf之前，由于rf的类型为“对T的引用”，因此应将其调整为int并使用这样的表达式，即{{ 1}}指定它指向的rf。

因此，根据上述规则，a的结果应为decltype(t.rf)，为什么编译器将其视为int？

解决方法

如果E2被声明为“对T的引用”类型，则E1.E2为左值； E1.E2的类型为T。否则，将应用以下规则之一。

这意味着t.rf的类型是int。

实际上，这意味着表达式 t.rf的类型为int（类别为左值）。但是，名为 entity 的类型（它是类成员）仍然是对int的左值引用，因此是decltype(t.rf)给出的类型。

E2在上下文中的定义如下：

[expr.ref]

将postfix-expression.id-expression缩写为E1.E2，...

实体定义为：

[basic.pre]

实体是值，对象，引用，结构化绑定，函数，枚举器，类型，类成员，位域，模板，模板专门化，名称空间或包。

实体列表不包含表达式。 E2不是实体。这是一个命名（表示）实体的表达式。