泛型的限制
要有效地使用Java泛型，必須考慮以下限制：
無法使用基元類型實例化泛型類型
無法創(chuàng)建類型參數(shù)的實例
無法聲明類型為類型參數(shù)的靜態(tài)字段
無法對參數(shù)化類型使用強制類型轉(zhuǎn)換或instanceof
無法創(chuàng)建參數(shù)化類型的數(shù)組
無法創(chuàng)建、捕獲或拋出參數(shù)化類型的對象
無法重載將每個重載的形式參數(shù)類型擦除為相同原始類型的方法
無法使用基元類型實例化泛型類型
考慮以下參數(shù)化類型：
class Pair {
private K key;
private V value;
public Pair(K key, V value) {
this.key = key;
this.value = value;
}
// ...
}
創(chuàng)建Pair對象時，不能將基本類型替換為類型參數(shù)K或V：
Pair p = new Pair<>(8, "a"); // compile-time error
你只能將非基本類型替換為類型參數(shù)K和V：
Pair p = new Pair<>(8, "a");
請注意，Java編譯器將8自動裝箱到Integer.valueOf(8)，將"a"自動裝箱到Character("a")：
Pair p = new Pair<>(Integer.valueOf(8), new Character("a"));
有關(guān)自動裝箱的詳細信息，請參閱自動裝箱和拆箱。
無法創(chuàng)建類型參數(shù)的實例
你無法創(chuàng)建類型參數(shù)的實例，例如，以下代碼導(dǎo)致編譯時錯誤：
public static void append(List list) {
E elem = new E(); // compile-time error
list.add(elem);
}
作為解決方法，你可以通過反射創(chuàng)建類型參數(shù)的對象：
public static void append(List list, Class cls) throws Exception {
E elem = cls.newInstance(); // OK
list.add(elem);
}
你可以按如下方式調(diào)用append方法：
List ls = new ArrayList<>();
append(ls, String.class);
無法聲明類型為類型參數(shù)的靜態(tài)字段
類的靜態(tài)字段是類的所有非靜態(tài)對象共享的類級變量，因此，類型參數(shù)的靜態(tài)字段是不允許的，考慮以下類：
public class MobileDevice {
private static T os;
// ...
}
如果允許類型參數(shù)的靜態(tài)字段，則以下代碼將混淆：
MobileDevice phone = new MobileDevice<>();
MobileDevice pager = new MobileDevice<>();
MobileDevice pc = new MobileDevice<>();
因為靜態(tài)字段os是由phone、pager和pc共享的，所以os的實際類型是什么？它不能同時是Smartphone、Pager和TabletPC，因此，你無法創(chuàng)建類型參數(shù)的靜態(tài)字段。
無法對參數(shù)化類型使用強制類型轉(zhuǎn)換或instanceof
因為Java編譯器會擦除泛型代碼中的所有類型參數(shù)，所以無法驗證在運行時使用泛型類型的參數(shù)化類型：
public static void rtti(List list) {
if (list instanceof ArrayList) { // compile-time error
// ...
}
}
傳遞給rtti方法的參數(shù)化類型集是：
S = { ArrayList, ArrayList LinkedList, ... }
運行時不跟蹤類型參數(shù)，因此它無法區(qū)分ArrayList和ArrayList之間的區(qū)別，你可以做的最多是使用無界通配符來驗證列表是否為ArrayList：
public static void rtti(List list) {
if (list instanceof ArrayList) { // OK; instanceof requires a reifiable type
// ...
}
}
通常，除非通過無界通配符對其進行參數(shù)化，否則無法強制轉(zhuǎn)換為參數(shù)化類型，例如：
List li = new ArrayList<>();
List ln = (List) li; // compile-time error
但是，在某些情況下，編譯器知道類型參數(shù)始終有效并允許強制轉(zhuǎn)換，例如：
List l1 = ...;
ArrayList l2 = (ArrayList)l1; // OK
無法創(chuàng)建參數(shù)化類型的數(shù)組
你無法創(chuàng)建參數(shù)化類型的數(shù)組，例如，以下代碼無法編譯：
List[] arrayOfLists = new List[2]; // compile-time error
以下代碼說明了將不同類型插入到數(shù)組中時會發(fā)生什么：
Object[] strings = new String[2];
strings[0] = "hi"; // OK
strings[1] = 100; // An ArrayStoreException is thrown.
如果你使用泛型列表嘗試相同的操作，則會出現(xiàn)問題：
Object[] stringLists = new List[]; // compiler error, but pretend it"s allowed
stringLists[0] = new ArrayList(); // OK
stringLists[1] = new ArrayList(); // An ArrayStoreException should be thrown,
// but the runtime can"t detect it.
如果允許參數(shù)化列表數(shù)組，則前面的代碼將無法拋出所需的ArrayStoreException。
無法創(chuàng)建、捕獲或拋出參數(shù)化類型的對象
泛型類不能直接或間接擴展Throwable類，例如，以下類將無法編譯：
// Extends Throwable indirectly
class MathException extends Exception { /* ... */ } // compile-time error
// Extends Throwable directly
class QueueFullException extends Throwable { /* ... */ // compile-time error
方法無法捕獲類型參數(shù)的實例：
public static void execute(List jobs) {
try {
for (J job : jobs)
// ...
} catch (T e) { // compile-time error
// ...
}
}
但是，你可以在throws子句中使用類型參數(shù)：
class Parser {
public void parse(File file) throws T { // OK
// ...
}
}
無法重載將每個重載的形式參數(shù)類型擦除為相同原始類型的方法
一個類不能有兩個在類型擦除后具有相同的簽名的重載方法。
public class Example {
public void print(Set strSet) { }
public void print(Set intSet) { }
}
重載將共享相同的類文件表示，并將生成編譯時錯誤。
上一篇：類型擦除
下一篇：創(chuàng)建和使用包
文章版權(quán)歸作者所有，未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為，您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請注明本文地址：http://m.specialneedsforspecialkids.com/yun/72952.html
