北京北大青鳥(niǎo)學(xué)校學(xué)術(shù)老師介紹：泛型的許多最佳例子都來(lái)自集合框架，因?yàn)榉盒妥尨蠹以诒４嬖诩现械脑厣现付?lèi)型約束�？紤]這個(gè)使用 Map 類(lèi)的例子，其中涉及一定程度的優(yōu)化，即 Map.get() 返回的結(jié)果將確實(shí)是一個(gè) String：（北大青鳥(niǎo)課程）
Map m = new HashMap();
m.put("key", "blarg");
String s = (String) m.get("key");
北京北大青鳥(niǎo)學(xué)校學(xué)術(shù)老師介紹：如果有人已經(jīng)在映射中放置了不是 String 的其他東西，上面的代碼將會(huì)拋出 ClassCastException。泛型允許您表達(dá)這樣的類(lèi)型約束，即 m 是一個(gè)將 String 鍵映射到 String 值的 Map。這可以消除代碼中的強(qiáng)制類(lèi)型轉(zhuǎn)換，同時(shí)獲得一個(gè)附加的類(lèi)型檢查層，這個(gè)檢查層可以防止有人將錯(cuò)誤類(lèi)型的鍵或值保存在集合中。（北大青鳥(niǎo)課程）
下面的代碼示例展示了 JDK 5.0 中集合框架中的 Map 接口的定義的一部分：
public interface Map<K, V> {
public void put(K key, V value);
public V get(K key);
}（北大青鳥(niǎo)課程）
注意該接口的兩個(gè)附加物：
類(lèi)型參數(shù) K 和 V 在類(lèi)級(jí)別的規(guī)格說(shuō)明，表示在聲明一個(gè) Map 類(lèi)型的變量時(shí)指定的類(lèi)型的占位符。
在 get()、put() 和其他方法的方法簽名中使用的 K 和 V。
為了贏得使用泛型的好處，必須在定義或?qū)嵗?Map 類(lèi)型的變量時(shí)為 K 和 V 提供具體的值。以一種相對(duì)直觀的方式做這件事：
Map<String, String> m = new HashMap<String, String>();
m.put("key", "blarg");
String s = m.get("key");（北大青鳥(niǎo)課程）
當(dāng)使用 Map 的泛型化版本時(shí)，您不再需要將 Map.get() 的結(jié)果強(qiáng)制類(lèi)型轉(zhuǎn)換為 String，因?yàn)榫幾g器知道 get() 將返回一個(gè) String。
北京北大青鳥(niǎo)學(xué)校學(xué)術(shù)老師提出，在使用泛型的版本中并沒(méi)有減少鍵盤(pán)錄入；實(shí)際上，比使用強(qiáng)制類(lèi)型轉(zhuǎn)換的版本需要做更多鍵入。使用泛型只是帶來(lái)了附加的類(lèi)型安全。因?yàn)榫幾g器知道關(guān)于您將放進(jìn) Map 中的鍵和值的類(lèi)型的更多信息，所以類(lèi)型檢查從執(zhí)行時(shí)挪到了編譯時(shí)，這會(huì)提高可靠性并加快開(kāi)發(fā)速度。（北大青鳥(niǎo)課程）
向后兼容
在 Java 語(yǔ)言中引入泛型的一個(gè)重要目標(biāo)就是維護(hù)向后兼容。盡管 JDK 5.0 的標(biāo)準(zhǔn)類(lèi)庫(kù)中的許多類(lèi)，比如集合框架，都已經(jīng)泛型化了，但是使用集合類(lèi)（比如 HashMap 和 ArrayList）的現(xiàn)有代碼將繼續(xù)不加修改地在 JDK 5.0 中工作。當(dāng)然，沒(méi)有利用泛型的現(xiàn)有代碼將不會(huì)贏得泛型的類(lèi)型安全好處。（北京北大青鳥(niǎo)學(xué)校編輯，未完待續(xù)）
