泛型是1.5中引入的一個新的概念,由于 不用進行強制轉換類型了,所以具有較高的安全性和易用性。因為泛型其實只是在編譯器中實現的而虛擬機并不認識泛型類項,所以要在虛擬機中將泛型類型進行擦除。也就是說,在編譯階段使用泛型,運行階段取消泛型,即擦除。
擦除是將泛型類型以其父類代替,如String 變成了Object等。其實在使用的時候還是進行帶強制類型的轉化,只不過這是比較安全的轉換,因為在編譯階段已經確保了數據的一致性。
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類型。因此就有了一個現象:即使擦除在方法或類內部移除了實際類型的信息,編譯器還是可以在方法或類的使用的類型的內部一致性。
那么就有一個問題:擦除后的不知道又到知道其具體類型,他是這么做到的呢?
答案是:擦除在方法體中移除了類型信息,所以在運行時的問題就是邊界:即對象進入和離開方法的地點,這正是編譯器在編譯期執行類型檢查并插入轉型代碼的地點。
泛型中的所有動作都發生在邊界處:對傳遞進來的值進行額外的編譯期檢查,并插入 對傳遞出去的值的轉型。
由于不用進行強制轉換類型了,所以具有較高的安全性和易用性。但泛型其實只是在編譯器中實現的而虛擬機并不認識泛型類項,所以要在虛擬機中將泛型類型進行擦除。也就是說,在編譯階段使用泛型,運行階段取消泛型,即擦除。
這導致了一個問題:無法創建泛型數組。
Java的泛型在編譯時會擦除類型信息。Java中的數組是通過反射動態建立的。沒有了類型信息怎么能構造出數組。