在Java中导致编译错误的上界通配符

Question

我不明白为什么会出现这些编译错误：

1:

类型列表中的add（capture#1-of？extends Exec.Bird）方法不适用于参数（Exec.Sparrow）

2:

方法添加（捕获#2-of？扩展Exec.Bird）类型列表中的参数（Exec.鸟）

static class Bird{}
static class Sparrow extends Bird{}

public static void main(String[] args){
    List<? extends Bird> birds = new ArrayList<Bird>();
    birds.add(new Sparrow()); //#1 DOES NOT COMPILE
    birds.add(new Bird());// //#2 DOES NOT COMPILE
}

Answer 1

您可以像下面这样实例化鸟类列表：

List<Bird> birds = new ArrayList<>();

完整代码：

import java.util.ArrayList;
import java.util.List;

public class Main {
    static class Bird{}
    static class Sparrow extends Bird{}

    public static void main(String[] args) {
        List<Bird> birds = new ArrayList<>();
        birds.add(new Sparrow());
        birds.add(new Bird());
    }
}

Answer 2

与<代码>列表

这意味着可以是麻雀，也可以是黑鸟。如果你试图将一只麻雀添加到一个只能包含黑鸟s的列表中，它将不起作用。出于同样的原因，你不能将鸟添加到一个可能是麻雀的列表中。

为了使事情顺利进行，您只需将列表的声明更改为：

List<Bird> birds = new ArrayList<>();

或使用下界：

List<? super Bird> birds = new ArrayList<>();

关于这个下界示例：声明实际上表示任何类型，即Bird或其超类之一。这意味着您可以安全地添加Sparrow或Bird，因为两者都符合这些标准。

一般来说，你应该使用？超级 当您写入列表时，以及？延伸 当你阅读列表时。如果你同时在阅读和写作，你不应该使用界限。

这个答案提供了关于泛型的非常有用的信息。你绝对应该读一读。