原文：http://www.cnblogs.com/en-heng/p/5041124.html
看下面一段代碼
Number num =newInteger(1);? ArrayList list =newArrayList();//type mismatchList list =newArrayList();list.add(newInteger(1));//errorlist.add(newFloat(1.2f));//error
有人會納悶韵丑，為什么Number的對象可以由Integer實例化膊存，而ArrayList的對象卻不能由ArrayList實例化嵌纲？list中的聲明其元素是Number或Number的派生類可款，為什么不能add?Integer和Float?為了解決這些問題敏晤，我們需要了解Java中的逆變和協(xié)變以及泛型中通配符用法击碗。
1. 逆變與協(xié)變
在介紹逆變與協(xié)變之前鸡岗，先引入Liskov替換原則（Liskov Substitution Principle, LSP）鸳劳。
Liskov替換原則
LSP由Barbara Liskov于1987年提出，其定義如下：
所有引用基類（父類）的地方必須能透明地使用其子類的對象宝鼓。
LSP包含以下四層含義：
子類完全擁有父類的方法刑棵，且具體子類必須實現(xiàn)父類的抽象方法。
子類中可以增加自己的方法愚铡。
當子類覆蓋或?qū)崿F(xiàn)父類的方法時蛉签，方法的形參要比父類方法的更為寬松。
當子類覆蓋或?qū)崿F(xiàn)父類的方法時沥寥，方法的返回值要比父類更嚴格碍舍。
前面的兩層含義比較好理解，后面的兩層含義會在下文中詳細解釋营曼。根據(jù)LSP乒验，我們在實例化對象的時候，可以用其子類進行實例化蒂阱，比如：
Number num =newInteger(1);
定義
逆變與協(xié)變用來描述類型轉(zhuǎn)換（type transformation）后的繼承關(guān)系锻全，其定義：如果AA、BB表示類型录煤，f(?)f(?)表示類型轉(zhuǎn)換鳄厌，≤≤表示繼承關(guān)系（比如，A≤BA≤B表示AA是由BB派生出來的子類）妈踊；
f(?)f(?)是逆變（contravariant）的了嚎，當A≤BA≤B時有f(B)≤f(A)f(B)≤f(A)成立；
f(?)f(?)是協(xié)變（covariant）的廊营，當A≤BA≤B時有f(A)≤f(B)成立f(A)≤f(B)成立歪泳；
f(?)f(?)是不變（invariant）的，當A≤BA≤B時上述兩個式子均不成立露筒，即f(A)f(A)與f(B)f(B)相互之間沒有繼承關(guān)系呐伞。
類型轉(zhuǎn)換
接下來，我們看看Java中的常見類型轉(zhuǎn)換的協(xié)變性慎式、逆變性或不變性伶氢。
泛型
數(shù)組
令f(A)=[]A装畅，容易證明數(shù)組是協(xié)變的：
Number[] numbers =newInteger[3];
方法
方法的形參是協(xié)變的、返回值是逆變的：
通過與網(wǎng)友iamzhoug37的討論沧烈，更新如下掠兄。
調(diào)用方法result = method(n)；根據(jù)Liskov替換原則锌雀，傳入形參n的類型應為method形參的子類型蚂夕，即typeof(n)≤typeof(method's parameter)；result應為method返回值的基類型腋逆，即typeof(methods's return)≤typeof(result)：
static Number method(Number num){return1;}Object result =method(newInteger(2));//correctNumber result =method(newObject());//errorInteger result =method(newInteger(2));//error
在Java 1.4中婿牍，子類覆蓋（override）父類方法時，形參與返回值的類型必須與父類保持一致：
classSuper{Number method(Number n){... }}classSubextendsSuper{@OverrideNumber method(Number n){... }}
從Java 1.5開始惩歉，子類覆蓋父類方法時允許協(xié)變返回更為具體的類型：
classSuper{Number method(Number n){... }}classSubextendsSuper{@OverrideInteger method(Number n){... }}
2. 泛型中的通配符
實現(xiàn)泛型的協(xié)變與逆變
Java中泛型是不變的等脂，可有時需要實現(xiàn)逆變與協(xié)變，怎么辦呢撑蚌？這時上遥，通配符?派上了用場：
實現(xiàn)了泛型的協(xié)變，比如：
List list =newArrayList();
實現(xiàn)了泛型的逆變争涌，比如：
List list =newArrayList();
extends與super
為什么（開篇代碼中）List list在add?Integer和Float會發(fā)生編譯錯誤粉楚？首先，我們看看add的實現(xiàn)：
publicinterfaceListextendsCollection{boolean add(E e);}
在調(diào)用add方法時亮垫，泛型E自動變成了模软，其表示list所持有的類型為在Number與Number派生子類中的某一類型，其中包含Integer類型卻又不特指為Integer類型（Integer像個備胎一樣Ｒ省Ｈ家臁！）害晦，故add?Integer時發(fā)生編譯錯誤特铝。為了能調(diào)用add方法，可以用super關(guān)鍵字實現(xiàn)：
List list =newArrayList();list.add(newInteger(1));list.add(newFloat(1.2f));
表示list所持有的類型為在Number與Number的基類中的某一類型壹瘟，其中Integer與Float必定為這某一類型的子類鲫剿；所以add方法能被正確調(diào)用。從上面的例子可以看出稻轨，extends確定了泛型的上界灵莲，而super確定了泛型的下界。
PECS
現(xiàn)在問題來了：究竟什么時候用extends什么時候用super呢殴俱？《Effective Java》給出了答案：
PECS: producer-extends, consumer-super.
比如政冻，一個簡單的Stack API：
publicclassStack{publicStack();public void push(E e):public E pop();public boolean isEmpty();}
要實現(xiàn)pushAll(Iterable src)方法枚抵，將src的元素逐一入棧：
public void pushAll(Iterable src){for(E e : src)push(e)}
假設(shè)有一個實例化Stack的對象stack，src有Iterable與?Iterable明场；在調(diào)用pushAll方法時會發(fā)生type mismatch錯誤汽摹，因為Java中泛型是不可變的，Iterable與?Iterable都不是Iterable的子類型苦锨。因此逼泣，應改為
// Wildcard type for parameter that serves as an E producerpublic void pushAll(Iterable src){for(E e : src)push(e);}
要實現(xiàn)popAll(Collection dst)方法，將Stack中的元素依次取出add到dst中舟舒，如果不用通配符實現(xiàn)：
// popAll method without wildcard type - deficient!public void popAll(Collection dst){while(!isEmpty())? ? ? ? dst.add(pop());? }
同樣地拉庶，假設(shè)有一個實例化Stack的對象stack，dst為Collection秃励；調(diào)用popAll方法是會發(fā)生type mismatch錯誤氏仗，因為Collection不是Collection的子類型。因而夺鲜，應改為：
// Wildcard type for parameter that serves as an E consumerpublic void popAll(Collection dst){while(!isEmpty())? ? ? ? dst.add(pop());}
在上述例子中皆尔，在調(diào)用pushAll方法時生產(chǎn)了E 實例（produces E instances），在調(diào)用popAll方法時dst消費了E 實例（consumes E instances）谣旁。Naftalin與Wadler將PECS稱為Get and Put Principle床佳。
java.util.Collections的copy方法(JDK1.7)完美地詮釋了PECS：
publicstaticvoid copy(List dest, List src){intsrcSize = src.size();if(srcSize > dest.size())thrownewIndexOutOfBoundsException("Source does not fit in dest");if(srcSize < COPY_THRESHOLD ||? ? ? ? (srcinstanceofRandomAccess && destinstanceofRandomAccess)) {for(inti=0; i di=dest.listIterator();? ? ? ? ListIterator si=src.listIterator();for(inti=0; i
PECS總結(jié)：
要從泛型類取數(shù)據(jù)時，用extends榄审；
要往泛型類寫數(shù)據(jù)時砌们，用super；
既要取又要寫搁进，就不用通配符（即extends與super都不用）浪感。
3. 參考資料
[1] meriton,?Covariance, Invariance and Contravariance explained in plain English?.
[2] Bert F,?Difference between and in Java.
[3] Joshua Bloch, Effective Java.
如需轉(zhuǎn)載，請注明作者及出處.
作者：Treant
