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