javac参数 编译警告关闭_【JDK源码阅读】前端编译与优化

目前在结合「深入理解Java虚拟机：JVM高级特性与最佳实践（第3版）- 周志明 」阅读OpenJDK11的源码，本文参考原书第十章内容，总结整理学习过程于此。

谈及“编译期”，要给出具体的上下文语境。否则，语义模糊，可能是指前端编译器把*.java文件转变成 *.class文件的过程，也可能是Java虚拟机的即时编译器（JIT）运行期把字节码转变成本地机器码的过程，还可能是指使用静态的提前编译器直接把程序编译成和目标机器指令集相关的二进制代码的过程。

参考资料：http://openjdk.java.net/groups/compiler/doc/compilation-overview/index.html

• 前端编译器：代表性的产品有JDK的Javac、Eclipse JDT中的增量式编译器。
• 即时编译器：HotSpot虚拟机中的C1、C2编译器，Graal编译器。
• 提前编译器：JDK的Jaotc、GNU Compiler for thr Java（GCJ）、Excelsior JET。

Javac编译器

Javac编译器本身就是由Java语言编写的程序。工作过程可以分为三个步骤：

1.解析和填充符号表过程
2.插入式注解处理器的注解处理过程
3.语义分析与字节码生成过程

解析与填充符号表

1.词法、语法分析

词法分析是将源代码的字符流转变为标记（Token）集合，单个字符是程序编写过程的最小元素，而标记则是编译过程的最小元素，关键字、变量名、字面量、运算符都可以成为标记，如“int a = b + 2”这句代码包含了6个标记，分别是int、a、=、b、+、2，虽然关键字int由3个字符构成，但是它只是一个Token，不可再拆分。在Javac的源码中，词法分析过程com.sun.tools.javac.parser.Scanner类来实现。

语法分析是根据Token序列构造抽象语法树的过程，抽象语法树（Abstract Syntax Tree，AST）是一种用来描述程序代码语法结构的树形表示方式，语法树的每一个阶段都代表着程序代码中的一个语法结构（Construct），例如包、类型、修饰符、运算符、接口、返回值甚至代码注释等都可以是一个语法结构。

2.填充符号表

符号表（Symbol Table）是由一组符号地址和符号信息构成的表格，可以把它想象成哈希表中K-V值对的形式（实际上符号表不一定是哈希表实现，可以是有序号表、树状符号表、栈结构符号表等）。符号表中所登记的信息在编译的不同阶段都要用到。在语义分析中，符号表所登记的内容将用于语义检查（如检查一个名字的使用和原先的说明是否一致）和产生中间代码。在目标代码生成阶段，当对符号名进行地质分配时，符号表是地址分配的依据。

注解处理器

在JDK1.5之后，Java语言提供了对注解（Annotation）的支持，这些注解与普通的Java代码一样，是在运行期间发挥作用的。

在JDK1.6中实现了JSR-269规范，提供了一组插入式注解处理器的标准API在编译期间对注解进行处理，我们可以把它看做是一组编译器的插件，在这些插件里面，可以读取、修改、添加抽象语法树中的任意元素。如果这些插件在处理注解期间对语法树进行了修改，编译器将回到解析及填充符号表的过程重新处理，直到所有插入式注解处理器都没有再对语法树进行修改为止，每一次循环称为一个Round。

有了编译器注解处理的标准API后，代码才有可能干涉编译器的行为，由于语法树中的任意元素，甚至包括代码注释都可以在插件之中访问到，所以通过插入式注解处理器实现的插件在功能上有很大的发挥空间。只要有足够的创意，程序员可以使用插入式注解处理器来实现许多原本只能在编码中完成的事情。

语义分析与字节码生成

语法分析之后，编译器获得了程序代码的抽象语法树表示，语法树能表示一个结构正确的源程序的抽象，但无法保证源程序是符合逻辑的。而语义分析的主要任务是对结构上正确的源程序进行上下文有关性质的审查，如进行类型审查。举个例子，假设有如下的3个变量定义语句：

int a=1;
boolean b=false;
char c=2;
123

下列操作是后续可能会出现的：

int d=a+c;
int d=b+c;
char d=a+c;
123

后续代码中如果出现了以上3种赋值运算的话，那它们都能构成结构正确的语法树，但是只有第一种的写法在语义上是没有问题的，能够通过编译，其余两种在Java语言中是不合逻辑的，无法编译（是否合乎语义逻辑必须限定在具体的语言与具体的上下文环境之中才有意义。如在C语言中，a、b、c的上下文定义不变，第2、3种写法都是可以正确编译）。所以我们就需要进行语义分析，javac编译器中语义分析包括三个步骤：标注检查、数据及控制流分析、解语法糖。

1.标注检查

Javac的编译过程中，语义分析过程分为标注检查以及数据及控制流分析两个步骤。标注检查步骤检查的内容包括诸如变量使用前是否已被声明、变量与赋值之间的数据类型是否能够匹配等。在标注检查步骤中，还有一个重要的动作称为常量折叠。

2.数据及控制流分析

数据及控制流分析是对程序上下文逻辑更进一步的验证，它可以检查出诸如程序局部变量在使用前是否有赋值、方法的每条路径是否都有返回值、是否所有的受查异常都被正确处理了等问题。编译时期的数据及控制流分析与类加载时的数据及控制流分析的目的基本上是一致的，但校验范围有所区别，有一些校验项只有在编译期或运行期才能进行。

3.解语法糖

语法糖（System Sugar），也成糖衣语法，是由英国计算机科学家彼得-约翰-兰达（Peter J.Landin）发明的一个术语，指在计算机语言中添加的某种语法，这种语法对语言的功能并没有影响，但是更方便程序员使用。通常来说，使用语法糖能够增加程序的可读性，从而减少程序代码出粗的机会。

Java在现代编程语言之中属于“低糖语言”（相对于C#及许多其他JVM语言来说），尤其是JDK1.5之前的版本，“低糖”语法也是Java语言被怀疑已经“落后”的一个表面理由。Java中最常用的语法糖主要是前面提到过的泛型（泛型并不一定都是语法糖实现，如C#的泛型就是直接由CLP支持的）、变长参数、自动装箱/拆箱等，虚拟机运行时不支持这些语法，它们在编译阶段还原回简单地基础语法结构，这个过程称为解语法糖。

4.字节码生成

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

Java语法糖

Java语法糖主要包括

• 泛型擦除
• 自动装箱和自动拆箱、以及遍历循环
• 条件编译

1.泛型

• 泛型的本质是参数化类型（Parametersized Type）的应用，也就是说所操作的数据类型被指定为一个参数

public class TypeErasureGenerics<E> {
    public void doSomething(Object item) {
        if (item instanceof E) { // 不合法，无法对泛型进行实例判断
            ...
        }
        E newItem = new E(); // 不合法，无法使用泛型创建对象
        E[] itemArray = new E[10]; // 不合法，无法使用泛型创建数组
    }
}

• Java语言中的泛型只在源码中存在，在编译后的字节码中，就已经替换为原来的原生类型（Raw Type，也称为裸类型），所以泛型是java语言的一颗语法糖，Java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型称为伪泛型
• 擦除法：所谓的擦除，仅仅是对方法的code属性中的字节码进行擦除，实际上元数据中还是保留了泛型信息，这也是我们能够通过反射手段获取到参数化类型的根本依据

    //这段代码无法编译，因为参数List<String> list和List<Integer> list 编译之后都被擦除了
    public static void method(List<String> list) {
	System.out.println("invoke method(List<String> list)");
    }
    public static void method(List<Integer> list) {
	System.out.println("invoke method(List<Integer> list)");
    }

    //这段代码可以正确编译，因为两个method()方法添加了不同的返回值
    public static void method(List<String> list) {
	System.out.println("invoke method(List<String> list)");
    }
    public static void method(List<Integer> list) {
	System.out.println("invoke method(List<Integer> list)");
    }

2.自动装箱、拆箱与遍历循环

自动装箱、自动拆箱与遍历循环（for-each循环）这些语法糖，无论是实现复杂度上还是其中蕴含的思想上都不能和泛型相提并论，两者涉及的难度和深度都有很大差距。但这些是Java语言里面被使用最多的语法糖。

举例。

    public static void main(String []args){ 
        List<Integer> list = Arrays.asList(1, 2, 3, 4);
        int sum = 0;
        for(int i : list){
            sum += i;
        }
        System.out.println(sum);
    }

经过语法糖拆解后的代码：

    public static void main(String[] args) {
        List list = Arrays.asList(new Integer[]{
            Integer.valueOf(1),
            Integer.valueOf(2),
            Integer.valueOf(3),
            Integer.valueOf(4)
        });
        int sum = 0;
        for(Iterator localIterator = list.iterator(); localIterator.hasNext();){
            int i = ((Integer) localIterator.next()).intValue();
            sum += i;
        }
        System.out.println(sum);
    }

自动装箱：

Integer a=1;
Integer a=new Integer
12

自动拆箱：

Integer a=1;
int i=a+2;
Integer a=new Integer(1);
int i=a.intValue()+2;
1234

遍历循环：

List<Integer> list = Arrays.asList(1, 2, 3, 4);
for(int i : list){
}
List list = Arrays.asList(new Integer[]{
            Integer.valueOf(1),
            Integer.valueOf(2),
            Integer.valueOf(3),
            Integer.valueOf(4)
});
for(Iterator localIterator = list.iterator(); localIterator.hasNext();){
}

3.条件编译

Java语言中条件编译的实现，也是Java语言的一颗语法糖，根据布尔常量值的真假，编译器将会把分支中不成立的代码块消除掉，这一工作将在编译器解除语法糖阶段（com.sun.tools.javac.comp.Lower类中）完成。由于这种条件编译的实现方式使用了if语句，所以它必须遵循最基本的Java语法，只能写在方法体内部，因此它只能实现语句基本块（Block）级别的条件编译，而没有办法实现根据条件调整整个Java类的结构。

只能使用条件为常量的if语句才能进行条件编译，如果使用常量与其它带有条件判断能力的语句搭配，则可能在控制流分析中提示错误，被拒绝编译。

public static void main(String[] args){
  if(true){
    System.out.println("block 1");
  }else{
    System.out.println("block 2");
  }
}

编译后Class文件的反编译结果，

public static void main(String[] args){
    System.out.println("block 1");
}