带有通配符的列表会导致通用伏都教错误

Question

有谁知道为什么以下代码无法编译？add（）和addAll（）均无法按预期工作。删除“？extends”部分可以使所有工作正常，但是我将无法添加Foo的子类。

 List<? extends Foo> list1 = new ArrayList<Foo>();
 List<? extends Foo> list2 = new ArrayList<Foo>();

 /* Won't compile */
 list2.add( new Foo() ); //error 1
 list1.addAll(list2);    //error 2

错误1：

IntelliJ说：

add(capture<? extends Foo>) in List cannot be applied to add(Foo)

编译器说：

cannot find symbol
symbol  : method addAll(java.util.List<capture#692 of ? extends Foo>)
location: interface java.util.List<capture#128 of ? extends Foo>

错误2：

IntelliJ给我

addAll(java.util.Collection<? extends capture<? extends Foo>>) in List cannot be applied to addAll(java.util.List<capture<? extends Foo>>)

而编译器只是说

cannot find symbol
symbol  : method addAll(java.util.List<capture#692 of ? extends Foo>)
location: interface java.util.List<capture#128 of ? extends Foo>
        list1.addAll(list2);

Answer 1

（我在这里假设Bar和Baz都是的子类型Foo。）

List<? extends Foo>表示 某种类型的元素的列表，这是Foo的子类型，但我们不知道哪种类型 。此类列表的示例为a
ArrayList<Foo>，a LinkedList<Bar>和a ArrayList<Baz>。

由于我们不知道哪个子类型是类型参数，因此无法将Foo对象Bar或Baz对象放入其中。但是我们仍然知道type参数是的子类型Foo，因此列表中已经存在的每个元素（可以从列表中获取）都必须是一个Foo对象，因此我们可以使用
Foo f = list.get(0);类似的东西。

这样的列表只能用于将元素从列表中取出，而不能用于添加任何元素（除了null，但我不知道编译器是否实际上允许这样做）。

甲List<Foo>另一方面允许添加任何对象，它是一个Foo对象-
与作为Bar和Baz是的亚型Foo，所有Bar和Baz对象是Foo对象，所以它们可以被添加，太。