下面先舉出一個(gè)泛型棧的例子：

class Stack<E>{private List<E> element;private int index;private int defalut_capacity;public Stack() {element = new ArrayList<E>(defalut_capacity);}public void push(E e) {element.add(e);index++;}public E pop() {return element.get(--index);} }

這時(shí)，我們出現(xiàn)了一個(gè)需求，想在push方法中push一個(gè)E的子類，pop方法pop出來的對象用其父類去接收。

public class test4 {public static void main(String[] args) {Stack<Father> stack1 = new Stack<Father>();stack1.push(new Son());Stack<Son> stack2 = new Stack<Son>();//假設(shè)stack2有元素Father father = stack2.pop();} }

完全沒問題。

需求又來了，我們要添加pushAll和popAll方法，pushAll將集合
List< E >每個(gè)元素push進(jìn)去(包括E的子類)，popAll把棧中元素pop到一個(gè)List< E >中（或者E的父類）。

于是我們添加了兩個(gè)方法：

public void pushAll(Collection<E> src) {for(E e : src) {push(e);}}public void popAll(Collection<E> dst) {while(index>0) {dst.add(pop());}}

好，我們來運(yùn)行一下：

//son是father的子類public static void main(String[] args) {Stack<Father> stack1 = new Stack<Father>();List<Son>sons = new ArrayList<Son>();//編譯錯(cuò)誤//The method pushAll(Collection<Father>) in the type Stack<Father> //is not applicable for the arguments (List<Son>)stack1.pushAll(sons);Stack<Son> stack2 = new Stack<Son>();List<Father>Fathers = new ArrayList<Father>();//編譯錯(cuò)誤//The method pushAll(Collection<Father>) in the type Stack<Father> //is not applicable for the arguments (List<Son>)*/stack2.pushAll(Fathers);}

果斷編譯錯(cuò)誤，原因很簡單，參數(shù)化類型是不可變的，也就是說List< Son >不是List< Father >的子類，所以無法多態(tài)。

解決方法：

public void pushAll(Collection<? extends E> src) {for(E e : src) {push(e);}}public void popAll(Collection<? super E> dst) {while(index>0) {dst.add(pop());}}

這樣就ok了，也就是說利用有限制通配符能夠讓不可變的泛型具有了“多態(tài)”的感覺。

PECS(Producer-extends，Consumer-super)原則
在stack例子中
pushAll方法中src參數(shù)生產(chǎn)對象給stack，所以src是生產(chǎn)者，也就是應(yīng)該用< ? extends XX >
popAll方法中des參數(shù)消費(fèi)stack的對象，所以des是生產(chǎn)者，也就是應(yīng)該用< ? super XX >

總結(jié)

以上是生活随笔為你收集整理的Effective Java之利用有限制通配符提升API的灵活性(二十八)的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。