第十二章-语义分析之数据流检查

参考：

（1）javac后期需要重点阅读的类

（2）Flow类注释解读

（3）Flow中的Switch分析

（4）Flow类中的resolveBreaks与resolveContinues

1、简介

1、语句的活跃性分析

2、异常检查

3、变量赋值

局部变量在使用前必须进行初始化，而声明在类中的成员变量，包括静态与非静态成员变量，虚拟机会初始化为对应的0值。有一种特殊情况就是final修改的成员变量必须显式初始化，可以在定义变量时也可以在构造函数中进行初始化。不难理解，如果虚拟机也初始化为0值不会有多大意义，因为final只能初始化一次。