java covariant 协变

Java 数组是协变（covariant）的，而泛型系统在不用 wildcard type 的 情况下是不协变的（invariant） 。比如可以把  Integer[]  赋值  Number[]  ，但是不能把  List<Integer>  赋值给  List<Number>  。