4.1 简介

在程序中，任何一个表达式都包含两个维度的信息：一个是值，一个是类型。例如表达式 "Golang" ，其值是字符串 “Golang”, 而类型是 string. 通常情况下，我们将在编译阶段就知道所有类型信息的语言叫着静态语言，而直到运行时才知道类型信息的语言叫着动态语言。

语言的类型规范构成了语言的类型系统，类型系统是对程序行为进行约束的重要措施，类型规范通常会涉及到如下几个方面：

1. 类型种类，例如数字类型、布尔类型、复合类型等；类型种类用来限定类型的范围与界限

2. 预定义的类型，例如常见的 int, float, string 等；用来定义语言的基础类型

3. 构造新类型的规则，用户如何通过已有类型构造出新的类型；形成创建新类型的语法

4. 类型之间的相互关系，例如是否可以相互转换以及相互转换的规则

5. 作用于不同类型的运算符及其规则，例如大多数语言中， + 可以作用于数字类型，也可以作用于字符串类型，而 / 则无法作用于后者

有了这些规则，用户就可以根据自己的需求构造出任何想要的类型，以便搭建出业务的抽象模型。而语言的类型系统会检查程序的类型是否符合约束，对于静态语言，这个检查发生在编译阶段，而动态语言则发生在运行阶段。静态语言在使用时会伴随着大量的类型申明，例如 var name string, 不仅声明了变量名，同时为其指定了类型；而动态语言则无此必要，程序会在运行时将类型信息与值进行绑定。静态语言更加严格，但能够在编译阶段提前发现错误；动态语言更加灵活，但也将问题发现的时机推迟到了运行时刻。

为了使语言的使用更加简便，很多静态语言对类型的声明也不是必须的，只要编译器能够根据上下文推断出实际的类型，就没有必要让用户进行显示地声明，这种能力叫着类型推导。例如我们有函数 func sum(i, j int) int , 则在赋值语句 s = sum(1, 2) 中，很明显可以推导出变量 s 的类型便是函数 sum 的返回类型。Go 就具备这种语法特性，在编译阶段， Go 编译器会做两方面的事情：一个是类型推导，一个是类型检查，负责该任务的模块叫着类型检查器（type checker）。接下来我们会详细分析 Go 的类型检查器的实现原理。