和列表

Question

具有以下简单的类结构：

class A {
}

class B extends A {
}

class C extends B {
}

我正在创建一个ArrayList来保留较早创建的类的对象：

List<? extends A> list1 = new ArrayList<A>();
List<? extends B> list2 = new ArrayList<B>();
List<? extends C> list3 = new ArrayList<C>();

List<? super A> list4 = new ArrayList<A>();
List<? super B> list5 = new ArrayList<B>();
List<? super C> list6 = new ArrayList<C>();

我试图向每个列表中添加每个较早创建的类的1个对象：A，B，C。唯一可能的组合是：

• 将类A，B，C的对象添加到list4

• 将类B和C的对象添加到list5

• 将C类的对象html" target="_blank">添加到列表list6。其余尝试会导致编译器错误，例如我们：

类型List中的方法add（capture＃1-of？extends A）不适用于参数（A）

为什么不能将A，B，C类的任何对象添加到list1 /
2/3？如果例如list4被定义为A类的超类，那么为什么list4接受A，B，C类的对象，因为list4被定义了？

Answer 1

“？扩展A”表示“源自A的某种类型（或A本身）”。因此，例如，a List<ByteArrayOutputStream>与List<? extends OutputStream>- 兼容，但您不应该将a添加FileOutputStream到这样的列表中-
它本来就是一个List<ByteArrayOutputStream>！您所知道的是， 从 列表中获取的任何内容OutputStream都是某种。

“？super A”表示“是A（或A本身）的超类的某种类型”。例如，a List<OutputStream>与兼容List<? super ByteArrayOutputStream>。您绝对可以ByteArrayOutputStream在这样的列表中添加一个-
但是，如果您从列表中获取一个项目，那么您就不能真正保证它。

有关更多信息，请参见Angelika
Langer的泛型常见问题解答。