java泛型--擦除问题

java 泛型的残酷现实就是：

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

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

snippet 1:

package com.cognizant.ch15;

import java.lang.reflect.Array;
import java.util.Arrays;

public class ArrayMaker {
    private Class kind;

    public ArrayMaker(Class kind) {
       this.kind = kind;
 }

 @SuppressWarnings("unckecked")
   T[] create(int size) {
       return (T[]) Array.newInstance(kind, size);
 }

  public static void main(String[] args) {
      ArrayMaker stringMaker = new ArrayMaker(String.class);
      String[] stringArray = stringMaker.create(10);
      System.out.println(Arrays.toString(stringArray));
 }
}
ouput:[null, null, null, null, null, null, null, null, null, null]

 

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

 

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

snippet 2:

public class ListMaker{

   List create(){

      return new ArrayList();

}

  public static void main(String[] args){

      ListMaker stringMaker=new ListMaker();

      List stringList=stringMaker.create();

}

 

}

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

 

snippet 3:

package com.cognizant.ch15;

import java.util.ArrayList;
import java.util.List;

public class FilledListMaker {
   List create(T t, int n) {
   List result = new ArrayList();
    for (int i = 0; i < n; i++) {
       result.add(t);
  }
    return result;
 }

 public static void main(String[] args) {
    FilledListMaker stringMaker = new FilledListMaker();
    List list = stringMaker.create("hello", 6);
    System.out.println(list);
 }
}

 

output:[hello, hello, hello, hello, hello, hello]

 

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

 

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

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

 

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