Warum kann ich nicht I <? erweitert Typ> auf <Type>?

Question

Die folgenden Aussagen:

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

mit Fehler fehlschlagen:

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

Warum brauche ich eine Besetzung, hier?

Ich habe mehrere Beiträge gefunden, die erklären, warum Sie nicht das Gegenteil tun können (T zu a zuordnen), aber das ist (irgendwie) offensichtlich und verständlich.

HINWEIS: Ich kodiere dies unter Sonnenfinsternis Luna, also weiß ich nicht, ob es eine Luna Quirk ist oder ob ich etwas wirklich nicht verstehe in Generika.

Answer 1

Covariance vs contravariance vs invariance

• Class<? extends URLClassLoader> ist invariant.

Als Ergebnis

Class<? extends URLClassLoader> ist kein Subtyp vonClass<URLClassLoader>

---

In Java eine Variable eine Referenz von einer Instanz von gleichen Typs oder Subtyps halten kann. Daher

,

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

ist ungültig.

Auf der anderen Seite,

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

würde gültig sein.

Answer 2

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

Denn eigentlich <? extends Type> ist ein übergeordneter Typ von <Type>! Folgen wir der Spezifikation.

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

Wir wissen daher, dass seit ? extends URLClassLoaderURLClassLoader enthält, Class<? extends URLClassLoader> ein übergeordneter Typ von Class<URLClassLoader> ist.

Da ein narrowing reference conversion innerhalb einer assignment context nicht zulässig ist, tritt ein Kompilierungsfehler auf.

Beachten Sie auch, dass dies bedeutet, dass die umgekehrte Zuordnung erlaubt ist:

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