零、编译
1、编译器
(1)前端编译器:.java文件转变为.class文件Sun的javacEclipse JDT中的增量编译器(ECJ)
(2)后端编译器:.class文件转变为机器码HotSpot VM的C1编译器HotSpot VM的C2编译器
(3)AOT编译器:.java文件按直接转变为机器码GNU Compiler for Java(GCJ)Excelsior JET
2、编译过程
一、前端编译
1、Javac编译过程
解析与填充符号表过程
语法、词法分析
填充符号表
插入式注解处理器的注解处理过程
分析与字节码生成过程
标注检查
数据及控制流分析
解语法糖
字节码生成
initProcessAnnotations(processors); // 准备过程:初始化插入注解处理器
// These methoad calls must be chained to avoid memory leaks
delegateCompiler =
processAnnotations( //2:执行注解处理
enterTrees(stopIfError(CompileState.PARSE, // 1.2:填充符号表
parseFiles(sourceFileObjects))), // 1.1:词法分析与语法分析
classnames);
delegateCompiler.compile2(); //3:分析及字节码生成
// inner compile2
case BY_TODO:
while(!todo.isEmpty())
generate( // 3.4:生成字节码
desuger( // 3.3:解语法糖
flow( //3.2: 数据流分析
attribute(todo.remove())))); // 3.1:标注
break;
2、解析与填充符号表
(1)词法分析
定义:词法分析是将源代码的字符流转变为标记(Token)集合,单个字符是程序编写的最小元素,而标记是编译过程的最小元素。如:关键字、变量名、字面量、运算符都能成为标记。
解析类:com.sun.tools.javac.parser.Scanner
(2)语法分析
定义:语法分析是根据Token序列构造抽象语法树的过程,抽象语法树(AST)是一种用来描述程序代码中的一个语法结构,如包、类型、修饰符、运算符、接口、返回值等。
解析类:com.sun.tools.javac.parser.JavacParser
3、填充符号表
(1)定义:符号表(Symbol Table)是一组符号地址与符号信息构成的表格。
(2)符号表中记录的信息在编译的不同阶段都要用到,如:语义分析时,符号表中的内容用于语义检查(名字与原先的说明是否一致)与生成中间代码;在目标代码生成阶段,对地址名进行地址分配就是根据符号表的记录。(3)解析类:com.sun.tools.javac.comp.Enter
4、注解处理器
(1)JDK1.5,java语言提供了注解的支持,但当时只能在运行期发挥作用。
(2)JDK 1.6,提供了插入式注解处理器的标准API在编译期间对注解进行处理。这些注解处理器能在处理注解期间对语法树进行修改,所以需要回到解析以及填充符号表的过程,这称为一个Round。
(3)处理类:com.sun.tools.javac.processing.JavacProcessingEnvironment
5、语义分析:分析对结构正确的源程序进行上下文有关性质的审查,如:类型审查。
(1)标注检查
检查内容:变量使用前是否被声明、变量与赋值之间的数据类型是否能匹配等
常量折叠:常量相加变为一个常量
例子:int a = 1 + 2; => int a = 3;
解析类:com.sun.tools.javac.comp.Attr、com.sun.tools.javac.comp.Check
(2)数据及控制流分析
数据及控制流分析是对程序