泛型演员问题

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>>。

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

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

Answer 2

这将编译：

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

Answer 3

Arrays.asList(B.class);

被泛化为

List<Class<B>> numbers = Arrays.asList(B.class);

因为它只有 1 个类型为 T 的属性与参数化类型匹配（在本例中为 B.class）。

Answer 4

该死的好问题，我不知道答案，但这里有一个解决方法：

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

Answer 5

只是补充一下，我们可以重写代码如下

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

List<Class<? extends A>> numbers = asListA;
List<Class<? extends A>> numbers2 = asListB; // it will fail here

@Inerdia 已经解释了细节。

Answer 6

这是泛型中的协方差/逆变问题。以下 SO 问题应该可以帮助您理解和解决问题：

Demonstrate covariance and contravariance in Java?

How would contravariance be used in Java generics?