这些通用声明之间有什么区别？答案

【问题标题】：What's the difference between these generic declarations?这些通用声明之间有什么区别？
【发布时间】：2014-06-16 19:14:35
【问题描述】：

您会如何用简单的英语描述这些列表内容之间的区别？

我正在寻找可以作为参考的简单比较。

/* 1 */ List<          List<          Dog>>
/* 2 */ List<          List<? extends Dog>>
/* 3 */ List<? extends List<          Dog>>
/* 4 */ List<? extends List<? extends Dog>>

super 的泛型声明类似。那么这些呢：

/* 5 */ List<? super   List<? extends Dog>>
/* 6 */ List<? extends List<? super   Dog>>

相关问题和资源

【问题讨论】：

看看this question和this question

标签： java generics nested-generics

【解决方案1】：

List，其元素是狗列表
一个List，其元素是extends Dog 类型的列表
List，其元素是狗列表的单个子类型
一个List，其元素是一个单个子类型（extends Dog的类型列表）
一个List，其元素是一个单个超类型（extends Dog的类型列表）
一个List，其元素是一个（super Dog 的类型列表）的单个子类型

其中“subtype”、“supertype”、“super”和“extends”是“通用”版本（即也包括边界类型）

Number 和子类型的示例，因为为什么不呢。将Dog 替换为Number。

List<List<Number>> 可能看起来像 Number 元素的二维数组。很简单。
List<List<? extends Number>> 可能看起来像一个二维数组，其中每一行都是数字的不同子类型。例如，第一行可能是List<Integer>，第二行可能是List<Double>，等等。
List<? extends List<Number>> 可能是 List<ArrayList<Number>>、List<List<Number>>、List<LinkedList<Number>> 等。Number 必须保留，因为泛型是不变的，但您可以使用 List 或其任何一个子类型作为元素的“整体”类型。不过你只能选择List 或其子类型之一，而你选择的那个你必须留下来。
List<? extends List<? extends Number>> 类似于List<? extends List<Number>>，不同的是现在您可以选择Number 或其任何子类作为“整体”二维数组的元素。所以你可以有List<List<Integer>>、List<ArrayList<Integer>>、List<LinkedList<Double>>等。和以前一样，你只能选择List的子类型之一和Number的子类型之一。
（棘手！）List<? super List<? extends Number>> 似乎等同于 List<List<? extends Number>>、List<Collection<? extends Number>> 等，但不 List<List<Number>> 或任何具体的子类型使用Number。我认为这是因为List<Number> 不被视为List<? extends Number> 的超类型，我认为这是有道理的，因为泛型是不变的。 List<Object> 以及原始类型（List<List>、List<Collection> 等）也可以。
与 4 相同，只是您将 List<Number> 或 List<Object>（显然是 List<Serializable>）作为内部列表。

正如@MadProgrammer 所说，由于PECS（Producer-Extends-Consumer-Super），任何时候您的泛型类型都有? extends，您将无法更新列表，只能从中检索项目。所以没有add()-ing，也没有set()-ing。

【讨论】：

还要考虑到最后两个不会让你更新列表，第二个也不会让你更新子列表
绝妙的答案！请看后续问题
@MBlanc 刚刚做了。仍在计算 5，但我认为我得到了其他一切。感谢您的脑筋急转弯！
@MBlanc 你知道，我在 Eclipse 中得到了一些真的奇怪的东西。当我使用<> 让Eclipse 找出final List<? super List<? extends Number>> a = new ArrayList<>(); 的边界时，它说ArrayList 的类型是ArrayList<List<? extends Number>>。但实际上写ArrayList<List<Number>> 是编译器错误。所以很明显我也不明白什么...
@MBlanc 好吧，我认为我搞定了一切。希望我的逻辑是有道理的。如果我有任何问题或需要进一步解释，请告诉我。

【解决方案2】：

第一个是具体的：它是Lists 的Dog 的List，仅此而已。

第二个是最内层声明的抽象：它是从Dog 继承的某个类的Lists 的List——比如Poodle。可能是List<ArrayList<Poodle>>。

第三个是内部列表声明的抽象：它是某种容器的List，它继承自List——也许是ArrayList——Dog。那么你可能有List<ArrayList<Dog>>。

第四个是两者的抽象：它是从List 派生的某种容器的List，里面装满了从Dog 继承的某种动物——也许是List<ArrayList<Poodle>>。

【讨论】：

【解决方案3】：

将每个“

只要有“? extends X”，就在 X 之后插入“或其子类之一”。

【讨论】：