苦苦挣扎于理解＆lt;？

Struggling with understanding <? extends T> wildcard in Java

我有一个非常基本的问题。

下面的代码不编译(假设苹果扩展了水果)：

1 2	List<? extends Fruit> numbers = new ArrayList<>(); numbers.add(new Apple()); //compile time error

当我读到"为什么"时，我理解的是单词，而不是概念。

假设第一个水果不是抽象类。我理解，因为我们处理的是多个子类型，所有这些子类型都扩展了水果。因为我们不能准确地说出水果的种类，所以我们不能把任何东西放进收藏品中。有几件事我不明白：

1)显然我们不知道是哪种水果让我困惑。在迭代集合时，我们是否能够通过typeof或其他instanceof check来分辨特定的类型？

2)假设水果是一个具体的类，为什么不允许我们添加水果实例？这似乎是有道理的，因为你至少知道水果的API。即使您不知道fruit的确切子类型，至少可以在fruit()上调用标准方法。

我觉得这应该是相当明显的，但有些东西不适合我。任何帮助都是感激。谢谢！

相关讨论

理解这一点的最好方法是将通配符视为对列表的某种说明，而不是水果。换句话说：

1
2
3
4
5
6
7

List<Banana> allBananas = getMyBananas();
enumerateMyFruit(allBananas);

static void enumerateMyFruit(List<? extends Fruit> myFruit) {
for (Fruit fruit : myFruit)
System.out.println(fruit);
}

当我们将allBananas传递给enumerateMyFruit时，在方法内部我们会丢失关于列表原始声明类型的信息。在这个例子中，我们可以非常清楚地看到为什么我们不能把苹果放在一个List中，因为我们知道这个列表实际上是一个List。同样，通配符告诉我们一些关于列表声明类型的信息。

List应该理解为"一个最初声明保存Fruit或Fruit的某个子类型的列表，但我们不知道该声明的类型是什么"。我们所知道的是，我们从名单中拿出的所有东西都是一个Fruit。

而且，您是对的，我们可以迭代列表并使用instanceof来找出列表中的实际内容，但这不会告诉我们列表的原始声明类型。在上面的代码片段中，我们会发现列表中的所有内容原来都是一个Banana，但我可以像List一样轻松地声明allBananas。

你也可以看到为什么一个List不是一个List，这解释了其中的一些。通配符是我们如何在泛型类型之间有协方差的。List不是List而是List。这是因为我们不能在List中添加限制，因为它可能是List、List或其他东西。我们不知道了。

还有一个是? super，正好相反。我们可以把Fruit存储在List中，但我们不知道从中取出什么样的物体。它最初声明的类型实际上可能是一个List