java - 编译器如何推断 Java 泛型中的类型

Question

我有一个看起来像这样的通用方法。

public static <T> T addAndReturn(T element, Collection<T> collection){
    collection.add(element);
    return element;
}

当我打电话

String stringElement = "stringElement";
List<Object> objectList = new ArrayList<Object>();
Object theElement = addAndReturn(stringElement, objectList); 

它将类型推断为对象。

当我打电话

Object objectElement = new Object();
List<String> stringList = new ArrayList<String>();
Object theElement = addAndReturn(objectElement, stringList);

编译器报错。

这背后的规则是什么？

Answer 1

在第一种情况下，您传递的是 List<Object>到 Collection<T>所以T必须是 Object类型。 String stringElement是 Object 的子类所以这是允许的。

在第二种情况下，您传递的是 List<String>到 Collection<T>所以T只能是String .作为Object objectElement不是 String不允许键入此内容。

您不能添加 Object到 List<String>这似乎是合理的。