java泛型擦除问题

 java 泛型的残酷现实就是：

在泛型代码内部，无法获得任何有关泛型参数类型的信息。

在使用泛型时，任何具体的类型都被擦除，唯一知道的是你在使用一个对象。比如：List<String>和List<Integer>在运行事实上是相同的类型。他们都被擦除成他们的原生类型，即List。

snippet 1:

 1 package com.cognizant.ch15; 2  3 import java.lang.reflect.Array; 4 import java.util.Arrays; 5  6 public class ArrayMaker<T> { 7     private Class<T> kind; 8  9     public ArrayMaker(Class<T> kind) {10        this.kind = kind;11  }12 13  @SuppressWarnings("unckecked")14    T[] create(int size) {15        return (T[]) Array.newInstance(kind, size);16  }17 18   public static void main(String[] args) {19       ArrayMaker<String> stringMaker = new ArrayMaker<String>(String.class);20       String[] stringArray = stringMaker.create(10);21       System.out.println(Arrays.toString(stringArray));22  }23 }24 ouput:[null, null, null, null, null, null, null, null, null, null]

 

由于擦除，kind实际上将被存储为了Class，非String.calss。在创建数组的时候，Array.newInstance()实际上并没有拥有kind所含的类型信息，因此就不会产生具体的结果。

如果要创建一个容器而不是数组，情况却有点不同：

snippet 2:

 1 public class ListMaker<T>{ 2  3    List<T> create(){ 4  5       return new ArrayList<T>(); 6  7 } 8  9   public static void main(String[] args){10 11       ListMaker<String> stringMaker=new ListMaker<String>();12 13       List<String> stringList=stringMaker.create();14 15 }16 17 }

 

擦除使得create()内部的new ArrayList<T>中的<T>被擦除了，在运行时，这个类的内部没有任何<T>，但是又不能把ArrayList<T>改为ArrayList，否则虽然编译器通过，但会给出警告。

snippet 3:

 1 package com.cognizant.ch15; 2  3 import java.util.ArrayList; 4 import java.util.List; 5  6 public class FilledListMaker<T> { 7    List<T> create(T t, int n) { 8    List<T> result = new ArrayList<T>(); 9     for (int i = 0; i < n; i++) {10        result.add(t);11   }12     return result;13  }14 15  public static void main(String[] args) {16     FilledListMaker<String> stringMaker = new FilledListMaker<String>();17     List<String> list = stringMaker.create("hello", 6);18     System.out.println(list);19  }20 }21 22 output:[hello, hello, hello, hello, hello, hello]

 

编译器无法知道有关create中T的任何信息，但是他仍然可以在编译期确保放置到result中对象具有T类型。因此就有了一个现象：即使擦除在方法或类内部移除了实际类型的信息，编译器还是可以在方法或类的使用的类型的内部一致性。

那么就有一个问题：擦除后的不知道又到知道其具体类型，他是这么做到的呢？

答案是：擦除在方法体中移除了类型信息，所以在运行时的问题就是边界：即对象进入和离开方法的地点，这正是编译器在编译期执行类型检查并插入转型代码的地点。

泛型中的所有动作都发生在边界处：对传递进来的值进行额外的编译期检查，并插入 对传递出去的值的转型。

 由于不用进行强制转换类型了，所以具有较高的安全性和易用性。但泛型其实只是在编译器中实现的而虚拟机并不认识泛型类项，所以要在虚拟机中将泛型类型进行擦除。也就是说，在编译阶段使用泛型，运行阶段取消泛型，即擦除。

 这导致了一个问题：无法创建泛型数组。Java的泛型在编译时会擦除类型信息。Java中的数组是通过反射动态建立的。没有了类型信息怎么能构造出数组。