c++ - C++ 中的每个表达式是否都具有非指针类型，如非引用类型

Question

嗨，我正在阅读 C++ 和整个语句中的表达式
声明 0.0

Each expression has some non-reference type

引用的语句来自 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(复合类型)的指针。如果没有类似的指针语句，那么引用这个语句的必要性是什么？这就是为什么我们只剥离引用部分？

Answer 1

表达式:表达式由一个或多个操作数组成，并在计算时产生结果。
请注意“评估时”的措辞。
表达式的例子是:文字 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);由三件事组成:

类型:int

标识符 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 < b)。如果条件评估为真，则结果将是变量 a 和 b 否则。