java - Java 泛型方法类型推断的困惑

Question

示例方法如下:

static <T> void doSomething(List<? super T> list1, List<? extends T> list2) { }

我想知道在这种情况下会通过什么逻辑推断出什么类型。假设我这样调用这个方法:

doSomething(new ArrayList<Object>(), new ArrayList<String>());

T 类型的计算结果是 Object 还是 String？

Answer 1

此调用不绑定(bind)T到特定的类(class)。 Java不需要知道确切的T因为泛型的类型删除实现。只要您传递的类型与声明一致，代码就应该可以编译；在你的情况下，列表 Object和String与声明一致。

让我们稍微扩展一下您的代码，以便我们可以强制绑定(bind) T到特定类型。也许最简单的方法是通过 Class<T> ，像这样:

static <T> void doSomething(List<? super T> list1, List<? extends T> list2, Class<T> cl) {
    System.out.println(cl);
}

现在让我们尝试调用 doSomething与 String.class并与 Object.class :

doSomething(new ArrayList<Object>(), new ArrayList<String>(), Object.class);
doSomething(new ArrayList<Object>(), new ArrayList<String>(), String.class);

两个调用都成功编译，产生输出

class java.lang.Object
class java.lang.String

Demo on ideone.