java源码编译机制_3.1.1 Java源码编译机制（1）

3.1.1  Java源码编译机制(1)

JVM规范中定义了class文件的格式，但并未定义Java源码如何编译为class文件，各厂商在实现JDK时通常会将符合Java语言规范的源码编译为class文件的编译器，例如在Sun JDK中就是javac，javac将Java源码编译为class文件的步骤如图3.2所示。

(点击查看大图)图3.2  javac编译源码为class文件的步骤

下面简单介绍以上三个步骤：

1. 分析和输入到符号表(Parse and Enter)

Parse过程所做的为词法和语法分析。词法分析(com.sun.tools.javac.parser.Scanner)要完成的是将代码字符串转变为token序列(例如Token.EQ(name:=))；语法分析(com.sun.tools.javac.parser.Parser)要完成的是根据语法由token序列生成抽象语法树 。

Enter(com.sun.tools.javac.comp.Enter)过程为将符号输入到符号表，通常包括确定类的超类型和接口、根据需要添加默认构造器、将类中出现的符号输入类自身的符号表中等。

2. 注解处理(Annotation Processing)

该步骤主要用于处理用户自定义的annotation，可能带来的好处是基于annotation来生成附加的代码或进行一些特殊的检查，从而节省一些共用的代码的编写，例如当采用Lombok 时，可编写如下代码：public class User{

private @Getter String username;

}

编译时引入Lombok对User.java进行编译后，再通过javap查看class文件可看到自动生成了public String getUsername()方法。

此功能基于JSR 269 ，在Sun JDK 6中提供了支持，在Annotation Processing进行后，再次进入Parse and Enter步骤。

3. 语义分析和生成class文件(Analyse and Generate)

Analyse步骤基于抽象语法树进行一系列的语义分析，包括将语法树中的名字、表达式等元素与变量、方法、类型等联系到一起；检查变量使用前是否已声明；推导泛型方法的类型参数；检查类型匹配性；进行常量折叠；检查所有语句都可到达；检查所有checked exception都被捕获或抛出；检查变量的确定性赋值(例如有返回值的方法必须确定有返回值)；检查变量的确定性不重复赋值(例如声明为final的变量等)；解除语法糖(消除if(false) {…} 形式的无用代码；将泛型Java转为普通Java；将含有语法糖的语法树改为含有简单语言结构的语法树，例如foreach循环、自动装箱/拆箱等)等。

在完成了语义分析后，开始生成class文件(com.sun.tools.javac.jvm.Gen)，生成的步骤为：首先将实例成员初始化器收集到构造器中，将静态成员初始化器收集为()；接着将抽象语法树生成字节码，采用的方法为后序遍历语法树，并进行***的少量代码转换(例如String相加转变为StringBuilder操作)；***从符号表生成class文件。

上面简单介绍了基于javac如何将java源码编译为class文件 ，除javac外，还可通过ECJ(Eclipse Compiler for Java) 或Jikes 等编译器来将Java源码编译为class文件。

class文件中并不仅仅存放了字节码，还存放了很多辅助jvm来执行class的附加信息，一个class文件包含了以下信息。

结构信息

包括class文件格式版本号及各部分的数量与大小的信息。

元数据

简单来说，可以认为元数据对应的就是Java源码中"声明"与"常量"的信息，主要有：类/继承的超类/实现的接口的声明信息、域(Field)与方法声明信息和常量池。

【责任编辑：云霞 TEL：(010)68476606】

点赞 0