爲什麼SomeClass <? super T>不等於Java泛型中的SomeClass <T>？

Question

我注意到了Collections.sort的specificaition：

public static <T> void sort(List<T> list, Comparator<? super T> c) 

爲什麼 「? super」 必要嗎？如果ClassB擴展爲ClassA，那麼我們不能保證Comparator<ClassA>能夠比較兩個ClassB對象，沒有「? super」部分？

換句話說，鑑於此代碼：

List<ClassB> list = . . . ; 
Comparator<ClassA> comp = . . . ; 
Collections.sort(list, comp); 

爲什麼不是編譯器足夠聰明，知道這是OK，即使沒有指定「? super」爲Collections.sort的聲明（）？

Answer 1

Josh Bloch今年在Google I/O上進行了一次演講，名爲Effective Java Reloaded，您可能會感興趣。它講述了一個名爲「Pecs」的助記符（生產商extends，消費者super），這就解釋了爲什麼在輸入參數中使用? extends T和? super T（僅限於;從不使用返回類型）以及何時使用哪個。