C++中“表达式类型”是什么？从编译原理角度解惑

首先明确结论：表达式的类型（type of expression）就是它求值结果的类型，cppreference中提到的表达式的"type"属性，和你疑惑的"表达式结果的类型"是同一个东西，不存在先后推导的顺序——两者本质是一回事。

从编译原理的角度，我们可以拆解编译器处理表达式的逻辑：

• 编译阶段（代码运行前），编译器会根据表达式的组成元素（变量类型、操作符规则、函数返回值类型等），静态推导出这个表达式求值后会产生什么类型的值。比如int a = 2; a * 3;，编译器知道a是int类型，*操作符对两个int类型的操作数返回int，因此直接确定这个表达式的类型是int，而这个类型就是它运行时求值结果的类型。
• 编译器不会先给表达式凭空分配一个"自身类型"，再去推导结果类型。表达式的存在意义就是求值产生结果，所以它的类型属性直接对应结果的类型。

再结合cppreference的描述理解：

Expression evaluation may produce a result.
Each C++ expression is characterized by two independent properties: A type and a value category.

第一句话里的"result"的类型，就是第二句话里的"type"。而值类别（value category）是另一个独立属性——比如同样是int类型的表达式，x（变量）是左值，x+1是右值，它们的类型相同，但值类别不同，这就是两者独立的体现。

举几个直观例子：

• 表达式"hello"的类型是const char[6]，求值结果就是这个字符串字面量，类型一致。
• 调用返回double的函数foo()，表达式foo()的类型是double，求值结果的类型也是double。
• 表达式true && false的类型是bool，求值结果是false（类型为bool）。

内容的提问来源于stack exchange，提问作者Yue Zhou