Perché non è possibile assegnare I <? estende Tipo> a <Type>?

Question

le seguenti dichiarazioni:

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

con errore:

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

Perchè ho bisogno di un cast, qui?

Ho trovato diversi post che spiegano il motivo per cui non è possibile fare il contrario (assegnare T a a), ma questo è (tipo) ovvio e comprensibile.

NOTA: Sto codificando questo sotto Eclipse Luna, quindi non so se si tratta di un Luna Quirk o se c'è qualcosa che non capisco davvero nei farmaci generici.

Answer 1

Covariance vs contravariance vs invariance

• Class<? extends URLClassLoader> è invariante.

Come risultato,

Class<? extends URLClassLoader> è non un sottotipo diClass<URLClassLoader>

---

In Java una variabile può contenere un riferimento di un'istanza di stesso tipo o sottotipo.

Quindi,

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

è valido.

D'altra parte,

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

sarebbe valida.

Answer 2

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

perché in realtà <? extends Type> è un supertipo di <Type>! Seguiamo le specifiche.

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

Per questo sappiamo che dal ? extends URLClassLoader contiene URLClassLoader, Class<? extends URLClassLoader> è un supertipo di Class<URLClassLoader>.

Poiché un narrowing reference conversion non è consentito in un assignment context, si verifica un errore di compilazione.

Si noti inoltre che questo significa che l'assegnazione inverso è consentito:

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