如何在Java中将继承对象列表转换为对象集合？

Question

我有一个收集类型：

Collection<A> collecA

我的对象中有一个列表：

List<B> listB

B在哪里延伸A

class B extends A { ... }

但我不能执行以下操作：

collecA = listB

我不明白为什么，因为Collection是由List实现的。

Answer 1

让我们假设您可以做您描述的事情：

class B extends A { ... }

Collection<A> collecA;
List<B> listB;

collecA = listB;  // normally an error, but lets pretend its allowed

collecA.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可以容纳As的。但是，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 error
animalCage = butterflyCage; // compile-time error

”