java泛型--擦除问题

java 泛型的残酷现实就是：

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

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

snippet 1:

package com.cognizant.ch15;

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

public class ArrayMaker<T> {
    private Class<T> kind;

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

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

  public static void main(String[] args) {
      ArrayMaker<String> stringMaker = new ArrayMaker<String>(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<T>{

   List<T> create(){

      return new ArrayList<T>();

}

  public static void main(String[] args){

      ListMaker<String> stringMaker=new ListMaker<String>();

      List<String> stringList=stringMaker.create();

}

}

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

snippet 3:

package com.cognizant.ch15;

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

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

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

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

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

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

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

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