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

Posted 2023-03-25

技术标签:

【中文标题】C++ 中的每个表达式是不是都具有非指针类型，如非引用类型【英文标题】：Does each expression in C++ have a non-pointer type like non-reference typeC++ 中的每个表达式是否都具有非指针类型，如非引用类型 【发布时间】：2021-07-28 14:21:00 【问题描述】：

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

【问题讨论】：

引用的语句来自哪里？正如你所指出的那样，这似乎不是真的。哪里是这样写的？可以分享一下链接吗？引用的语句来自en.cppreference.com/w/cpp/language/value_category。检查页面顶部的第 2 行。整个短语为：“每个表达式都有一些非引用类型，每个表达式恰好属于三个主要值类别之一：prvalue、xvalue 和 lvalue。”相反，这样做更有意义。您引用的完整语句的两半由“and”连接，这意味着它们也应该分别有意义。 @al3c 【参考方案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值，具体取决于表达式。

【讨论】：

【参考方案2】：

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

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

【讨论】：

【参考方案3】：

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

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

表达式的示例是：文字 4，或某个变量 n。再次注意，表达式尚未计算，因此没有结果。您还可以从运算符和一个或多个操作数创建更复杂的表达式。例如 3 + 4*5 是一个未计算的表达式。具有两个或多个运算符的表达式称为复合表达式。

C++ 中的每个表达式要么是右值，要么是左值。

表达式语句： 语句以分号结尾。当我们在表达式中添加分号时，它就变成了表达式语句。这样做的影响是，这会导致表达式被计算并且其结果在语句结束时被丢弃。因此，例如文字 5 是一个表达式，但如果添加分号 ;在它之后，我们将有一个表达式语句。此表达式的结果也将在表达式语句的末尾被丢弃。让我们看另一个例子，cout << n; 是一个整体的表达式语句。它由以下表达式组成：