为什么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（仅限于;从不使用返回类型）以及何时使用哪个。