北京北大青鳥學校講解Java泛型之：什么是泛型（一）

北京北大青鳥學校學術部老師講解：在之后的幾篇文章中，我們將陸續為大家講解一些關于Java泛型的內容。今天，北京北大青鳥學校丁老師先給大家講解一下泛型的基礎知識：什么是泛型？
 
北京北大青鳥學校丁老師：泛型（Generic type 或者 generics）是對 Java 語言的類型系統的一種擴展，以支持創建可以按類型進行參數化的類。可以把類型參數看作是使用參數化類型時指定的類型的一個占位符，就像方法的形式參數是運行時傳遞的值的占位符一樣。

可以在集合框架（Collection framework）中看到泛型的動機。例如，Map 類允許您向一個 Map 添加任意類的對象，即使最常見的情況是在給定映射（map）中保存某個特定類型（比如 String）的對象。

因為 Map.get() 被定義為返回 Object，所以一般必須將 Map.get() 的結果強制類型轉換為期望的類型，如下面的代碼所示：
Map m = new HashMap();
m.put("key", "blarg");
String s = (String) m.get("key");

北京北大青鳥學校提示：要讓程序通過編譯，必須將 get() 的結果強制類型轉換為 String，并且希望結果真的是一個 String。但是有可能某人已經在該映射中保存了不是 String 的東西，這樣的話，上面的代碼將會拋出 ClassCastException。

理想情況下，您可能會得出這樣一個觀點，即 m 是一個 Map，它將 String 鍵映射到 String 值。這可以讓您消除代碼中的強制類型轉換，同時獲得一個附加的類型檢查層，該檢查層可以防止有人將錯誤類型的鍵或值保存在集合中。這就是泛型所做的工作。
（北京北大青鳥學校提供，未完待續）