java 泛型的殘酷現(xiàn)實(shí)就是：

在泛型代碼內(nèi)部，無法獲得任何有關(guān)泛型參數(shù)類型的信息。

在使用泛型時(shí)，任何具體的類型都被擦除，唯一知道的是你在使用一個(gè)對(duì)象。比如：List<String>和List<Integer>在運(yùn)行事實(shí)上是相同的類型。他們都被擦除成他們的原生類型，即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實(shí)際上將被存儲(chǔ)為了Class，非String.calss。在創(chuàng)建數(shù)組的時(shí)候，Array.newInstance()實(shí)際上并沒有擁有kind所含的類型信息，因此就不會(huì)產(chǎn)生具體的結(jié)果。

如果要?jiǎng)?chuàng)建一個(gè)容器而不是數(shù)組，情況卻有點(diǎn)不同：

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()內(nèi)部的new ArrayList<T>中的<T>被擦除了，在運(yùn)行時(shí)，這個(gè)類的內(nèi)部沒有任何<T>，但是又不能把ArrayList<T>改為ArrayList，否則雖然編譯器通過，但會(huì)給出警告。

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]

編譯器無法知道有關(guān)create中T的任何信息，但是他仍然可以在編譯期確保放置到result中對(duì)象具有T類型。因此就有了一個(gè)現(xiàn)象：即使擦除在方法或類內(nèi)部移除了實(shí)際類型的信息，編譯器還是可以在方法或類的使用的類型的內(nèi)部一致性。

那么就有一個(gè)問題：擦除后的不知道又到知道其具體類型，他是這么做到的呢？

答案是：擦除在方法體中移除了類型信息，所以在運(yùn)行時(shí)的問題就是邊界：即對(duì)象進(jìn)入和離開方法的地點(diǎn)，這正是編譯器在編譯期執(zhí)行類型檢查并插入轉(zhuǎn)型代碼的地點(diǎn)。

泛型中的所有動(dòng)作都發(fā)生在邊界處：對(duì)傳遞進(jìn)來的值進(jìn)行額外的編譯期檢查，并插入 對(duì)傳遞出去的值的轉(zhuǎn)型。