// #1 (does compile)List raw = null;List<?> wild = raw;// #2 (doesn't compile)List<List> raw = null;List<List<?>> wild = raw;
首先让我们弄清楚为什么这些实际上是不相关的分配。也就是说，它们受不同规则的约束。
＃1称为未经检查的转换：
存在未检查的转换从原始类或接口类型（§4.8）G的任何参数化的类型的形式的。
G<T1,...,Tn>
具体地说，这是仅在此情况下分配上下文的一种特殊情况：
如果在应用了[其他可能的转换]之后，结果类型为原始类型，则可以应用未经检查的转换。
＃2需要引用类型转换；但是，问题在于它不是扩展转换（这是一种无需转换就可以隐式允许的引用转换）。
这是为什么？好吧，这特别受通用子类型化规则的支配，更具体地讲，要点如下：
给出一个通用的类型声明（Ñ > 0），则直接超参数化类型的，其中，（1≤我≤ Ñ）是一种类型的，是以下所有：
C<F1,...,Fn>C<T1,...,Tn>Ti
C<S1,...,Sn>，其中包含（1≤我≤ Ñ）。SiTi
这就是JLS所称的containment，这是有效的赋值，左侧的参数必须包含右侧的参数。由于“具体”泛型类型是不变的，因此包含在很大程度上决定了泛型子类型。
您可能熟悉以下想法：
一个
List<Dog>不是一个
List<Animal>
但是
aList<Dog>是一个
List<? extends Animal>。
好吧，后者是正确的，因为
? extends Animal contains Dog。
因此问题变成“类型参数是否
List<?>包含原始类型参数List”？答案是否定的：尽管
List<?>是的子类型List，但此关系不适用于类型实参。
没有特殊的规则可以实现：
List<List<?>>不是的子类型，
List<List>从本质
List<Dog>上讲，不是的子类型
List<Animal>。
因此，由于
List<List>不是的子类型
List<List<?>>，因此分配无效。同样，您不能执行直接缩小转换强制转换，因为它既不是二者
List<List>的超类
List<List<?>>。
要进行分配，您仍然可以应用强制转换。在我看来，有三种方法可以做到。
// 1. raw type@SuppressWarnings("unchecked")List<List<?>> list0 = (List) api();// 2. slightly safer@SuppressWarnings({"unchecked", "rawtypes"})List<List<?>> list1 = (List<List<?>>) (List<? extends List>) api();// 3. avoids a raw type warning@SuppressWarnings("unchecked")List<List<?>> list2 = (List<List<?>>) (List<? super List<?>>) api();（您可以替换JAXBElement内部List。）
此类型转换的用例应该是安全的，因为
List<List<?>>它比更具限制性
List<List>。
该原始类型语句是拓宽投选中，然后分配。之所以可行，是因为如上所述，任何参数化类型都可以转换为其原始类型，反之亦然。
在稍微安全的声明（如此命名是因为它失去了较少类型信息）是拓宽投则投缩小。这通过强制转换为普通的超类型来工作：
List<? extends List> ╱ ╲List<List<?>> List<List>
有界通配符允许将类型参数考虑为通过包含进行子类型化。
List<? extends List>被认为是超类的事实
List<List<?>>可以通过传递性来证明：
? extends List包含?
extends List<?>，因为List是的超类型
List<?>。
? extends List<?>包含
List<?>。
因此? extends List包含
List<?>。
（即List<? extends List> :> List<? extends List<?>> :> List<List<?>>。）
第三个示例的工作方式与第二个示例类似，通过强制转换为公共超类型
List<? super List<?>>。由于它不使用原始类型，因此我们可以减少一个警告。
这里的非技术性总结是，规范意味着有间既不亚型也不超关系
List<List>和
List<List<?>>。
虽然从转换
List<List>到
List<List<?>>应该是安全的，这是不允许的。（这是安全的，因为两者都是
List可以存储任何类型的List，但是
List<List<?>>对检索元素后如何使用它施加了更多限制。）
不幸的是，除了原始类型是奇怪的而且它们的使用有问题之外，没有任何实际原因无法编译。
