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

Question

您好，我正在阅读 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（复合类型）的指针。如果没有类似的指针语句，那么引用语句需要什么？这就是为什么我们只去掉参考部分？

Answer 1

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值，具体取决于表达式。

Answer 2

C++ 表达式可以有j+0 或(j) 之类的形式。这些表达式肯定有 int 类型。

为了简化语法，变量名本身也可以用作表达式。如果我们没有这条规则，在语法中我们会有很多variable-or-expression 构造。但这意味着表达式j与表达式j+0的类型相同，即int。

Answer 3

表达式：表达式由一个或多个操作数组成，并在计算时产生结果。

请注意“评估时”的措辞。

表达式的示例是：文字 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 个东西：

1. 类型：int
2. 标识符 i
3. 表达式 20 + 1

示例 3： float p; 这没有表达式。这只是变量定义。也称为声明语句。

示例 4： float k = 43.2; 这在右侧有一个表达式，即 43.2、一个浮点类型和一个标识符 k。

示例 5： i = 43;。这是一个表达式语句。这里有两个表达式和一个运算符。结果就是变量 i。

示例 6： int &r = i;。这是一个声明语句，因为它由右侧的表达式 i 组成。同样在左侧，我们有一个类型（int）和一个声明符（&r）。由于它不是表达式语句，因此不会丢弃任何值。

示例 7： int *p = &i; 这是一个声明语句，因为它由右侧的表达式 i 组成。同样在左侧，我们有一个类型（int）和一个声明符（&r）。由于它不是表达式语句，因此不会丢弃任何值。

示例 8： i = a < b ? a : b; 这是一个表达式语句。这里的表达式是：

1. 左侧变量 i

2. 右边的变量a

3. 右边的变量b

中间还有一个条件（a