Java泛型之協(xié)變與逆變及extends與super選擇

第Java泛型之協(xié)變與逆變及extends與super選擇目錄什么是不變什么是協(xié)變什么是逆變extends和super使用extends還是super呢要了解協(xié)變與逆變，首先要引入：

根據(jù)Liskov替換原則，如果C是P的子類，則P可以代替C，即Pp=newC();

C繼承于P，記做為CP

什么是不變

如果F是不變，當C=P時，那么F(C)和F(P)沒有任何繼承關(guān)系

除例如Integer是Number的子類，根據(jù)Liskov替換原則

Numbernumber=newInteger(1);//correct

但是如果這樣寫就會報錯

ListNumberlist=newArrayListInteger//error

雖然Number和Integer存在繼承關(guān)系：IntegerNumber,但在Java里，泛型默認是不變的，因此也可以看作為ListNumber和ListInteger不存在任何繼承關(guān)系

什么是協(xié)變

如果F是協(xié)變的，當C=P時，那么F(C)=F(P)

Java提供了一個extends來將不變轉(zhuǎn)為協(xié)變，例如：

ListextendsNumberlist=newArrayListInteger//corrent

此時的ListextendsNumber可以看作為ArrayListInteger的父類

extendNumber可以看作為一個類型范圍，表示Number的某一個子類

數(shù)組默認是協(xié)變的

Number[]numbers=newInteger[3];

什么是逆變

如果F是逆變的，當C=P時，那么F(C)=F(P)

Java提供了一個super來將不變轉(zhuǎn)為協(xié)變，例如：

ListsuperNumberlist=newArrayListObject//corrent

此時的ListsuperNumber可以看作為ArrayListObject的父類

extends和super

首先，我們看看Collection.add的實現(xiàn)：

publicinterfaceListEextendsCollectionE{booleanadd(Ee);}

下面代碼將會報錯？extendsNumber與Integer類型不匹配

ListextendsNumberlist=newArrayListInteger//correct

list.add(Integer.valueOf(1));//error

首先在調(diào)用add方法時，泛型E自動變成了extendsNumber

第二行報錯，也就是說extendsNumber不是Integer的父類。這里要將ListextendsNumber是ArrayListInteger的父類區(qū)分開。

extendsNumber可以看作為一個類型范圍中某一個類型，表示Number的某一個子類，但又沒明確是哪個子類，可能是Float，可能是Short，也可能是Integer的子類（Integer被final修飾，不可能有子類，這里只是一種假設(shè)情況），它只確定了它的上界為Number，并沒有確定下界（有可能存在extendsNumberInteger），因此extendsNumber不是Integer的父類

將上面代碼稍做修改就正確了：

ListsuperNumberlist=newArrayListObject//correct

list.add(Integer.valueOf(1));//correct

首先因為逆變，ListsuperNumber是ArrayListObject的父類，第一行正確。

第二行：superNumber是Integer的父類，原因是：superNumber表示Number的某一個父類，可能是Serializable也可能是Object但不管是哪個，Number的父類一定是Integer的父類，因此第二行也正確

使用extends還是super呢

java.util.Collections的copy方法(JDK1.7)給了我們答案：

publicstaticTvoidcopy(ListsuperTdest,ListextendsTsrc){

intsrcSize=src.size();

if(srcSizedest.size())

thrownewIndexOutOfBoundsException("Sourcedoesnotfitindest");

if(srcSizeCOPY_THRESHOLD||

(srcinstanceofRandomAccessdestinstanceofRandomAccess)){

for(inti=0;isrcSize;i++)

dest.set(i,src.get(i));

}else{

ListIteratorsuperTdi=dest.listIterator();

ListIteratorextendsTsi=src.listIterator();

for(inti=0;isrcSize;i++){

di.next();

di.set(si.next());

}

要從泛型類取數(shù)據(jù)時，用extends；要往泛型類寫數(shù)據(jù)時，用super；既要取又要寫，就不用通配符（即extends與super都不用）

privatestaticEEgetFirst(ListextendsElist){

returnlist.get(0);

privatestaticEvoidsetFirst(ListsuperElist,EfirstElement){

list.add(firstElement);

pu