深入理解java虚拟机-第十章-早期（编译期）优化

第10章  早期（编译期）优化

javac编译过程：

　　1、解析与填充符号表过程

　　词法、语法分析 将源代码的字条流转变为标记（Token）集合。如“int a = b + 2”这名代码包含了6个标记，分别是int a = b + 2

　　填充符号表

　　2、注解处理器

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

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

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

　　解语法糖  泛型、变长参数、自动装箱/拆箱等

　　　　java中的泛型只在程序源码中存在，在编译后的字节码中就已经替换为原来的原生类型了，并且在相应的地方插入强制类型转换代码。

　　字节码生成

　　Java方法中的泛型

　　Java的泛型在编译后就擦除了，所以如下代码会编译出错：

　　

　　因为参数List<Integer>和List<String>编译之后都被搾除了，变成了一样的原生类型 List,导致这两种方法的牲签名变得一模一样。修改代码如下：

　　

　　便可以编译，方法的重载成功。Class文件方法表（method_info）的数据结构时，方法重载要求方法具备不同的特征签名，返回值并不包含在方法的特征签名之中，所以返回值不参与重载选择，但在Class文件格式中，只要描述符不是完全一致的两个方法就可以共存。也就是说，两个方法如果有相同的名称和特征签名，那它们也是可以合法地共存于一个Class文件中的。执行结果如下：

　　

　　说明Java还是能够正常执行重载的泛型的方法，Java编译进已经把泛型擦除了，为什么还能进行重载的方法呢？

　　

　　如图 28 35行为调用Java的编译后代码，

　　　　28行为第一次调用JavaTest.test(ss)，参数为List<Integer>的时候。

　　　　35行为第二次调用JavaTest.test(ssa)，参数为List<String>的时候。

　　说明虽然编译会擦除泛型，但也会为泛型的调用方法进行相应的编译。