用途

資料結構型別的引數化

產生根源

例如在使用集合框架的時候，Vector裡可以新增各種型別，
v.add(new Person("tom",20))
Person p = (Person)v.elementAt(0)
如此使用，到處都需要強制轉換。如果出現異常只能在執行時才會丟擲。

集合中的泛型

例如Vector<String> v = new Vector<String>(); 
這裡的<String>是實際型別引數，限定了v中新增的都是String.

泛型類

例如：
Person<T>{
private T secret;
}
可以衍生出不同的型別。例如
Person o = Person<Object>();
Person s = Person<String>();
但他們之間並不存在繼承關係。
MAP中常用K V。LIST中用E 代表元素。泛型類中用T

泛型方法

例如為了限定某個方法的兩個引數型別一致，可以用：
public <T> T evaluate(T a,T b)
也可以將T定義在泛型類中。

萬用字元

例如現在寫一個方法，來遍歷一些不同型別的泛型例項，
public overview(Vector<String> v)
如果將實際型別引數加入，則不能通用。
public overview(Vector v)
去掉實際型別引數，是一種方法。這種情況，在方法體里加入 
v.add(new String("aaa"))
v.add(new Integer(5))
都不會出錯，可能在執行時會產生錯誤，這就破壞了型別安全性限制，使泛型的限制

並沒有在編譯時發現錯誤。


引入萬用字元，public overview(Vector<?> v)
與public overview(Vector v)有什麼區別呢？
主要是引入萬用字元後，Vector<?>型別的變數在呼叫的時候是受到限制的，凡是必須

知道具體型別引數才能進行的操作會被禁止。
例如
Vector<String> vs = new Vector<String>();
vs.add("TOM");
Vector<?> v = vs;
v.add("BILL");//非法操作
Object o = v.elementAt(0)//合法

受限型別

例如：Person<T extends Number>
限制更嚴格一點，要求泛型必須繼承Number

同樣萬用字元也可以用於

限制

基本型別不能用於泛型 例如 List<int> a 這種，是會報錯的，Syntax error on token "int", Dimensions expected after this token

習題

1.

QUESTION NO: 70
Given:
11. // insert code here
12. private N min, max;
13. public N getMin() { return min; }
14. public N getMax() { return max; }
15. public void add(N added) {
16. if (min == null || added.doubleValue() < min.doubleValue())
17. min = added;
18. if (max == null || added.doubleValue() > max.doubleValue())
19. max = added;
20. }
21. }
Which two, inserted at line 11, will allow the code to compile? (Choose two.)
A. public class MinMax<?> {
B. public class MinMax<? extends Number> {
C. public class MinMax<N extends Object> {
D. public class MinMax<N extends Number> {
E. public class MinMax<? extends Object> {
F. public class MinMax<N extends Integer> {
 

解答，看A,B,E顯然不對，因為都用了？,程式碼裡的N就沒有來源了 C，如果受限型別extends Object,那就沒有doubleValue()方法。 答案是 D F 2.

<p align="left"><strong>QUESTION NO: 71</strong></p>Given:
3. import java.util.*;
4. public class G1 {
5. public void takeList(List<? extends String> list) {
6. // insert code here
7. }
8. }
Which three code fragments, inserted independently at line 6, will compile? (Choose three.)
A. list.add("foo");
B. Object o = list;
C. String s = list.get(0);
D. list = new ArrayList<String>();
E. list = new ArrayList<Object>();

用萬用字元後，那些必須知道型別才能進行的操作就被禁止了，比如add，因此A不對
答案是 BCD