通配符捕获java方法参数和参数类型

Question

我正在阅读Maurice Naftalin撰写的Java generics and collections仿制品Java generics and collections 。

在关于通配符捕获的部分中，作者举了一个例子

public static void reverse(List<?> list) { 
    rev(list); 
}

private static <T> void rev(List<T> list) {
    List<T> tmp = new ArrayList<T>(list);
    for (int i = 0; i < list.size(); i++) {
        list.set(i, tmp.get(list.size()-i-1));
    }
}

但我认为类型List<T>是List<?>的子类型（其中List<?>是List<? extends Object>的简写语法）（我的List<T>假设是List<? extends Object>的子类型List<? extends Object>甚至是正确的？），所以在reverse方法中，我们如何将变量list （ List<? extends Object> ）传递给rev方法，其中rev方法的参数是List<T>类型？

Answer 1

我们如何将变量列表（类型为List<? extends Object> ）传递给rev方法

你不是。

每个列表都有一个类型：你不能创建一个new ArrayList<?>或一个new ArrayList<? extends String> new ArrayList<? extends String> 。 您可以创建一个new ArrayList<String> ，并将其分配给具有通配符类型的变量。

因此，您可以调用List<T>的方法，即使使用List<?>作为参数，只要编译器可以推断出某些类型与边界一致即可。 你不知道类型，但编译器可以。

Answer 2

但我认为类型List<T>是List<?>的子类型

事实并非如此：请记住，Java中的泛型是不变的 。 这意味着即使X是Y的子类型， List<X>也不会是List<Y>的子类型。

代码示例的工作原因是reverse方法匹配任何List类型，甚至是原始类型。

Answer 3

在这个声明中：

private static <T> void rev(List<T> list) {...}

T是一种方法参数化类型，没有显式绑定指的是任何类型。

你可以在方法中传递一个声明为List<? extends Object>的变量List<? extends Object> List<? extends Object> ， List<?>甚至List<String>因为它接受List任何类型。