Java 泛型 : Explanation of Example on SO

Question

在另一个SO post ，以下示例作为对 OP 的响应给出:

public static <E> void funct1(final List<E> list1, final E something)
{
    list1.add(something);
}

public static void funct2(final List<?> list, final Object something)
{
    list.add(something); // does not compile
}

我已验证 funct1 可以编译，而 funct2 不能。但是，我无法弄清楚原因。

Answer 1

A List<?>是一个特定但未知类型的列表。编译器不允许调用具有泛型类型参数的方法，因为无法保证类型安全。它可能是 List<Integer> , 或 List<Foo> ，并且不应该能够添加 Object给它。编译器必须通过编译器错误来阻止此调用，以保持泛型提供的类型安全。

方法funct1编译是因为你总是可以添加一个 E到 List<E> ;它是同一类型引用:E .