Java泛型的内部原理：类型擦除并举例说明

原文：http://blog.csdn.net/wisgood/article/details/11762427

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

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

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

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

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

例1、

[java]  view plain copy

1. public class Test4 {  
2.     public static void main(String[] args) {  
3.         ArrayList<String> arrayList1=new ArrayList<String>();  
4.         arrayList1.add("abc");  
5.         ArrayList<Integer> arrayList2=new ArrayList<Integer>();  
6.         arrayList2.add(123);  
7.         System.out.println(arrayList1.getClass()==arrayList2.getClass());  
8.     }  
9. }  

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

例2、

[java]  view plain copy

1. public class Test4 {  
2.     public static void main(String[] args) throws IllegalArgumentException, SecurityException, IllegalAccessException, InvocationTargetException, NoSuchMethodException {  
3.         ArrayList<Integer> arrayList3=new ArrayList<Integer>();  
4.         arrayList3.add(1);//这样调用add方法只能存储整形，因为泛型类型的实例为Integer  
5.         arrayList3.getClass().getMethod("add", Object.class).invoke(arrayList3, "asd");  
6.         for (int i=0;i<arrayList3.size();i++) {  
7.             System.out.println(arrayList3.get(i));  
8.         }  
9.     }  

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

类型擦除带来的问题请见原文：http://blog.csdn.net/wisgood/article/details/11762427