Java泛型不是真正的泛型

  Java 的泛型是伪泛型。为什么说 Java 的泛型是伪泛型呢？因为，在编译期

间，所有的泛型信息都会被擦除掉。

  Java 中的泛型基本上都是在编译器这个层次来实现的。在生成的 Java 字节

码中是不包含泛型中的类型信息的。使用泛型的时候加上的类型参数，会在编

译器在编译的时候去掉。这个过程就称为类型擦除。

  如在代码中定义的 List<object>和 List<String>等类型，在编译后都会

编程 List。JVM 看到的只是 List，而由泛型附加的类型信息对 JVM 来说是不

可见的。Java 编译器会在编译时尽可能的发现可能出错的地方，但是仍然无法

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>泛型类型，只能存储字符串。一个是

2. publicstaticvoidmain(String[]args)throwsIllegalArgumentException,Secur

ityException,IllegalAccessException,InvocationTargetException,NoSuchMethod

Exception{

3. ArrayList<Integer>arrayList3=newArrayList<Integer>();

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

Integer

5. arrayList3.getClass().getMethod("add",Object.class).invoke(arrayList3,"as

d");

6. for(inti=0;i<arrayList3.size();i++){

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

 编译器如何处理泛型？

  1.Code specialization。在实例化一个泛型类或泛型方法时都产生一份

新的目标代码（字节码 or 二进制代码）。例如，针对一个泛型 list，可能需要

针对 string，integer，"oat 产生三份目标代码。

  2.Code sharing。对每个泛型类只生成唯一的一份目标代码；该

泛型类的所有实例都映射到这份目标代码上，在需要的时候执行类型

检查和类型转换。

  C++中的模板（template）是典型的 Code specialization 实现。C++

编译器会为每一个泛型类实例生成一份执行代码。执行代码中 integer list 和

  Java 编译器通过 Code sharing 方式为每个泛型类型创建唯一的字节码表

示，并且将该泛型类型的实例都映射到这个唯一的字节码表示上。将多种泛型

类形实例映射到唯一的字节码表示是通过类型擦除（type erasue）实现的。

 类型擦除后保留的原始类型

  在上面，两次提到了原始类型，什么是原始类型？原始类型（raw type）

就是擦除去了泛型信息，最后在字节码中的类型变量的真正类型。无论何时定

义一个泛型类型，相应的原始类型都会被自动地提供。类型变量被擦除

（crased），并使用其限定类型（无限定的变量用 Object）替换。

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

如 Pair 这样声明

那么原始类型就是 Comparable

注意：

如果 Pair 这样声明 public class Pair<T extends Serializable&Comparable> ，

那么原始类型就用 Serializable 替换，而编译器在必要的时要向 Comparable 插

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