爲什麼不能分配I <？將Type>擴展爲<Type>？

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），但這是（明顯的）和理解的。

注：我在月食Luna下編碼，所以我不知道它是否是Luna Quirk，或者是否有我在泛型中不瞭解的東西。

Answer 1

Covariance vs contravariance vs invariance

• Class<? extends URLClassLoader>是不變。

結果，

Class<? extends URLClassLoader>是不是Class<URLClassLoader>

---

的亞型在Java一個變量可以保存相同類型或亞型的實例的引用。

因此，

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

是無效。

在另一方面，

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

將有效。

Answer 2

Why can't assign I <? extends Type> to <Type>?

因爲實際上<? extends Type>是<Type>的超類型！讓我們按照規範。

4.10.2 Subtyping among Class and Interface Types：

Given a generic type declaration C<F₁,...,F_n>, the direct supertypes of the parameterized type C<T₁,...,T_n> are all of the following:

• C<S₁,...,S_n>, where S_i contains T_i.

4.5.1. Type Arguments of Parameterized Types：

A type argument T₁ is said to contain another type argument T₂, written T₂ <= T₁, if the set of types denoted by T₂ is provably a subset of the set of types denoted by T₁ under the reflexive and transitive closure of the following rules:

• T <= ? extends T

因此，我們知道，因爲? extends URLClassLoader包含URLClassLoader，Class<? extends URLClassLoader>是Class<URLClassLoader>的超類型。

由於在assignment context內不允許narrowing reference conversion，因此會發生編譯錯誤。

還要注意的是，這意味着反向分配許可：

Class<URLClassLoader> concrete = URLClassLoader.class; 
Class<? extends URLClassLoader> wildcard = concrete;