e代劍客——溫柔一刀

1．一個(gè)簡單的范型示例

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


注意，第三行需要強(qiáng)制轉(zhuǎn)換。而使用范型：

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

?
2．定義簡單的范型

看j2se5.0中List和Iterator接口的實(shí)現(xiàn)（片斷）：

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

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

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

輸出結(jié)果為true。

?

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

?

3．范型和繼承

考慮下面的代碼，你認(rèn)為它會(huì)出錯(cuò)嗎？


當(dāng)然，String類繼承Object類，這樣做不會(huì)出錯(cuò)。但下面的代碼呢？



編譯出錯(cuò)！

是的，List<Object>和List<String>沒有繼承關(guān)系。

?

4．通配符

考慮下面一個(gè)方法：



事實(shí)上，上面這個(gè)方法并不通用，它只能打印Collection<Object>類型的集合，象其他的如Collection<String>、Collection<Integer>并不能被打印，因?yàn)閷?duì)象類型不一致。

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

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

上面的讀取集合中的數(shù)據(jù)時(shí)，我們采用Object類型。這樣做時(shí)可以的，因?yàn)椴还芪粗愋妥罱K代表何種類型，它的數(shù)據(jù)都繼承Object類，那么再考慮一下下面的代碼:

這樣做時(shí)錯(cuò)誤的，因?yàn)槲覀儾恢?代表何種類型，所以我們不能直接將Object增加到集合中，這會(huì)出現(xiàn)類型不匹配的情況。
?

5．有限制的通配符

考慮下面的代碼

考慮下面的范型方法：


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

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

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

原因也很簡單，因?yàn)?代表一切繼承Man的類，你并不能保證就一定時(shí)GoodMan類。

?

和這種用法類似：

6．范型方法

考慮下面的代碼,我們將一個(gè)數(shù)組的內(nèi)容加到一個(gè)集合中

這段代碼時(shí)錯(cuò)的！

因?yàn)槲覀儾⒉恢兰螩的類型，所以不能將Man類型的數(shù)據(jù)加到集合中。

可以使用范型方法解決：

這里T時(shí)一個(gè)形式類型參數(shù)。

何時(shí)該采用通用方法？何時(shí)該采用通配符？

考慮下面的例子：

改寫成通用方法

然而，在這里每個(gè)方法T只使用了一次,返回值不依賴形式參數(shù)，其他參數(shù)也不依賴形式參數(shù)。這說明實(shí)參被用作多態(tài)，這種情況下就應(yīng)該用通配符。