C++中的每个表达式都有非引用类型吗

您好，我正在阅读有关 C++ 中的表达式和整个语句的内容

声明0.0

每个表达式都有一些非引用类型

引用的语句来自 en.cppreference.com/w/cpp/language/value_category。检查页面顶部的第 2 行。

现在我举了一些例子来理解这意味着什么。例如：

int i = 100; // this expression has type int
int &j = i; // this expression has type int or int&?

我的困惑是，我知道 j 是对 int 的引用，即 j 是 int& 但根据引用的语句，每个表达式都有一个非引用类型将意味着int &j = i;具有 int 类型。它是否正确？ 我感到困惑的其他例子：

int a[4] = {2,4,4,9};
a[3]; // will this expression be int& type or int type?

现在在声明中a[3];我知道 a 是一个数组左值，因此 a[3] 返回对最后一个元素的左值引用。但令人困惑的是引用的语句 0.0 是否意味着整个表达式a[3];是 int 还是 int& 类型？

这是另一个例子：

b[4]; // Here assume that b is an array rvalue. So will this expression has  type int&& or int?

所以我的问题是指针也会发生类似的情况吗？这意味着我们对于指针也有类似的声明（0.0）吗？

int x = 34;
int *l = &x; // will this expression have type int* or int?

我现在这里 l 是一个指向 int（复合类型）的指针。如果对于指针没有类似的声明，那么对于引用还需要这个声明吗？这就是为什么我们只去掉参考部分？

int i = 100; // this expression has type int
int &j = i; // this expression has type int or int&?

这些陈述根本不是表达。这些是声明。它们确实包含子表达式 100 和i，两者都有类型int。如果您使用 id 表达式j在此声明之后，该表达式的类型将是int.

所以我的问题是指针也会发生类似的情况吗？

不会。指针是非引用类型，类似的情况不会发生在具有指针类型的表达式上。

为什么我们只去掉参考部分？

这就是语言的工作原理。它允许我们以相同的方式对待对象和对象的引用。

这就是为什么您不需要（也不能）显式使用间接运算符来访问引用的对象，这与需要使用间接运算符来访问指向的对象不同。

这是实际的语言规则（来自最新的标准草案）：

[表达式类型]

如果表达式最初具有“对 T 的引用”类型（[dcl.ref]、[dcl.init.ref]），则在任何进一步分析之前将类型调整为 T。 表达式指定引用所表示的对象或函数，并且表达式是左值或x值，具体取决于表达式。