问题描述
嗨，我正在阅读 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,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 值，取决于表达式。
,表达式：一个表达式由一个或多个操作数组成，并在计算时产生结果。
注意“评估时”的措辞。
表达式的示例是：文字 4，或某个变量 n。再次注意表达式尚未计算，因此没有结果。您也可以从一个运算符和一个或多个操作数创建更复杂的表达式。例如 3 + 4*5 是一个未计算的表达式。具有两个或多个运算符的表达式称为复合表达式。
C++ 中的每个表达式要么是右值要么是左值。
表达式语句：语句以分号结尾。当我们在表达式中添加分号时，它就变成了表达式语句。这样做的影响是，这会导致对表达式求值，并在语句的末尾丢弃其结果。因此，例如文字 5 是一个表达式，但如果您添加分号 ;在它之后，我们将有一个表达式语句。该表达式的结果也将在表达式语句的末尾被丢弃。让我们再看一个例子，cout << n; 是一个整体的表达式语句。它由以下表达式组成：
1. expression `cout`
2. expression 'n'
它由一个运算符 << 和一个空语句组成；
整个语句会产生副作用，即在屏幕上打印 n 的值。
更新：
示例 1： std::cout << n; 会产生在屏幕上打印 n 值的副作用，但更重要的是，它还会有一个结果值，即对象 std： :cout 在语句末尾被丢弃。
示例 2： int i(20 + 1); 包含 3 件事：
- 类型：整数
- 标识符 i
- 表达式 20 + 1
示例 3： float p; 这没有表达式。这只是变量定义。也称为声明语句。
示例 4： float k = 43.2; 在右侧有一个表达式，即 43.2，一个类型浮点数和一个标识符 k。
示例 5： i = 43;。这是一个表达式语句。这里有两个表达式和一个运算符。结果是变量 i。
示例 6： int &r = i;。这是一个声明语句，因为它由右侧的表达式 i 组成。同样在左侧，我们有一个 type(int) 和一个声明符 (&r)。由于它不是表达式语句，因此不会丢弃任何值。
示例 7： int *p = &i; 这是一个声明语句，因为它由右侧的表达式 i 组成。同样在左侧，我们有一个 type(int) 和一个声明符 (&r)。由于它不是表达式语句，因此不会丢弃任何值。
示例 8： i = a < b ? a : b; 这是一个表达式语句。这里的表达是：
-
左侧变量 i
-
右边的变量a
-
右侧的变量 b
中间也有一个条件（a
,C++ 表达式可以有 j+0 或 (j) 等形式。这些表达式肯定有类型 int。
为了简化语法，变量名本身也可用作表达式。如果我们没有这个规则，在语法中我们会有很多 variable-or-expression 结构。但这意味着表达式 j与表达式 j+0具有相同的类型，即int。