为什么泛型被说成是不变的“？是否允许“扩展Klass”？
在爪哇，its说：
String[] is subtype of Object[]
所以数组被称为协变的。但对于泛型，他们说：
List<X> will not be subType of List<Y>.
因此它是不变的。但问题是，“泛型真的是不变的吗”？
List<? extends Exception>
List<? extends Exception> k = new ArrayList<NumberFormatException>();
那为什么说泛型是不变的呢？
共有1个答案
<代码>列表<？extends exception>k=new ArrayList
这意味着列表可以采用Exception的子类型
不完全是。您可以为k分配列表--或它的任何子类型，就像您有ArrayList--在本例中，分配Exception的任何子类型。
但是，您不能向k中添加exception的任何子类型或任何与此相关的内容，因为k是exception的某个未知子类型的列表。例如,
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
-
Java说： 所以说数组是协变的。但对于泛型，他们说： 因此它是不变量。但问题是，“泛型真的不变吗？”？ 例如，如果我给出： 这意味着列表可以采用异常的子类型，例如这是有效的： 那么为什么泛型被称为不变量呢？
-
问题内容： 我想知道Java中是否有特殊原因总是使用“ ”而不是“ ”来定义类型参数的界限。 例： 被禁止但是 是正确的。是什么原因呢？ 问题答案： 在类“实现”还是“扩展”之间，通用约束语言没有语义差异。约束可能性是“扩展”和“超级”-也就是说，该类是可分配给其他类的对象（扩展），还是该类可从该类分配（超级）。
-
问题内容： 作为实验，我尝试扩展-array，如下所示： 在类本身中添加一些与排序，交换，子数组构建等有关的方法。但是我在编译时遇到了这个错误： 我很好奇：为什么Java不允许扩展数组？ 问题答案： 扩展基本类型（例如a 或数组）会打开安全漏洞。如果Java允许您扩展数组，则采用数组的方法将变得不安全。这就是字符串为，而数组根本不能扩展的原因。 例如，您可以重写该方法，并返回不正确大小的数组。这有
-
从Joshua Bloch的Effective Java中, > 数组与泛型类型有两个重要的区别。第一个数组是协变的。泛型是不变的。 协变简单地说，如果X是Y的子型，那么X[]也将是Y[]的子型。数组是协变的，因为字符串是对象的子类型，所以 不变简单地说,不管X是不是Y的子类型, 我的问题是为什么决定在Java中使数组是协变的？还有其他的SO帖子，比如为什么数组是不变的，但是列表是协变的？，但它们
-
问题内容： 摘自Joshua Bloch的Effective Java， 数组在两个重要方面不同于通用类型。第一数组是协变的。泛型是不变的。 协变量仅表示如果X是Y的子类型，则X []也将是Y []的子类型。数组是协变的，因为字符串是Object的子类型，所以 不变式仅表示X是否为Y的子类型， 问题答案： Java和C＃的早期版本不包含泛型（又称参数多态性）。 在这种情况下，使数组不变会排除有用的
-
下面的泛型代码无法编译，我可以理解原因：这是为了阻止可能不兼容的类型添加到集合中： 然而，我可以对数组做同样的事情，并且不会得到编译器错误。当我运行它时，我会得到一个 为什么编译器不阻止我上传数组，因为它会麻烦地阻止我上传泛型？