e代劍客——溫柔一刀

1．一個簡單的范型示例

在以前，你可能遇到過這樣的代碼：


注意，第三行需要強制轉換。而使用范型：

這里將list聲明成String類型的List。List是有一個類型參數的范型接口。這個例子中類型參數是String。

?
2．定義簡單的范型

看j2se5.0中List和Iterator接口的實現（片斷）：

上面的代碼我們比較熟悉，但是其中增加了尖括號。尖括號中的內容定義了接口List和Iterator的形式類型參數。類型參數可以用在范型聲明中，如類和接口的聲明。

一旦聲明了范型，你就可以使用它。在上面的例子中使用了List<String>。這里使用String是實參，代替了形參E。如果使用List<Integer>，則用實參Integer代替了形參E。

不管List<Integer>還是List<String>，它們的類只有一個。考慮下面的代碼：
?

輸出結果為true。

?

一般來說，形式類型參數都是大寫，盡量使用單個字母，許多容器類都使用E作為參數。

?

3．范型和繼承

考慮下面的代碼，你認為它會出錯嗎？


當然，String類繼承Object類，這樣做不會出錯。但下面的代碼呢？



編譯出錯！

是的，List<Object>和List<String>沒有繼承關系。

?

4．通配符

考慮下面一個方法：



事實上，上面這個方法并不通用，它只能打印Collection<Object>類型的集合，象其他的如Collection<String>、Collection<Integer>并不能被打印，因為對象類型不一致。

為了解決這個問題，可以使用通配符：

Collection<？>被稱作未知類型的集合。問號代表各種類型。

上面的讀取集合中的數據時，我們采用Object類型。這樣做時可以的，因為不管未知類型最終代表何種類型，它的數據都繼承Object類，那么再考慮一下下面的代碼:

這樣做時錯誤的，因為我們不知道?代表何種類型，所以我們不能直接將Object增加到集合中，這會出現類型不匹配的情況。
?

5．有限制的通配符

考慮下面的代碼

考慮下面的范型方法：


這個范型方法只能顯示List<Man>類型的數據,下面的代碼允許顯示Man和它的子類。

這里使用??extends?Man代替Man，表明接受任何Man的子類做為參數。

和前面的代碼類似，下面的代碼也是不正確的：

原因也很簡單，因為?代表一切繼承Man的類，你并不能保證就一定時GoodMan類。

?

和這種用法類似：

6．范型方法

考慮下面的代碼,我們將一個數組的內容加到一個集合中

這段代碼時錯的！

因為我們并不知道集合C的類型，所以不能將Man類型的數據加到集合中。

可以使用范型方法解決：

這里T時一個形式類型參數。

何時該采用通用方法？何時該采用通配符？

考慮下面的例子：

改寫成通用方法

然而，在這里每個方法T只使用了一次,返回值不依賴形式參數，其他參數也不依賴形式參數。這說明實參被用作多態，這種情況下就應該用通配符。