用java做语义分析_14.Java语义分析与字节码生成

1. 标注检查

标注检查步骤检查的内容包括如变量的使用前是否已被声明、变量与复制之间的数据类型是否能够匹配等。以及常量折叠，

//在编译期间会将以下代码转换为int a=3;

int a= 1+2;

2. 数据及控制流分析

数据及控制流分析是对程序上下文逻辑更进一步的验证，它可以监察处注入程序局部变量在使用前是否有复制、方法的每条路径是否都有返回值、是否所有的受查异常都被正确处理了等问题。

//方法一带有final修饰

public void foo(final int arg){

final int var=0;

}

//方法二没有final修饰

public void foo(int arg){

int var=0;

}

这两个方法编译出来的Class文件没有任何一点区别，因为它在常量池中没有CONSTANT_Fieldref_info的符号引用，自然就没有访问标志位的信息，自然在Class文件中不可能知道一个局部变量是不是为final了。

3.解语法糖

Java中最常见的语法糖主要是泛型、变长参数、自动装箱/拆箱等，虚拟机运行时不支持这些语法，它们在编译阶段还原回简单的基础语法结构，这个过程称为解语法糖。

4.字节码生成

字节码生成是Javac编译过程的最后一个阶段，在Javac源码里面由com.sum.tools.javac.jvm.Gen类来完成。字节码生成阶段不仅仅是把前面各个步骤生成的信息(语法树，符号表)转换成字节码写到磁盘中，编译器还进行了少量的代码添加和转换工作。

Java语法糖的味道

泛型