JVM学习笔记-类型擦除机制

java的泛型在编译阶段实现，，在运行期被删除。编译器生成的字节码在运行期间并不包含泛型的类型信息。 泛型（Generic）的引入加强了参数类型的安全性，减少了类型的转换。

问：有没有什么办法可以使集合能够记住集合内元素各类型，且能够达到只要编译时不出现问题，运行时就不会出现“java.lang.ClassCastException”异常呢？

答：答案就是使用泛型。

案例：

import java.util.ArrayList;


public class t10 {
    public int test(ArrayList t1) {
        int a = 0;

        return a;
    }

    public int test(ArrayList t1) {
        int a = 0;

        return a;
    }

    public static void main(String[] args) {
    }
}

报错：有相同的擦除类型。原因是在编译期间，ArrayList和ArrayList都会被擦除为ArrayList，泛型的类型对jvm不可见。

在编译后所有的泛型类型都会做相应的转化，转化如下：

List、List 擦除后的类型为 List。

List[]、List[] 擦除后的类型为 List[]。

List、List 擦除后的类型为 List。

List 擦除后类型为 List。

jvm如此操作的原因：

1.如果把类型信息保留到运行时，需要做大量的重构工作

2.兼容原生的老版本类型

jvm在编译后就丢失了类型信息，但是这部分很重要，所以泛型的类型检查由编译器负责，并且会报错。

由此在java中关于泛型存在:

1.泛型的class对象时一样的，类型擦除不会改变class属性:

List t1 = new ArrayList();
List t2 = new ArrayList();
System.out.println(t1.getclass() == t2.getclass());

2.泛型数组初始化时不能声明泛型类型

List[] list = new List[];

在这里可以声明一个带有泛型参数的数组，但是不能初始化该数组，因为执行了类型擦除操作后，相当于List[Object] list = new List()[];编译器拒绝如此声明,所以提前报错，不允许到jvm那一边，java实现的是伪泛型。

3.instanceof 不能带泛型参数:

List list = new ArrayList();

System.out.println(list instanceof List);

jvm编译后会丢失信息，所以编译器不允许这么做，因为要是这么做，在运行时候会出问题。实际上list是一个实例，但是丢失类型后无法判断。