泛型转换问题

Question

这是我的问题：鉴于这些课程

class A {}
class B extends A {}

此代码编译：

    List<Class<? extends A>> list = Arrays.asList(B.class, A.class);

并且这不：

    List<Class<? extends A>> anotherList = Arrays.asList(B.class);

是什么赋予了？

更新： 此代码可在Java 8中编译。显然是由于“改进的类型推断”。

Answer 1

在第一个示例中，Arrays.asList()调用的推断类型为List<Class<? extends A>>，显然可以将其分配给相同类型的变量。

在第二个示例中，右侧的类型为List<Class<B>>。虽然Class<B> 是 分配给Class<? extends A>，List<Class<B>> 不 分配给List<Class<? extends A>>。它可以分配给List<? extends Class<? extends A>>。

其原因与a List<B>不可分配给的原因相同List<A>。如果是这样，它将使以下（非类型安全的）代码成为可能：

List<Class<B>> bb = new ArrayList<B>();
List<Class<? extends A>> aa = bb;
aa.add(A.class);