语义分析¶
类型系统¶
类型系统的设计有很多需要取舍和权衡的方面，比如:
1. 面向对象的拥护者希望所有的类型都是对象，而重视数据计算性能的人认为应该支持非对象化的基础数据类型
2. 你想把字符串作为原生数据类型，还是像 Java 那样只是一个普通的类
3. 是静态类型语言好还是动态类型语言好
根据类型检查是在编译期还是在运行期进行的，我们可以把计算机语言分为两类:
1. 静态类型语言（全部或者几乎全部的类型检查是在编译期进行的）
因为编译期做了类型检查，所以程序错误较少，运行期不用再检查类型，性能更高。
像 C、Java 和 Go 语言，在编译时就对类型做很多处理，包括:
检查类型是否匹配，以及进行缺省的类型转换
大大降低了程序出错的可能性，还能让程序运行效率更高，因为不需要在运行时再去做类型检查和转换。
2. 动态类型语言（类型的检查是在运行期进行的）
静态语言太严格，还要一遍遍编译，编程效率低，用动态类型语言方便进行快速开发。
JavaScript、Python、PHP 等都是动态类型的。
目前的趋势:
1. 某些动态类型语言在想办法增加一些机制，在编译期就能做类型检查
比如用 TypeScript 代替 JavaScript 编写程序，做完检查后再输出成 JavaScript
2. 某些静态语言呢，却又发明出一些办法，部分地绕过类型检查，从而提供动态类型语言的灵活性。
跟静态类型和动态类型概念相关联的，还有强类型和弱类型:
1. 强类型语言中，变量的类型一旦声明就不能改变
2. 弱类型语言中，变量类型在运行期时可以改变
二者的本质区别是:
强类型语言不允许违法操作，因为能够被检查出来
弱类型语言则从机制上就无法禁止违法操作，所以是不安全的
JavaScript是动态类型，也是弱类型；python是动态类型，却是强类型。
备注
静态类型和动态类型说的是什么时候检查的问题，强类型和弱类型说的是就算检查，也检查不出来，或者没法检查的问题
1. 类型检查: Type Checking
2. 类型推导: Type Inference
3. 类型转换: Type Conversion
类型推导:
S 属性（Synthesized Attribute），也就是综合属性
I 属性（Inherited Attribute），也就是继承属性
L 属性
类型检查主要出现在几个场景中:
1. 赋值语句（检查赋值操作左边和右边的类型是否匹配）。
2. 变量声明语句（因为变量声明语句中也会有初始化部分，所以也需要类型匹配）。
3. 函数传参（调用函数的时候，传入的参数要符合形参的要求）。
4. 函数返回值（从函数中返回一个值的时候，要符合函数返回值的规定）。
类型检查还有一个特点：
以赋值语句为例，
左边的类型，是 I 属性，是从声明中得到的；
右边的类型是 S 属性，是自下而上综合出来的
1. 左值（L-value） 地址
2. 右值（R-value） 值
语义分析过程拆成了好几个任务，对 AST 做了多次遍历:
1. 类型和作用域解析（TypeAndScopeScanner.java）
2. 类型的消解（TypeResolver.java）
3. 引用的消解和 S 属性的类型的推导（RefResolver.java）
4. 做类型检查（TypeChecker.java）
5. 做一些语义合法性的检查（SematicValidator.java）