Generics Wildcard-Instanziierung

Question

Ich überprüfte den Code von jemand anderem neulich und ich stieß auf eine Zeile, die einige Bedenken aufwarf. Um zu vereinfachen, sagen wir, ich habe eine generische Klasse A und eine abstrakte Klasse B. Ist die folgende Instanziierung erlaubt und wenn ja, warum?

Object obj = new A<? extends B>(); 

Ich habe persönlich nie eine Instanziierung wie die oben genannten, obwohl eine Erklärung wie

A<? extends B> obj = null; 

würde sicher halten gesehen. Ich habe immer den Platzhalter in Generics verwendet, um Methodenparameter zu deklarieren, so dass ich einfach nicht die Erfahrung habe.

Answer 1

Eigentlich new A<? extends B>() kompiliert nicht. Es ist konsequent seit Java 5 ungültig gewesen.

Aber ich denke, Ihr ursprüngliches Beispiel war etwas wie new A<X<? extends B>>(). Letzteres ist in neueren Versionen von Java zulässig.

Die Idee ist, wenn ein Objekt instanziiert wird, kann der Wert für Typparameter beliebiger Nicht-Wildcard-Typ sein. ? extends B ist ein Platzhalter, daher ist er nicht zulässig. Aber X<? extends B> ist kein Platzhalter, obwohl es einen Platzhalter als eine Komponente hat. Sie können also sagen: new A<X<? extends B>>().

Die Regeln machen Sinn, wenn Sie so darüber nachdenken. Letztendlich ist es ein Nebenprodukt der grundlegenderen Regel, dass ein Wildcard-Typ wie ? extends B nicht der deklarierte Typ eines Feldes oder einer Variablen sein kann. Wenn A als

class A<T> { 
    T value; 
} 

definiert wird dann die hypothetische new A<? extends B>().value wäre ein Feld vom Typ? extends B deklariert werden. Da das illegal ist, ist auch die Instanziierung. Aber new A<X<? extends B>>() hat dieses Problem nicht.