泛型的类型擦除

泛型的类型擦除：

ArrayList<String>.getClass==ArrayList<Integer>.getClass()

在编译阶段，编译器会进行类型检测，如果传递了一个错误的类型就会编译失败，一旦通过了编译就会将泛型信息擦除，到了允许阶段，对于JVM来说，也就没有了泛型类型的对象，所有的对象都是普通类，也就不会有ArrayList<String>类型，只有List类型（List list=new ArrayList<String>)一种类型，擦除类型参数后的类型被称为原始类型，泛型参数被替换为它的第一个上界，擦除泛型后的代码和没有泛型的代码是一致的，这就是类型擦除的目的：向低版本兼容，为了保证已有的代码和类文件依然合法，将泛型参数擦除就能和以前的代码兼容了。

弊端：泛型参数不支持基本类型，只支持引用类型，因为泛型最终会被擦除为具体类型，而Object又不能存储基本类型的值。当泛型被类型擦除后都变成Object类型。但是Object类型不能指代像int，double这样的基本类型只能指代Integer，Double这样的引用类型。

只能对原始类型进行类型检测，无法判断带泛型的类型，例如都是List类型的对象，因为根本就没有List<String>类，不能实例化类型参数，因为在运行时无法确定具体类型。

如果允许创建泛型数组，将能在数组p里存放任何类的对象，并且能够通过编译，因为在编译阶段p被认为是一个Object[ ]，也就是p里面可以放一个int，也可以放一个Pair，当我们取出里面的int，并强制转换为Pair，调用它的info（）时会怎样？java.lang.ClassCastException！这就违反了泛型引入的原则。所以，Java不允许创建泛型数组。

带有超类型限定的通配符可以向泛型对象写入， 带有子类型限定的通配符可以从泛型对象读取(不能在方法体中向方法参数中写入任何对象 arr.set()，例如animal是方法参数，但不允许 animal.set(dog),因为你也不知道方法参数是不是cat类型的，显然cat和dog冲突了；但可以用animal接受方法返回值，因为都是animal的子类)