14.Java语义分析与字节码生成

1. 标注检查

标注检查步骤检查的内容包括如变量的使用前是否已被声明、变量与复制之间的数据类型是否能够匹配等。以及常量折叠，

//在编译期间会将以下代码转换为int a=3;
int a= 1+2;

2. 数据及控制流分析

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

//方法一带有final修饰
public void foo(final int arg){
    final int var=0;
}
//方法二没有final修饰
public void foo(int arg){
    int var=0;
}

这两个方法编译出来的Class文件没有任何一点区别，因为它在常量池中没有CONSTANT_Fieldref_info的符号引用，自然就没有访问标志位的信息，自然在Class文件中不可能知道一个局部变量是不是为final了。

3.解语法糖

Java中最常见的语法糖主要是泛型、变长参数、自动装箱/拆箱等，虚拟机运行时不支持这些语法，它们在编译阶段还原回简单的基础语法结构，这个过程称为解语法糖。

4.字节码生成

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

Java语法糖的味道

泛型

在Java中，泛型它只在程序源码中存在，在编译后的字节码文件中，就已经替换为原来的源生类型（Raw Type，也称裸类型）了，并且在相应的地方插入了强制转型代码，因此，对于运行期的Java语言来说，ArrayList与ArrayList就是同一个类，所以泛型是Java语言的一颗语法糖，Java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型称为伪泛型。
Demo

public static void main(String []args){
    Map map =new HashMap();
    map.put("hello","你好");
    map.put("helloWorld","世界你好");
    System.out.println(map.get("hello"));
    System.out.println(mao.get("helloWorld"));
}
//泛型擦除之后
public static void main(String []args){
    Map map=new HashMap();
    map.put("hello","你好");
    map.put("helloWorld","世界你好");
    System.out.println((String)map.get("hello"));
    System.out.println((String)map.get("helloWorld"));
}

当泛型遇上重载时，由于泛型擦除原因，导致重载的时候，会产生两个一模一样的方法，此时编译器编译不通过，通过改变方法的返回值，可以达到方法签名不一致可以让两个方法名一样返回值不一样的方法共存。

自动装箱，拆箱与遍历循环

Demo

public static void main(String[]args){
    List 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);
}

自动拆装箱陷阱

 public static void main(String[] args) {
        Integer a = 1;
        Integer b = 2;
        Integer c = 3;
        Integer d = 3;
        Integer e = 128;
        Integer f = 128;
        Long g = 3L;
        System.out.println(c==d);//true Integer自动装箱成同一个实例，有相同引用。
        System.out.println(e == f);//false 超过-128~127的范围，在自动拆装箱时会使用new的方法创建。
        System.out.println(c ==(a + b));//true Integer自动装箱成同一个实例，有相同引用。
        System.out.println(c.equals(a + b));//true 比较值相等。
        System.out.println(g ==(a + b));//true a+b自动转成long类型，然后常量比较故相等。
        System.out.println(g.equals(a + b));//false Long的equals 方法只要传入非Long类型的返回皆为flase
    }

平凡是一生，辉煌也是一生，
不同的是前者选择了安逸，后者选择的努力
你无法改变你的出身，但你可以改变你往后的人生
路在脚下，从此刻开始！

雪关马不前