javac的编译过程的研究（一）

Javac的源码可以从open-JDK获取点击打开链接。

Javac的编译的真正入口为com.sun.tools.javac.main包中的JavacCompiler，对于制定的java文件，编译流程如下：

1）

try {
            initProcessAnnotations(processors);

            // These method calls must be chained to avoid memory leaks
            delegateCompiler =
                processAnnotations(
                    enterTrees(stopIfError(CompileState.PARSE, parseFiles(sourceFileObjects))),
                    classnames);

            delegateCompiler.compile2();
            delegateCompiler.close();
            elapsed_msec = delegateCompiler.elapsed_msec;

首先initProcessAnnotation插入注解处理器。然后parseFile(sourceFileObjects)对源文件进行词法分析，语法分析，生成语法树，然后enterTrees调用使用com.sun.tools.javac.comp.Enter类，此过程每个编译单元的抽象语法树的顶局节点都先被放到待处理列表中并逐个处理列表中的节点。所有的类符号被输入到外围作用域的符号表中确定类的参数（对泛型类型而言）、超类型和接口如果需要添加默认构造器，将类中出现的符号输入到类自身的符号表中。这部分结束后调用compile2();

generate(desugar(flow(attribute(todo.remove()))));

compile2进行语义分析和生成class文件;

com.sun.tools.javac.comp.Attr：标注和语法检查

1)检查操作变量类型是否匹配，操作数|方法返回值类型匹配com.sun.tools.javac.comp.Check

2）检查变量、方法或类的访问是否合法、变量是否是静态变量、变量在使用前是否已经初始化com.sun.tools.javac.comp.Resolve

3）推导出泛型方法中的参数类型com.sum.tools.javac.comp.Infer

4）将一些常量进行合并处理com.sum.tools.javac.comp.ConstFold

com.sun.tools.javac.comp.Flow数据流分析

5）检查变量在使用前是否已经正确赋值

6）包装final修饰的变量不会被重新赋值

7）方法的返回值类型都要确定

8）检查所有的操作是否可达

9）检查checked exception异常是否已经捕获或抛出

10）解除Java的语法糖

11）去掉无用的代码，如永假的if代码块

12）变量的自动转换，如将int自动包装成Integer类型或者相反的操作等；