使用通配符的Java集合

Question

public static void main(String[] args) {

    List<? extends Object> mylist = new ArrayList<Object>();

    mylist.add("Java"); // compile error

}

上面的代码不允许您向列表中添加元素,并且通配符只能用作方法中的签名,同样不能用于添加,而只能用于访问.在这种情况下,上述目的是什么？

Answer 1

在他的书"伟大的有效Java"(第二版)中,Joshua Bloch解释了他所谓的使用泛型的生产者/消费者原则.Josh的解释应该告诉你为什么你的例子不起作用(编译)......

第5章(泛型)可以在这里免费获得:http://java.sun.com/docs/books/effective/generics.pdf

有关该书(和作者)的更多信息,请访问:http://java.sun.com/docs/books/effective/

Answer 2

假设您有一个接口和两个类:

interface IResult {}
class AResult implements IResult {}
class BResult implements IResult {}

然后你有一些类返回一个列表作为结果:

interface ITest<T extends IResult> {
  List<T> getResult();
}

class ATest implements ITest<AResult> {
  // look, overridden!
  List<AResult> getResult();
}

class BTest implements ITest<BResult> {
  // overridden again!
  List<BResult> getResult();
}

当你需要"协变返回"时,这是一个很好的解决方案,但你返回集合而不是你自己的对象.最大的好处是,当您独立于ITest界面使用ATest和BTest时,您不必投射对象.但是,在使用ITest界面时,您无法向返回的列表添加任何内容 - 因为您无法确定列表实际包含的对象类型!如果允许,你可以将BResult添加到List <AResult>(返回List <？extends T>),这没有任何意义.

所以你必须记住这个:List <？extends X>定义一个可以轻松覆盖的列表,但它是只读的.