为什么泛型在“？允许扩展Klass”时说是不变的？

Question

Java说：

String[] is subtype of Object[]

所以说数组是协变的。但对于泛型，他们说：

List<X> will not be subType of List<Y>.

因此它是不变量。但问题是，“泛型真的不变吗？”？

例如，如果我给出：

List<? extends Exception>

这意味着列表可以采用异常的子类型，例如这是有效的：

List<? extends Exception> k = new ArrayList<NumberFormatException>();

那么为什么泛型被称为不变量呢？

Answer 1

数组在java中是协变的，但它们不应该是。这只是java语言中的许多设计缺陷之一，尤其是键入系统。考虑以下代码：

public void messUp(Object objects[]) { objects[0] = "foo"; }
Integer ints[] = new Integer[] {1,2,3};
messUp(ints);

这会在没有警告的情况下编译，但在执行时会引发ArrayStoreException。

要回答您的问题，请列出

这不构成列表

<T extends Exception> void foo(List<T> exceptions) { 
    List<Exception> l = exceptions;
    l.add(new RuntimeException());       
}

但这不会编译，因为

Answer 2

我认为你的问题的简单答案是语义上的
<代码>列表

换一种说法：

 Object[] array = new String[2]; //is a valid declaration.
 List<Object> list = new ArrayList<String>(); //is not. 

Answer 3

<代码>列表

这意味着列表可以采用异常的子类型

不完全是。您可以将一个列表或其任何子类型分配给k，在这种情况下，可以将异常的任何子类型分配给k。

但是您不能将异常的任何子类型或任何相关内容添加到k，因为k是异常的一些未知子类型的列表。例如

k.add(new NumberFormatException());

将给出一个错误。

检索也仅限于已知类型：

NumberFormatException e1 = k.get(0); // error
Exception e2 = k.get(0); // ok, anything in k must be an Exception
NumberFormatException e3 = (NumberFormatException) k.get(0); // ok, but the usual downcast issues exist