为什么不能将我分配给？

Question

以下语句：

URLClassLoader ucl = (URLClassLoader) ClassLoader.getSystemClassLoader();
Class<URLClassLoader> uclc = ucl.getClass();

因错误而失败：

Type mismatch: cannot convert from Class<capture#2-of ? extends URLClassLoader> to Class<URLClassLoader>

为什么在这里需要演员表？

我发现了几篇文章，解释了为什么您不能进行反向操作（将T分配给a），但这是显而易见的（可以理解）。

注意：我在Eclipse Luna下对此进行编码，所以我不知道这是Luna Quirk还是泛型中确实不了解的东西。

Answer 1

协方差vs协方差vs不变性

• Class<? extends URLClassLoader>是 不变的 。

结果是，

Class<? extends URLClassLoader>是 不是一个亚型 的Class<URLClassLoader>

在Java中，变量可以保存 相同类型或子类型 的实例的引用。

因此，

Class<URLClassLoader> uclc = ucl.getClass();

是 无效的 。

另一方面，

Class<? extends URLClassLoader> uclc = ucl.getClass();

将是 有效的 。