早期(编译器)优化

1.前端编译器把.java文件转变为.class文件的过程,如Sun的javac;

虚拟机的后段运行期编译器(JIT编译器)把字节码转变为机器码,如HotSpot的C1编译器;

静态提前编译器(AOT编译器)直接把.java文件编译为本地机器代码,如GCJ

2.java中即时编译器在运行期的优化过程对于程序运行来说更重要,而前端编译器在编译器的优化过程对于程序编码来说关系更加密切。

3.javac的编译过程可以分为三个,分别是:

这三个步骤之间的关系和交互顺序如下图

javac编译动作的入口是com.sun.tools.javac.main.JavaCompiler类,关键的地方由8个方法来完成,如图。

4.解析步骤包括了经典程序编译原理中的词法分析和语法分析两个过程。

5.词法分析是将源代码的字符流转变为标记(Token)集合,单个字符是程序编写过程的最小元素,而标记则是编译过程的最小元素,关键字、变量名、字面量和运算符都可以成为标记。Javac的源码中,词法分析过程是由com.sun.tools.javac.parser.Scanner来实现的。语法分析过程由com.sun.tools.javac.parser.Parser类实现的。

6.语法分析是根据Token序列来构造抽象语法树的过程,对象语法树AST是一种用来描述程序代码语法结构的树形表示方式,语法树的每一个节点都代表着程序代码中的一个语法结构。如包、类型、修饰符、运算符等。如图例子所示。AST是由com.sun.tools.javac.tree.JCTree类表示,经过这个步骤后,编译器就基本不会再对源码文件进行操作了,后续操作都建立在AST上。

7.完成语法和词法分析后,就是填充符号表的过程。符号表是由一组符号地址和符号信息构成的表格,符号表中所登记的信息在编译的不同阶段都要用到,在语义分析中,符号表所登记的内容将用于语义检查和产生中间代码。在目标代码的生成阶段,当对符号名进行地址分配时,符号表是地址分配的依据。

8.在javac源码中,填充符号表的过程由com.sun.tools.javac.comp.Enter类实现,此过程的出口是一个待处理列表,包含了每一个编译单元的抽象语法树的顶级节点,以及package-info.java的顶级节点。

9.jdk1.6提供了一组插入式注解处理器的标准API在编译期间对注释进行处理,在插件里面可以读取、修改、添加抽象语法树的任意元素,如果插件在处理竹节期间对语法树进行了修改,编译器将会回到解析及填充符号表的过程重新处理,直到所有的插入式竹节期间处理器都没有再对语法树进行修改为止,每一次循环称为一个Round。

Javac源码中,插入式注解处理器的厨师化过程是initProcessAnnotations()方法中完成的,而它的执行过程是在processAnnotations()方法中完成的。

10.语法分析之后,编译器获得了程序代码的抽象语法树表示,语法树能表示一个结构正确的源程序的对象,但无法保证源程序是符合逻辑的,语义分析的任务就是对结构上正确的源程序进行上下文有关性质的审查。

11.语义分析过程分为标注检查和数据及控制流分析两个步骤,分别由atrribute()和flow() 方法完成。

标注检查步骤检查的内容包括变量使用前是否被声明、变量与赋值之间的数据类型是否能否匹配等等,还有一个重要的动作称为常量折叠。在编译期间试用了常量折叠,所以不会增加程序运行期一个CPU指令的运算量。标注检查在javac源码中实现类是com.sun.tools.javac.comp.Attr和Check类。

12.数据及控制流分析是对程序上下文逻辑更进一步的验证,可以检测出来诸如程序局部变量在使用前是否有赋值、方法的每条路径是否都有返回值、是否所有的受查异常都被正确处理等问题,编译期的数据及控制流分析与类加载时的目的基本一致,但校验范围有所区别,有一些校验项只有在编译期或运行期才能进行。此步骤由flow()方法作为入口,由com.sun.tools.javac.comp.Flow类完成的。

13.将局部变量声明为final,对运行期时没有影响的,变量的不变性仅仅由编译器在编译期间保障。

14.语法糖指的是计算机语言中添加的某种语法,这种语法对语言的功能并没有硬心啊个,但是更方便程序员使用,增加程序的可读性,减少出错的机会。Java中最常用的语法糖就泛型、变长参数、自动装箱拆箱等,但是泛型不一定都是语法糖实现。虚拟机运行时候不支持这些语法,在编译阶段被还原回简单的基础语法结构,这个过程就是解语法糖。Javac源码中,解语法糖由desugar()方法触发,在com.sun.tools.javac.comp.TransTypes/Lower类中实现。

15.字节码生成是javac编译过程的最后一个过程,在javac源码中由com.sun.tools.javac.jvm.Gen类来完成。字节码生成阶段不仅是把前面各个步骤锁生成的信息转化成字节码写到磁盘中,编译器还进行了少量的代码添加和转换工作。完成了对语法树的遍历和调整后,就会把填充了所有所需信息的符号表交到com.sun.tools.javac.jvm.ClassWriter类中,由这个类的writeClass()方法输出字节码,生成最终的Class文件,到此整个编译过程宣布结束。

16.泛型的本质是参数化类型的应用,也就是说所操作的数据类型被指定为一个参数,这种参数类型可以用在类、接口和方法的创建中,分别为泛型类、泛型接口和泛型方法。

17.Java语言中的泛型只在程序的源码中存在,在编译后的字节码文件中,就已经被替换为原来的原生类型了,并且在相应的地方插入了强制转型代码,因此对于运行期的java来说,ArrayList和ArrayList是同一个类型,所以说泛型技术实际上是java语言的语法糖,java语言中的泛型实现方法称为类型擦除,基于这种方法实现的泛型称为伪泛型。

18.方法重载要求方法具备不同的特征签名,包括方法名、参数顺序、参数类型和参数个数,不包括返回值,但是在Class文件格式之中,尽管两个方法有相同的名称和特征签名,但是返回值不同,那他们也是可以合法地共存于一个Class文件中。

19.java中只能通过if语句来实现条件编译这一语法糖,根据布尔值的真假,编译器将会把分支中不成立的代码块消除掉,这一阶段在编译器解除语法糖的阶段(com.sun.tools.javac.comp.Lower)完成。由于这种条件编译必须遵循最基本的java语法,写在方法体内部,因此只能实现基本块级别的条件编译。

20. "=="运算符的两个操作数都是 包装器类型的引用,则是比较指向的是否是同一个对象,而如果其中有一个操作数是表达式(即包含算术运算)则比较的是数值(即会触发自动拆箱的过程)。另外,对于包装器类型,equals方法并不会进行类型转换

你可能感兴趣的:(java)