java - 在下面的示例中， "List<? extends T>"是必要的吗？或者 "List<T>"会做同样的事情吗？

Question

我明白

List<? extends T>

允许列表是 T(或 T 本身)的任何子类型，并且

List<T>

仅允许 T 类型的列表。但是，请查看以下方法签名:

public static <T extends Object & Comparable<? super T>> T findMax(List<? extends T> myList, int begin, int end){

以及以下类:

public class ClassA{

}
public class ClassB extends ClassA implements Comparable<ClassA>{
public int compareTo(ClassA s){
    //do comparison
}
}
public class ClassC extends ClassB{

}

假设 T 是 ClassB，并且我想为我的列表传递 T 的子类型(ClassC):

public static void main(String[] args){
    List<ClassC> myC = new ArrayList<ClassC>();
    ClassC a = findMax(myC, 2, 3);
}

在这种情况下，java如何推断T是ClassB，而不是ClassC？如果它无法推断 ClassB(并且实际上推断 ClassC)，那么下面的方法签名(没有“List”)不是等效的吗？

public static <T extends Object & Comparable<? super T>> T findMax(List<T> myList, int begin, int end){

谢谢， jack

Answer 1

首先，？ extends Object 没有添加任何值，因为一切都扩展了 Object，因此这两个方法是等效的:

public static <T extends Object & Comparable<? super T>> T findMax(List<T> myList, int begin, int end)
public static <T extends Comparable<? super T>> T findMax(List<T> myList, int begin, int end)

进行了简化后，您的问题基本上是等价的:

public static <T extends Comparable<? super T>> T findMax(List<T> myList, int begin, int end)
public static <T extends Comparable<? super T>> T findMax(List<? extends T> myList, int begin, int end)

它们(不*相同。

原因是，使用第二种方法时，您可以传入一个 List，其类型是返回类型的子类，而在第一个方法中，List 的类型必须与以下类型相同返回的类型。