可以在集合框架（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值。這可以讓您消除代碼中的強制類型轉換，同時獲得一個附加的類型檢查層，該檢查層可以防止有人將錯誤類型的鍵或值保存在集合中。這就是泛型所做的工作。
泛型的好處
Java 語言中引入泛型是一個較大的功能增強。不僅語言、類型系統和編譯器有了較大的變化，以支持泛型，而且類庫也進行了大翻修，所以許多重要的類，比如集合框架，都已經成爲泛型化的了。這帶來了很多好處：
· 類型安全。泛型的主要目標是提高 Java 程序的類型安全。通過知道使用泛型定義的變量的類型限制，編譯器可以在一個高得多的程度上驗證類型假設。沒有泛型，這些假設就只存在於程序員的頭腦中（或者如果幸運的話，還存在於代碼註釋中）。
Java 程序中的一種流行技術是定義這樣的集合，即它的元素或鍵是公共類型的，比如“String列表”或者“String到String的映射”。通過在變量聲明中捕獲這一附加的類型信息，泛型允許編譯器實施這些附加的類型約束。類型錯誤現在就可以在編譯時被捕獲了，而不是在運行時當作ClassCastException展示出來。將類型檢查從運行時挪到編譯時有助於您更容易找到錯誤，並可提高程序的可靠性。
· 消除強制類型轉換。泛型的一個附帶好處是，消除源代碼中的許多強制類型轉換。這使得代碼更加可讀，並且減少了出錯機會。 儘管減少強制類型轉換可以降低使用泛型類的代碼的羅嗦程度，但是聲明泛型變量會帶來相應的羅嗦。比較下面兩個代碼例子。
該代碼不使用泛型：
List li = new ArrayList();
li.put(new Integer(3));
Integer i = (Integer) li.get(0);
該代碼使用泛型：
List<Integer> li = new ArrayList<Integer>();
li.put(new Integer(3));
Integer i = li.get(0);
在簡單的程序中使用一次泛型變量不會降低羅嗦程度。但是對於多次使用泛型變量的大型程序來說，則可以累積起來降低羅嗦程度。
· 潛在的性能收益。泛型爲較大的優化帶來可能。在泛型的初始實現中，編譯器將強制類型轉換（沒有泛型的話，程序員會指定這些強制類型轉換）插入生成的字節碼中。但是更多類型信息可用於編譯器這一事實，爲未來版本的JVM 的優化帶來可能。
由於泛型的實現方式，支持泛型（幾乎）不需要JVM 或類文件更改。所有工作都在編譯器中完成，編譯器生成類似於沒有泛型（和強制類型轉換）時所寫的代碼，只是更能確保類型安全而已。
泛型用法的例子
泛型的許多最佳例子都來自集合框架，因爲泛型讓您在保存在集合中的元素上指定類型約束。考慮這個使用Map類的例子，其中涉及一定程度的優化，即Map.get()返回的結果將確實是一個String：
Map m = new HashMap();
m.put("key", "blarg");
String s = (String) m.get("key");
如果有人已經在映射中放置了不是String的其他東西，上面的代碼將會拋出ClassCastException。泛型允許您表達這樣的類型約束，即m是一個將String鍵映射到String值的Map。這可以消除代碼中的強制類型轉換，同時獲得一個附加的類型檢查層，這個檢查層可以防止有人將錯誤類型的鍵或值保存在集合中。
下面的代碼示例展示了 JDK 5.0 中集合框架中的Map接口的定義的一部分：
public interface Map<K, V> {
public void put(K key, V value);
public V get(K key);
}
注意該接口的兩個附加物：
* 類型參數 K 和 V 在類級別的規格說明，表示在聲明一個 Map 類型的變量時指定的類型的佔位符。
* 在 get()、put() 和其他方法的方法簽名中使用的 K 和 V。
爲了贏得使用泛型的好處，必須在定義或實例化Map類型的變量時爲K和V提供具體的值。以一種相對直觀的方式做這件事：
Map<String, String> m = new HashMap<String, String>();
m.put("key", "blarg");
String s = m.get("key");
當使用Map的泛型化版本時，您不再需要將Map.get()的結果強制類型轉換爲String，因爲編譯器知道get()將返回一個String。
在使用泛型的版本中並沒有減少鍵盤錄入；實際上，比使用強制類型轉換的版本需要做更多鍵入。使用泛型只是帶來了附加的類型安全。因爲編譯器知道關於您將放進Map中的鍵和值的類型的更多信息，所以類型檢查從執行時挪到了編譯時，這會提高可靠性並加快開發速度。
向後兼容
在 Java 語言中引入泛型的一個重要目標就是維護向後兼容。儘管 JDK 5.0 的標準類庫中的許多類，比如集合框架，都已經泛型化了，但是使用集合類（比如HashMap和ArrayList）的現有代碼將繼續不加修改地在 JDK 5.0 中工作。當然，沒有利用泛型的現有代碼將不會贏得泛型的類型安全好處。
類型參數
在定義泛型類或聲明泛型類的變量時，使用尖括號來指定形式類型參數。形式類型參數與實際類型參數之間的關係類似於形式方法參數與實際方法參數之間的關係，只是類型參數表示類型，而不是表示值。
泛型類中的類型參數幾乎可以用於任何可以使用類名的地方。例如，下面是java.util.Map接口的定義的摘錄：
public interface Map<K, V> {
public void put(K key, V value);
public V get(K key);
}
Map接口是由兩個類型參數化的，這兩個類型是鍵類型K和值類型V。（不使用泛型）將會接受或返回Object的方法現在在它們的方法簽名中使用K或V，指示附加的類型約束位於Map的規格說明之下。
當聲明或者實例化一個泛型的對象時，必須指定類型參數的值：
Map<String, String> map = new HashMap<String, String>();
注意，在本例中，必須指定兩次類型參數。一次是在聲明變量map的類型時，另一次是在選擇HashMap類的參數化以便可以實例化正確類型的一個實例時。
編譯器在遇到一個Map<String, String>類型的變量時，知道K和V現在被綁定爲String，因此它知道在這樣的變量上調用Map.get()將會得到String類型。
除了異常類型、枚舉或匿名內部類以外，任何類都可以具有類型參數。
命名類型參數
推薦的命名約定是使用大寫的單個字母名稱作爲類型參數。這與C++ 約定有所不同（參閱附錄 A：與 C++ 模板的比較），並反映了大多數泛型類將具有少量類型參數的假定。對於常見的泛型模式，推薦的名稱是：
* K —— 鍵，比如映射的鍵。
* V —— 值，比如 List 和 Set 的內容，或者 Map 中的值。
* E —— 異常類。
* T —— 泛型。
泛型不是協變的
關於泛型的混淆，一個常見的來源就是假設它們像數組一樣是協變的。其實它們不是協變的。List<Object>不是List<String>的父類型。雖然object是string的父類
如果 A 擴展 B，那麼 A 的數組也是 B 的數組，並且完全可以在需要B[]的地方使用A[]：
Integer[] intArray = new Integer[10];
Number[] numberArray = intArray;
上面的代碼是有效的，因爲一個Integer是一個Number，因而一個Integer數組是一個Number數組。但是對於泛型來說則不然。下面的代碼是無效的：
List<Integer> intList = new ArrayList<Integer>();
List<Number> numberList = intList; // 無效的
最初，大多數 Java 程序員覺得這缺少協變很煩人，或者甚至是“壞的（broken）”，但是之所以這樣有一個很好的原因。如果可以將List<Integer>賦給List<Number>，下面的代碼就會違背泛型應該提供的類型安全：
List<Integer> intList = new ArrayList<Integer>();
List<Number> numberList = intList; // invalid
numberList.add(new Float(3.1415));
因爲intList和numberList都是有別名的，如果允許的話，上面的代碼就會讓您將不是Integers的東西放進intList中。但是，正如下一屏將會看到的，您有一個更加靈活的方式來定義泛型。
List<Integer> list = new ArrayList<Integer>();
List<Number> listObj = list;導致編譯錯誤：Type mismatch: cannot convert from List<Integer> to List<Number>
而System.out.println(number[0]);和System.out.println(integer[0]);導致運行時異常：
Exception in thread "main" java.lang.ArrayStoreException: java.lang.Float
at com.ibm.course.generics.GenericsExample.main(GenericsExample.java:15)
類型通配符
假設您具有該方法：
void printList(List l) {
for (Object o : l)
System.out.println(o);
}
上面的代碼在 JDK 5.0 上編譯通過，但是如果試圖用List<Integer>調用它，則會得到警告。出現警告是因爲，您將泛型（List<Integer>）傳遞給一個只承諾將它當作List（所謂的原始類型）的方法，這將破壞使用泛型的類型安全。
如果試圖編寫像下面這樣的方法，那麼將會怎麼樣？
void printList(List<Object> l) {
for (Object o : l)
System.out.println(o);
}
它仍然不會通過編譯，因爲一個List<Integer>不是一個List<Object>（正如前一屏泛型不是協變的 中所學的）。這才真正煩人——現在您的泛型版本還沒有普通的非泛型版本有用！
解決方案是使用類型通配符：
void printList(List<?> l) {
for (Object o : l)
System.out.println(o);
}
上面代碼中的問號是一個類型通配符。它讀作“問號”。List<?>是任何泛型List的父類型，所以您完全可以將List<Object>、List<Integer>或List<List<List<Flutzpah>>>傳遞給printList()。
package com.ibm.course.generics;
import java.util.ArrayList;
import java.util.List;
public class GenericExample {
public static void main(String[] args) {
List<Integer> integer = new ArrayList<Integer>();
integer.add(new Integer(0));
integer.add(new Integer(1));
List<String> str = new ArrayList<String>();
str.add(new String("Hello"));
str.add(new String("World"));
List<?> li=integer;
li=str;
printList(integer);
printList(str);
}
public static void printList(List<?> l) {
for (Object o : l) {
System.out.println(o);
}
}
}
上面的例子程序沒有警告也沒有編譯錯誤。
類型通配符的作用
前一屏類型通配符 中引入了類型通配符，這讓您可以聲明List<?>類型的變量。您可以對這樣的List做什麼呢？非常方便，可以從中檢索元素，但是不能添加元素（可以添加null）。原因不是編譯器知道哪些方法修改列表哪些方法不修改列表，而是（大多數）變化的方法比不變化的方法需要更多的類型信息。下面的代碼則工作得很好：
List<Integer> li = new ArrayList<Integer>();
li.add(new Integer(42));
List<?> lu = li;
System.out.println(lu.get(0));
爲什麼該代碼能工作呢？對於lu，編譯器一點都不知道List的類型參數的值。但是編譯器比較聰明，它可以做一些類型推理。在本例中，它推斷未知的類型參數必須擴展Object。（這個特定的推理沒有太大的跳躍，但是編譯器可以作出一些非常令人佩服的類型推理，後面就會看到（在底層細節 一節中）。所以它讓您調用List.get()並推斷返回類型爲Object。
另一方面，下面的代碼不能工作：
List<Integer> li = new ArrayList<Integer>();
li.add(new Integer(42));
List<?> lu = li;
lu.add(new Integer(43)); // error
在本例中，對於lu，編譯器不能對List的類型參數作出足夠嚴密的推理，以確定將Integer傳遞給List.add()是類型安全的。所以編譯器將不允許您這麼做。
以免您仍然認爲編譯器知道哪些方法更改列表的內容哪些不更改列表內容，請注意下面的代碼將能工作，因爲它不依賴於編譯器必須知道關於lu的類型參數的任何信息：
List<Integer> li = new ArrayList<Integer>();
li.add(new Integer(42));
List<?> lu = li;
lu.clear();
泛型方法
（在類型參數 一節中）您已經看到，通過在類的定義中添加一個形式類型參數列表，可以將類泛型化。方法也可以被泛型化，不管它們定義在其中的類是不是泛型化的。
泛型類在多個方法簽名間實施類型約束。在List<V>中，類型參數V出現在get()、add()、contains()等方法的簽名中。當創建一個Map<K, V>類型的變量時，您就在方法之間宣稱一個類型約束。您傳遞給add()的值將與get()返回的值的類型相同。
類似地，之所以聲明泛型方法，一般是因爲您想要在該方法的多個參數之間宣稱一個類型約束。例如，下面代碼中的ifThenElse()方法，根據它的第一個參數的布爾值，它將返回第二個或第三個參數：
public <T> T ifThenElse(boolean b, T first, T second) {
return b ? first : second;
}
注意，您可以調用ifThenElse()，而不用顯式地告訴編譯器，您想要T的什麼值。編譯器不必顯式地被告知 T 將具有什麼值；它只知道這些值都必須相同。編譯器允許您調用下面的代碼，因爲編譯器可以使用類型推理來推斷出，替代T的String滿足所有的類型約束：
String s = ifThenElse(b, "a", "b");
類似地，您可以調用：
Integer i = ifThenElse(b, new Integer(1), new Integer(2));
但是，編譯器不允許下面的代碼，因爲沒有類型會滿足所需的類型約束：
String s = ifThenElse(b, "pi", new Float(3.14));
* 當泛型方法是靜態的時，這種情況下不能使用類類型參數。
* 當 T 上的類型約束對於方法真正是局部的時，這意味着沒有在相同類的另一個 方法簽名中使用相同 類型 T 的約束。通過使得泛型方法的類型參數對於方法是局部的，可以簡化封閉類型的簽名。
有限制類型
在前一屏泛型方法 的例子中，類型參數V是無約束的或無限制的類型。有時在還沒有完全指定類型參數時，需要對類型參數指定附加的約束。
考慮例子Matrix類，它使用類型參數V，該參數由Number類來限制：
public class Matrix<V extends Number> { ... }
編譯器允許您創建Matrix<Integer>或Matrix<Float>類型的變量，但是如果您試圖定義Matrix<String>類型的變量，則會出現錯誤。類型參數V被判斷爲由Number限制。在沒有類型限制時，假設類型參數由Object限制。這就是爲什麼前一屏泛型方法 中的例子，允許List.get()在List<?>上調用時返回Object，即使編譯器不知道類型參數V的類型。
通俗講，好處就是你調用接口的時候如果方法返回List
你能立馬知道List裏是什麼對象
此外，在引入範型之前，要在類中的方法支持多個數據類型，就需要對方法進行重載，在引入範型後，可以解決此問題
（多態），更進一步可以定義多個參數以及返回值之間的關係。
此外，在引入範型之前，要在類中的方法支持多個數據類型，就需要對方法進行重載，在引入範型後，可以解決此問題
（多態），更進一步可以定義多個參數以及返回值之間的關係。