刚遇到了这个问题：
List<DataNode> a1 = new ArrayList<DataNode>();
List<Tree> b1 = a1; // compile error: incompatible type
类型DataNode是树的子类型。
public class DataNode implements Tree
令我惊讶的是，这对数组也有效：
DataNode[] a2 = new DataNode[0];
Tree[] b2 = a2; // this is okay
这看起来有点奇怪。有谁能给出一个解释吗？
第二种情况中出现的是数组型变。这是我个人认为的一个坏事，因为它使得数组内部的赋值不安全——尽管在编译时没问题，但在运行时可能会失败。
在第一种情况中，想象一下如果代码确实编译通过，并接着执行以下代码：
b1.add(new SomeOtherTree());
DataNode node = a1.get(0);
你期望会发生什么？
你可以这样做：
List<DataNode> a1 = new ArrayList<DataNode>();
List<? extends Tree> b1 = a1;
因为你只能从 b1 获取东西并且它们保证与 Tree 兼容，所以这样做是正确的。你不能调用 b1.add(...)，因为编译器不知道它是否安全。
请查看 Angelika Langer 的 Java 泛型 FAQ 中的此部分 以获取更多信息。
List<DataNode>转换为List<Tree>，并且你知道这样做是安全的，那么一种丑陋的实现方法是进行双重转换:
List<DataNode> a1 = new ArrayList<DataNode>();
List<Tree> b1 = (List<Tree>) (List<? extends Tree>) a1;List<DataNode> a1 = new ArrayList<DataNode>();
List<Tree> b1 = a1; // pretend this is allowed
接着我能够：
b1.add(new TreeThatIsntADataNode()); // Hey, b1 is a List<Tree>, so this is fine
for (DataNode dn : a1) {
// Uh-oh! There's stuff in a1 that isn't a DataNode!!
}
List 变体时获得所需的类型转换，但当使用像 List 这样的读写接口时则不允许。然而，Java 在泛型参数上不允许这种变异符号注释，(*) 即使它允许，你也不能将 List<A> 强制转换为 List<B>，除非 A 和 B 完全相同。
(*) 也就是说，在编写类时不允许。但你可以声明变量的类型为 List<? extends Tree>，这是可以的。
List<DataNode>并不扩展List<Tree>，即使DataNode扩展了Tree。这是因为在您的代码之后，您可以执行，这将是一个问题，因为a1中将有一个不是DataNode的元素。
您需要使用通配符来实现类似于此的功能。
List<DataNode> a1 = new ArrayList<DataNode>();
List<? extends Tree> b1 = a1;
b1.add(new Tree()); // compiler error, instead of runtime error
DataNode[]确实扩展了Tree[]。当时这似乎是合理的做法，但你可以尝试以下代码：DataNode[] a2 = new DataNode[1];
Tree[] b2 = a2; // this is okay
b2[0] = new Tree(); // this will cause ArrayStoreException since b2 is actually a DataNode[] and can't store a Tree
NotADataNode是Tree的另一个子类）：DataNode[] a2 = new DataNode[1];
Tree[] b2 = a2; // this is okay
b2[0] = new NotADataNode(); //compiles fine, causes runtime error
List<Tree> b1 = a1;，但是可以实现 List<? extends Tree> b1 = a1;。
但是，如果你使用后者，尝试使用 add 或 set 方法（或任何其他以 T 作为参数的方法）将导致编译错误。这样就不可能编译等效于上面数组问题的代码（不使用不安全转换）。
简短回答： 列表a1与列表b2不是相同类型； 在a1中，您可以放置任何扩展DataNode的对象类型。因此，它可能包含除Tree之外的其他类型。
DataNode 可能是 Tree 的子类型，但 List DataNode 不是 List Tree 的子类型。
https://docs.oracle.com/javase/tutorial/extra/generics/subtype.html
这是来自C#的答案，但我认为在这里实际上并不重要，因为原因是相同的。
“特别地，与数组类型不同，构造的引用类型不表现出“协变”转换。这意味着类型List<B>没有到List<A>的转换（无论是隐式还是显式），即使B是从A派生而来。同样，从List<B>到List<object>也不存在转换。
这样做的理由很简单：如果允许转换为List<A>，那么显然可以将类型A的值存储到列表中。但这将打破每个对象都是类型List<B>中类型B的值的不变性，否则在分配到集合类时可能会发生意外的失败。”
http://social.msdn.microsoft.com/forums/en-US/clr/thread/22e262ed-c3f8-40ed-baf3-2cbcc54a216e
这是一个使用类型擦除实现泛型的经典问题。
假设你的第一个例子确实可以工作。那么你就能够执行以下操作：
List<DataNode> a1 = new ArrayList<DataNode>();
List<Tree> b1 = a1; // suppose this works
b1.add(new Tree());
但是由于b1和a1引用同一个对象，这意味着a1现在引用了一个包含DataNode和Tree的List。如果您尝试获取最后一个元素，将会抛出一个异常（无法记住是哪个异常）。
说实话，我觉得这里的泛型实现有点懒。
从语义上讲，没有理由不允许你的第一个赋值。
顺便提一下，虽然我很喜欢C++中的模板，但是泛型和我们在这里遇到的愚蠢限制是我放弃Java的主要原因。
List<T> 表示可以添加元素的可变类型。如果您想要的话，您可以称其为一个糟糕的设计决策，但一旦做出了这个决策，通过防止添加错误类型的元素来保持类型安全是非常合理的。 - Jon Skeet
<? extends T>表示我们可以将任何 T 子类型放入一个集合中。那么如何将两个子类 T 的列表合并为一个 T 列表呢？ - Charles Follet<? extends T>表示“它是一些未知类型，它是 T 的子类型”。 - Jon Skeet