Dlaczego nie można przypisać I <? rozszerza Type> to <Type>?

Question

Poniższe stwierdzenia:

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

niepowodzeniem z błędem:

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

Dlaczego muszę obsadę, tutaj?

Znalazłem kilka postów wyjaśniających, dlaczego nie możesz zrobić odwrotnego kroku (przypisz T do a), ale jest to (rodzaj) oczywiste i zrozumiałe.

UWAGA: koduję to pod zaćmieniem Luny, więc nie wiem, czy to jest Luna Dziwka, czy jest coś, czego naprawdę nie rozumiem w przypadku leków generycznych.

Answer 1

Covariance vs contravariance vs invariance

• Class<? extends URLClassLoader> jest niezmienna.

W rezultacie

Class<? extends URLClassLoader> jest nie podtypu z Class<URLClassLoader>

---

W Java zmiennej może posiadać odniesienie wystąpienie samego typu lub podtypu.

Stąd

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

jest nieprawidłowy.

Z drugiej strony,

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

byłoby ważny.

Answer 2

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

Bo rzeczywiście <? extends Type> jest supertypem z <Type>! Zastosujmy się do specyfikacji.

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

Wiemy zatem, że skoro ? extends URLClassLoader zawiera URLClassLoader, Class<? extends URLClassLoader> jest supertypem z Class<URLClassLoader>.

Ponieważ narrowing reference conversion jest niedozwolone w ramach assignment context, pojawia się błąd kompilacji.

Należy również pamiętać, że oznacza to odwrotne zadanie jest dozwolone: ​​

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