让我们假设您可以做您描述的事情：
class B extends A { ... }Collection<A> collecA;List<B> listB;collecA = listB; // normally an error, but lets pretend its allowedcollecA.add(new A()); // PROBLEM!该方法调用
collecA.add(new A())看起来不错，因为它
collecA是一个包含
As
的集合。但是，如果允许上述分配，那么我们会遇到一个问题，因为
collecA它实际上是对
List<B>实例的引用-我只是将
Aa
添加到只能容纳
Bs 的列表中！
阿斯克还说：
我不明白为什么，因为Collection是由List实现的。
集合是List的超类并不重要。即使您使用了两个列表，该分配也是非法的。
class B extends A { ... }List<A> listA;List<B> listB;listA = listB; // still an error, still leads to the same problem关键在于List<A>
变量 只能引用List
可以容纳A
s的。但是，List<B>
实例
不能包含A
。因此，List<A>
变量 等listA
不能被分配给一个参考List<B>
实例 提到了listB
。
或者更一般地讲： B
是的子类，A
并 没有
暗示SomeGenericClass<B>
是的一个子类SomeGenericClass<A>
（JLS§4.10：
分型不通过泛型类型延伸：T <: U
并不意味着C<T> <: C<U>
。）
正是 Java Generics Tutorial 中的这个示例/ 类目 帮助我理解了这一点：
http://java.sun.com/docs/books/tutorial/java/generics/subtyping.html
“如果想起有形物体（实际上可以想象的东西），例如笼子，那么为什么变得容易得多：
// A cage is a collection of things, with bars to keep them in.interface Cage<E> extends Collection<E>;...Cage<Lion> lionCage = ...;Cage<Butterfly> butterflyCage = ...;
但是“动物笼”呢？英语是模棱两可的，因此准确地说，让我们假设我们正在谈论 “全动物笼” ：
Cage<Animal> animalCage = ...;
这是一个笼子，用来盛放各种动物， 混合在一起 。它必须有足够坚固的棒子以容纳狮子，并间隔得足够近以容纳蝴蝶。
…
由于狮子是一种动物（狮子是动物的一种亚型），因此问题变成：“狮子笼是一种动物笼子？是的
Cage<Lion>一种亚型
Cage<Animal>吗？”。根据上述动物笼的定义，答案必须为“否”。这真是令人惊讶！但是，当您考虑它时，这是完全合乎情理的：不能认为狮子笼可以容纳在蝴蝶中，而不能认为蝴蝶笼可以容纳在狮子中。因此，任何一个笼子都不能视为“全动物”笼子：
animalCage = lionCage; // compile-time erroranimalCage = butterflyCage; // compile-time error
”
