# 4.5.3-1.3c 求值表达式的类型检查

求值表达式是指程序中进行求值运算的代码块，例如算术运算、函数调用、访问数组或对象属性、类型转换等。

{% hint style="info" %}
求值表达式并不是一个特别严格、准确的术语，这里使用只是为了区分类型表达式，从最抽象的层面上来看，程序可以分为控制语句与计算单元，控制语句通过关键字来实现，例如 for, if 等用来控制程序的执行流，而 type, func 等用来告诉编译器需要创建新的类型；计算单元则用来达成程序的业务目的，这里所说的求值表达式属于计算单元，但也并不是所有的计算单元都会产生一个明确的返回值，例如一个函数可能没有返回值，调用函数只是为了该函数的副作用（Side effect）。当然有的语言为了使文法更加规范，使用一个特殊的值（void）来表示“没有值”。
{% endhint %}

对于求值表达式，类型检查器除了进行类型检查之外，还会尝试着对其求值，例如表达式`"Hello, " + "Golang"`，运算符号`+`的两个运算符都是常量，所以在类型检查的过程中就会完成字符串的拼接操作，从而得到最终结果`"Hello, Golang"` 。类型检查器会尽可能得对表达式进行求值，以便提升程序在运行时的效率。

对求值表达式进行类型检查的入口是方法`check.expr()`, 核心逻辑封装在方法`check.exprInternal()`内，定义在文件`$GCROOT/compile/internal/types2/expr.go`中。 `check.exprInternal()`是一个 700 行代码的胖方法，但其基本的处理思路与`check.typInternal()`是一样的，都是通过 switch...case... 语句根据表达式的类型进行递归检查，我们贴出部分代码一探究竟：

```go
func (check *Checker) exprInternal(x *operand, e syntax.Expr, hint Type) exprKind {
	switch e := e.(type) {
	case *syntax.Name:
		// 对标识符进行类型检查，如果该标识符已经完成了类型检查，则递归终止，否则递归进行检查
		check.ident(x, e, nil, false)
	case *syntax.BasicLit:
		// 基本类型都是常量表达式，设置常量值。
		x.setConst(e.Kind, e.Value)
	case *syntax.FuncLit:
		// 函数字面量是形如 func() {} 的表达式，先对函数类型进行检查，再将函数体的检查推入 delayed 队列
		if sig, ok := check.typ(e.Type).(*Signature); ok {
			decl := check.decl
			iota := check.iota
			check.later(func() {
				check.funcBody(decl, "<function literal>", sig, e.Body, iota)
			})
			x.mode = value
			x.typ = sig
		}
	}
}
```

这里删除了绝大多数代码，只保留了三个 case 的部分代码来帮助我们理解该方法的处理思路。其中`syntax.Name`与`syntax.BasicLit`是该函数递归的 base-case, 而`syntax.FuncLit`则体现了对符合表达式的分解，并且可以发现对函数体的类型检查被推入了 delayed 队列，这在后续会有介绍。

对求值表达式的检查结果放在结构体`operand`中，其定义如下：

```go
type operand struct {
	mode operandMode
	expr syntax.Expr
	typ  Type
	val  constant.Value
	id   builtinId
}
```

该结构用来保存类型检查的中间值，属性`typ`与`val`分别用来保存推导出来的类型以及计算出来的值。