java泛型擦除原理_java泛型 泛型的内部原理：类型擦除以及类型擦除带来的问题 | 学步园...

一、Java泛型的实现方法：类型擦除

前面已经说了，Java的泛型是伪泛型。为什么说Java的泛型是伪泛型呢？因为，在编译期间，所有的泛型信息都会被擦除掉。正确理解泛型概念的首要前提是理解类型擦出(type erasure)。

Java中的泛型基本上都是在编译器这个层次来实现的。在生成的Java字节码中是不包含泛型中的类型信息的。使用泛型的时候加上的类型参数，会在编译器在编译的时候去掉。这个过程就称为类型擦除。

如在代码中定义的List和List等类型，在编译后都会编程List。JVM看到的只是List，而由泛型附加的类型信息对JVM来说是不可见的。Java编译器会在编译时尽可能的发现可能出错的地方，但是仍然无法避免在运行时刻出现类型转换异常的情况。类型擦除也是Java的泛型实现方法与C++模版机制实现方式之间的重要区别。

可以通过两个简单的例子，来证明java泛型的类型擦除。

例1、

publicclassTest4 {

publicstaticvoidmain(String[] args) {

ArrayList arrayList1=newArrayList();

arrayList1.add("abc");

ArrayList arrayList2=newArrayList();

arrayList2.add(123);

System.out.println(arrayList1.getClass()==arrayList2.getClass());

}

}

在这个例子中，我们定义了两个ArrayList数组，不过一个是ArrayList泛型类型，只能存储字符串。一个是ArrayList泛型类型，只能存储整形。最后，我们通过arrayList1对象和arrayList2对象的getClass方法获取它们的类的信息，最后发现结果为true。说明泛型类型String和Integer都被擦除掉了，只剩下了原始类型。

例2、

publicclassTest4 {

publicstaticvoidmain(String[] args)throwsIllegalArgumentException, SecurityException, IllegalAccessException, InvocationTargetException, NoSuchMethodException {

ArrayList arrayList3=newArrayList();

arrayList3.add(1);//这样调用add方法只能存储整形，因为泛型类型的实例为Integer

arrayList3.getClass().getMethod("add", Object.class).invoke(arrayList3,"asd");

for(inti=0;i

System.out.println(arrayList3.get(i));

}

}

在程序中定义了一个ArrayList泛型类型实例化为Integer的对象，如果直接调用add方法，那么只能存储整形的数据。不过当我们利用反射调用add方法的时候，却可以存储字符串。这说明了Integer泛型实例在编译之后被擦除了，只保留了原始类型。

二、类型擦除后保留的原始类型

在上面，两次提到了原始类型，什么是原始类型？原始类型(raw type)就是擦除去了泛型信息，最后在字节码中的类型变量的真正类型。无论何时定义一个泛型类型，相应的原始类型都会被自动地提供。类型变量被擦除(crased)，并使用其限定类型(无限定的变量用Object)替换。

例3：

classPair {

privateT value;

publicT getValue() {

returnvalue;

}

publicvoidsetValue(T  value) {

this.value = value;

}

}

Pair的原始类型为：

classPair {

privateObject value;

publicObject getValue() {

returnvalue;

}

publicvoidsetValue(Object  value) {

this.value = value;

}

}

因为在Pair中，T是一个无限定的类型变量，所以用Object替换。其结果就是一个普通的类，如同泛型加入java变成语言之前已经实现的那样。在程序中可以包含不同类型的Pair，如Pair或Pair，但是，擦除类型后它们就成为原始的Pair类型了，原始类型都是Object。

从上面的那个例2中，我们也可以明白ArrayList被擦除类型后，原始类型也变成了Object，所以通过反射我们就可以存储字符串了。

如果类型变量有限定，那么原始类型就用第一个边界的类型变量来替换。

比如Pair这样声明

例4：

publicclassPair {

那么原始类型就是Comparable

注意：

如果Pair这样声明public class Pair ，那么原始类型就用Serializable替换，而编译器在必要的时要向Comparable插入强制类型转换。为了提高效率，应该将标签(tagging)接口(即没有方法的接口)放在边界限定列表的末尾。

要区分原始类型和泛型变量的类型

在调用泛型方法的时候，可以指定泛型，也可以不指定泛型。

在不指定泛型的情况下，泛型变量的类型为 该方法中的几种类型的同一个父类的最小级，直到Object。

在指定泛型的时候，该方法中的几种类型必须是该泛型实例类型或者其子类。

publicclassTest2{

publicstaticvoidmain(String[] args) {

/**不指定泛型的时候*/

inti=Test2.add(1,2);//这两个参数都是Integer，所以T为Integer类型

Number f=Test2.add(1,1.2);//这两个参数一个是Integer，以风格是Float，所以取同一父类的最小级，为Number

Object o=Test2.add(1,"asd");//这两个参数一个是Integer，以风格是Float，所以取同一父类的最小级，为Object

/**指定泛型的时候*/

inta=Test2.add(1,2);//指定了Integer，所以只能为Integer类型或者其子类

intb=Test2.add(1,2.2);//编译错误，指定了Integer，不能为Float

Number c=Test2.add(1,2.2);//指定为Number，所以可以为Integer和Float

}

//这是一个简单的泛型方法

publicstatic T add(T x,T y){

returny;

}

}

其实在泛型类中，不指定泛型的时候，也差不多，只不过这个时候的泛型类型为Object，就比如ArrayList中，如果不指定泛型，那么这个ArrayList中可以放任意类型的对象。

举例：

publicstaticvoidmain(String[] args) {

ArrayList arrayList=newArrayList();

arrayList.add(1);

arrayList.add("121");

arrayList.add(newDate());

}

三、类型擦除引起的问题及解决方法

因为种种原因，Java不能实现真正的泛型，只能使用类型擦除来实现伪泛型，这样虽然不会有类型膨胀的问题，但是也引起了许多新的问题。所以，Sun对这些问题作出了许多限制，避免我们犯各种错误。