北京北大青鳥(niǎo)學(xué)校學(xué)術(shù)部今年將繼續(xù)講解關(guān)于Java泛型的一些技術(shù)知識(shí)，關(guān)于Java泛型的定義、相關(guān)例子等請(qǐng)參考之前的兩篇文章，在這里就不做陳述了。
類(lèi)型參數(shù)
北京北大青鳥(niǎo)學(xué)校講師介紹：在定義泛型類(lèi)或聲明泛型類(lèi)的變量時(shí)，使用尖括號(hào)來(lái)指定形式類(lèi)型參數(shù)。形式類(lèi)型參數(shù)與實(shí)際類(lèi)型參數(shù)之間的關(guān)系類(lèi)似于形式方法參數(shù)與實(shí)際方法參數(shù)之間的關(guān)系，只是類(lèi)型參數(shù)表示類(lèi)型，而不是表示值。
泛型類(lèi)中的類(lèi)型參數(shù)幾乎可以用于任何可以使用類(lèi)名的地方。例如，下面是 java.util.Map 接口的定義的摘錄：（北大青鳥(niǎo)課程）
public interface Map<K, V> {
public void put(K key, V value);
public V get(K key);
}
Map 接口是由兩個(gè)類(lèi)型參數(shù)化的，這兩個(gè)類(lèi)型是鍵類(lèi)型 K 和值類(lèi)型 V。（不使用泛型）將會(huì)接受或返回 Object 的方法現(xiàn)在在它們的方法簽名中使用 K 或 V，指示附加的類(lèi)型約束位于 Map 的規(guī)格說(shuō)明之下。
當(dāng)聲明或者實(shí)例化一個(gè)泛型的對(duì)象時(shí)，必須指定類(lèi)型參數(shù)的值：（北大青鳥(niǎo)課程）
Map<String, String> map = new HashMap<String, String>();
北京北大青鳥(niǎo)學(xué)校講師提醒，在本例中，必須指定兩次類(lèi)型參數(shù)。一次是在聲明變量 map 的類(lèi)型時(shí)，另一次是在選擇 HashMap 類(lèi)的參數(shù)化以便可以實(shí)例化正確類(lèi)型的一個(gè)實(shí)例時(shí)。
編譯器在遇到一個(gè) Map<String, String> 類(lèi)型的變量時(shí)，知道 K 和 V 現(xiàn)在被綁定為 String，因此它知道在這樣的變量上調(diào)用 Map.get() 將會(huì)得到 String 類(lèi)型。（北大青鳥(niǎo)課程）
除了異常類(lèi)型、枚舉或匿名內(nèi)部類(lèi)以外，任何類(lèi)都可以具有類(lèi)型參數(shù)。
命名類(lèi)型參數(shù)
北京北大青鳥(niǎo)學(xué)校講師介紹：推薦的命名約定是使用大寫(xiě)的單個(gè)字母名稱(chēng)作為類(lèi)型參數(shù)。這與 C++ 約定有所不同（參閱 附錄 A：與 C++ 模板的比較），并反映了大多數(shù)泛型類(lèi)將具有少量類(lèi)型參數(shù)的假定。對(duì)于常見(jiàn)的泛型模式，推薦的名稱(chēng)是：
K —— 鍵，比如映射的鍵。
V —— 值，比如 List 和 Set 的內(nèi)容，或者 Map 中的值。
E —— 異常類(lèi)。
T —— 泛型。
泛型不是協(xié)變的
關(guān)于泛型的混淆，一個(gè)常見(jiàn)的來(lái)源就是假設(shè)它們像數(shù)組一樣是協(xié)變的。其實(shí)它們不是協(xié)變的。List<Object> 不是 List<String> 的父類(lèi)型。（北大青鳥(niǎo)課程）
如果 A 擴(kuò)展 B，那么 A 的數(shù)組也是 B 的數(shù)組，并且完全可以在需要 B[] 的地方使用 A[]：
Integer[] intArray = new Integer[10];
Number[] numberArray = intArray;
上面的代碼是有效的，因?yàn)橐粋�(gè) Integer 是 一個(gè) Number，因而一個(gè) Integer 數(shù)組是 一個(gè) Number 數(shù)組。但是對(duì)于泛型來(lái)說(shuō)則不然。
下面的代碼是無(wú)效的：（北大青鳥(niǎo)課程）
List<Integer> intList = new ArrayList<Integer>();
List<Number> numberList = intList; // invalid
最初，大多數(shù) Java 程序員覺(jué)得這缺少協(xié)變很煩人，或者甚至是“壞的（broken）”，但是之所以這樣有一個(gè)很好的原因。如果可以將 List<Integer> 賦給 List<Number>，下面的代碼就會(huì)違背泛型應(yīng)該提供的類(lèi)型安全：
List<Integer> intList = new ArrayList<Integer>();
List<Number> numberList = intList; // invalid
numberList.add(new Float(3.1415));
因?yàn)?intList 和 numberList 都是有別名的，如果允許的話，上面的代碼就會(huì)讓您將不是 Integers 的東西放進(jìn) intList 中。但是，正如下一屏將會(huì)看到的，您有一個(gè)更加靈活的方式來(lái)定義泛型。（北大青鳥(niǎo)課程）
類(lèi)型通配符
北京北大青鳥(niǎo)學(xué)校講師介紹：假設(shè)您具有該方法：
void printList(List l) {
for (Object o : l)
System.out.println(o);
}
上面的代碼在 JDK 5.0 上編譯通過(guò)，但是如果試圖用 List<Integer> 調(diào)用它，則會(huì)得到警告。出現(xiàn)警告是因?yàn)椋鷮⒎盒停↙ist<Integer>）傳遞給一個(gè)只承諾將它當(dāng)作 List（所謂的原始類(lèi)型）的方法，這將破壞使用泛型的類(lèi)型安全。
如果試圖編寫(xiě)像下面這樣的方法，那么將會(huì)怎么樣？（北大青鳥(niǎo)課程）
void printList(List<Object> l) {
for (Object o : l)
System.out.println(o);
}
它仍然不會(huì)通過(guò)編譯，因?yàn)橐粋�(gè) List<Integer> 不是 一個(gè) List<Object>（正如前一屏 泛型不是協(xié)變的 中所學(xué)的）。這才真正煩人 —— 現(xiàn)在您的泛型版本還沒(méi)有普通的非泛型版本有用！（北大青鳥(niǎo)課程）
解決方案是使用類(lèi)型通配符：
void printList(List<?> l) {
for (Object o : l)
System.out.println(o);
}
上面代碼中的問(wèn)號(hào)是一個(gè)類(lèi)型通配符。它讀作“問(wèn)號(hào)”。List<?> 是任何泛型 List 的父類(lèi)型，所以您完全可以將 List<Object>、List<Integer> 或 List<List<List<Flutzpah>>> 傳遞給 printList()。
類(lèi)型通配符的作用
北京北大青鳥(niǎo)學(xué)校講師介紹：前一屏 類(lèi)型通配符 中引入了類(lèi)型通配符，這讓您可以聲明 List<?> 類(lèi)型的變量。您可以對(duì)這樣的 List 做什么呢？非常方便，可以從中檢索元素，但是不能添加元素。原因不是編譯器知道哪些方法修改列表哪些方法不修改列表，而是（大多數(shù)）變化的方法比不變化的方法需要更多的類(lèi)型信息。下面的代碼則工作得很好：
List<Integer> li = new ArrayList<Integer>();
li.add(new Integer(42));
List<?> lu = li;
System.out.println(lu.get(0));（北大青鳥(niǎo)課程）
為什么該代碼能工作呢？北京北大青鳥(niǎo)學(xué)校講師介紹：對(duì)于 lu，編譯器一點(diǎn)都不知道 List 的類(lèi)型參數(shù)的值。但是編譯器比較聰明，它可以做一些類(lèi)型推理。在本例中，它推斷未知的類(lèi)型參數(shù)必須擴(kuò)展 Object。（這個(gè)特定的推理沒(méi)有太大的跳躍，但是編譯器可以作出一些非常令人佩服的類(lèi)型推理，后面就會(huì)看到（在 底層細(xì)節(jié) 一節(jié)中）。所以它讓您調(diào)用 List.get() 并推斷返回類(lèi)型為 Object。
另一方面，下面的代碼不能工作：
List<Integer> li = new ArrayList<Integer>();
li.add(new Integer(42));
List<?> lu = li;
lu.add(new Integer(43)); // error
在本例中，對(duì)于 lu，編譯器不能對(duì) List 的類(lèi)型參數(shù)作出足夠嚴(yán)密的推理，以確定將 Integer 傳遞給 List.add() 是類(lèi)型安全的。所以編譯器將不允許您這么做。（北大青鳥(niǎo)課程）
北京北大青鳥(niǎo)學(xué)校講師提醒：以免您仍然認(rèn)為編譯器知道哪些方法更改列表的內(nèi)容哪些不更改列表內(nèi)容，請(qǐng)注意下面的代碼將能工作，因?yàn)樗灰蕾囉诰幾g器必須知道關(guān)于 lu 的類(lèi)型參數(shù)的任何信息：
List<Integer> li = new ArrayList<Integer>();
li.add(new Integer(42));
List<?> lu = li;
lu.clear();（北京北大青鳥(niǎo)學(xué)校，未完待續(xù)）
