java 泛型的殘酷現實(shí)就是：
在泛型代碼內部，無(wú)法獲得任何有關(guān)泛型參數類(lèi)型的信息。
在使用泛型時(shí)，任何具體的類(lèi)型都被擦除，唯一知道的是你在使用一個(gè)對象。比如：List<String>和List<Integer>在運行事實(shí)上是相同的類(lèi)型。他們都被擦除成他們的原生類(lèi)型，即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í)際上將被存儲為了Class，非String.calss。在創(chuàng )建數組的時(shí)候，Array.newInstance()實(shí)際上并沒(méi)有擁有kind所含的類(lèi)型信息，因此就不會(huì )產(chǎn)生具體的結果。
如果要創(chuàng )建一個(gè)容器而不是數組，情況卻有點(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()內部的new ArrayList<T>中的<T>被擦除了，在運行時(shí)，這個(gè)類(lèi)的內部沒(méi)有任何<T>，但是又不能把ArrayList<T>改為ArrayList，否則雖然編譯器通過(guò)，但會(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]
編譯器無(wú)法知道有關(guān)create中T的任何信息，但是他仍然可以在編譯期確保放置到result中對象具有T類(lèi)型。因此就有了一個(gè)現象：即使擦除在方法或類(lèi)內部移除了實(shí)際類(lèi)型的信息，編譯器還是可以在方法或類(lèi)的使用的類(lèi)型的內部一致性。
那么就有一個(gè)問(wèn)題：擦除后的不知道又到知道其具體類(lèi)型，他是這么做到的呢？
答案是：擦除在方法體中移除了類(lèi)型信息，所以在運行時(shí)的問(wèn)題就是邊界：即對象進(jìn)入和離開(kāi)方法的地點(diǎn)，這正是編譯器在編譯期執行類(lèi)型檢查并插入轉型代碼的地點(diǎn)。
泛型中的所有動(dòng)作都發(fā)生在邊界處：對傳遞進(jìn)來(lái)的值進(jìn)行額外的編譯期檢查，并插入 對傳遞出去的值的轉型。
聯(lián)系客服
