早期（编译期）优化

1、概述

JVM的编译器可以分为三个编译器： 

1. 前端编译器：把*.java文件转变为*.class文件的过程。如Sun的Javac、Eclipse JDT中的增量式编译器（ECJ）。 
2. JIT编译器：把字节码转变为机器码的过程，如HotSpot VM的C1、C2编译器。 
3. AOT编译器：静态提前编译器，直接将*.java文件编译本地机器代码的过程。

2、javac编译器

编译的大致过程：

• 解析与填充符号表的过程
• 插入式注解处理器的注解处理过程
• 分析与字节码生成过程

1、解析与填充符号表

（1）词法、语法分析

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

语法分析是根据Token序列构造抽象语法树的过程，语法树的每一个节点都代表着程序代码中的一个语法结构。

（2）填充符号表

一组K-V值对的形式，由符号地址和符号信息构成的表格。

在语义分析中，符号表所登记的内容将用于语义检测和产生中间代码。在目标代码生成阶段，当对符号名进行地址分配时，符号表是地址分配的依据。

2、注解处理器

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

3、语义分析与字节码生成

语义分析的主要任务是对结构上正确的源程序进行上下文有关性质的审查比如类型审查。

（1）标注检查

标注检查步骤检查的内容包括诸如变量使用前是否已被声明、变量与赋值之间的数据类型是否能够匹配等。在标注检查步骤中，还有一个重要的动作称为常量折叠。

int a = 1 + 2   //等价于int a = 3

（2）数据及控制流分析

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

（3）解语法糖

语法糖指在计算机语言中添加的某种语法，这种语法对语言的功能并没有影响，但是更方便程序员的使用。通常来说，使用语法糖能够增加程序的可读性，从而减少程序代码出错的机会。

Java中最常用的语法糖主要是泛型（泛型并不一定都是语法糖实现，如C#的泛型就是直接由CLR支持的）、变长参数、自动装箱/拆箱等，虚拟机运行时不支持这些语法，它们在编译阶段还原回简单的基础语法结构，这个过程称为解语法糖。

（4）字节码生成

字节码生成是Javac编译过程的最后一个阶段。字节码生成阶段不仅仅是把前面各个步骤所生成的信息(语法树，符号表)转化为字节码写到磁盘中，编译器还进行了少量的代码添加和转换工作。

3、Java语法糖的味道

1、泛型与类型擦除

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

Java语言中的泛型则不一样，它只在程序源码中存在，在编译后的字节码文件中，就已经替换为原来的原生类型（裸类型）。Java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型称为伪泛型。

虚拟机规范做出了相应的修改，引入了诸如Signature、LocalVariableTypeTable等新的属性用于解决伴随泛型而来的参数类型的识别问题。从Signature属性的出现我们可以得出结论，擦除法所谓的擦除，仅仅是对方法的Code属性中的字节码进行擦除，实际上元数据中还是保留了泛型信息，这也是我们能通过反射手段取得参数化类型的根本依据。

2、自动装箱，拆箱和遍历循环

　自动装箱、拆箱在编译之后就被转换成了相应的包装和还原方法，如Integer.valueOf()与Integer.intValue()方法，而遍历循环则把代码还原成了迭代器的实现，这也是为何遍历循环需要被遍历类实现Iterable接口的原因。 
　　包装类的“==”运算在不遇到算术运算的情况下不会自动拆箱，以及它们equals()方法不处理数据转型的关系。

3、条件编译

Java语言使用条件为常量的if语句，此代码中的if语句不同于其他Java代码，它在编译阶段就会被运行，生成的字节码之中只包含条件正确的部分。 
　　Java语言中条件编译的实现，也是Java语言的一颗语法糖，根据布尔常量值的真假，编译器将会把分支中不成立的代码块消除掉，这是在解语法糖阶段实现的。由于这种条件编译的实现方式使用了if语句，所以它必须遵循最基本的Java语法，只能写在方法体内部，因此它只能实现语句基本块级别的条件编译。

　　Java语言中还有不少的其他语言糖，如内部类、枚举类、断言语句、对枚举和字符串的switch支持、try语句中定义和关闭资源等等。