下面先舉出一個泛型棧的例子：

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);} }

這時，我們出現了一個需求，想在push方法中push一個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>();//假設stack2有元素Father father = stack2.pop();} }

完全沒問題。

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

于是我們添加了兩個方法：

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

好，我們來運行一下：

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

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

解決方法：

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了，也就是說利用有限制通配符能夠讓不可變的泛型具有了“多態”的感覺。

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

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。