Casting auf generische Subtypen einer generischen Klasse

Question

Angenommen, ich habe dies:

class Base<T> {} 

class Derived<T> extends Base<T> {} 

Dann in meinem Code, kann ich sicher ohne eine Warnung wie diese Stimmen:

public <T> void foo(Base<T> base) { 
    Derived<T> f = (Derived<T>) base; // fine, no warning 
} 

was in Ordnung ist. Wenn die abgeleitete Klasse jedoch mehr Typparameter hat, funktioniert sie nicht mehr:

class Base<T> {} 

class Derived<T, U> extends Base<T> {} 

public <T> void foo(Base<T> base) { 
    Derived<T, ?> f = (Derived<T, ?>) base; // unchecked warning! 
} 

Warum ist das? Gibt es etwas Offensichtliches, dass ich hier vermisse?

Answer 1

Das scheint wie ein Fehler für mich. Von JLS §5.5.2. Checked Casts and Unchecked Casts:

Gegossener von einem Typ S auf einen parametrierten Typ (§4.5) T ist nicht markiert , wenn nicht mindestens eine der folgenden Bedingungen gilt:

• S <: T

• Alle der Typargumente (§4.5.1) von T sind unbegrenzt Platzhalter

• T <: S a nd S hat kein Subtyp X anders als T, wo die Typargumente von X nicht in den Typargumente von T. enthalten

Angesichts Ihrer Typen Base<T> und Derived<T, ?> als S und T jeweils die ersten beiden Bedingungen halten eindeutig nicht an.

, dass die dritte Bedingung lässt - die nicht halten, wenn wir einen Subtyp von Base<T> andere als Derived<T, ?>, deren Typ Argumente identifizieren können, sind nicht in den Typargumente von Derived<T, ?> enthalten. Wenn die Warnung richtig ist, muss ein solcher Subtyp existieren, aber ich kann keinen identifizieren. Beispielsweise funktioniert Derived<?, ?> nicht, da es kein Subtyp Base<T> ist.