Creazione di caratteri jolly generici

Question

Stavo rivedendo il codice di qualcun altro l'altro giorno e mi sono imbattuto in una riga che sollevava qualche preoccupazione. Per semplificare, diciamo che ho una Classe A generica e una Classe B. astratta. È consentita la seguente istanziazione e, in tal caso, perché?

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

personalmente ho mai visto un esemplificazione come il precedente, anche se una dichiarazione come

A<? extends B> obj = null; 

sarebbe certamente tenere. Ho sempre usato il carattere jolly nei generici per dichiarare i parametri del metodo, quindi potrei non avere l'esperienza.

Answer 1

In realtà new A<? extends B>() non viene compilato. È stato costantemente illegale da Java 5.

Ma immagino che il tuo esempio originale fosse qualcosa come new A<X<? extends B>>(). Quest'ultimo è legale nelle versioni recenti di Java.

L'idea è, quando si crea un'istanza di un oggetto, il valore per i parametri di tipo può essere qualsiasi tipo non jolly. ? extends B è un tipo jolly, quindi non è consentito. Ma X<? extends B> non è un tipo jolly, anche se è ha un tipo jolly come componente un. Quindi puoi dire legalmente chiamare new A<X<? extends B>>().

Le regole hanno senso se ci pensi in questo modo. In definitiva si tratta di un sottoprodotto della regola più fondamentale che un tipo jolly come ? extends B non può essere il dichiarato di tipo di un campo o variabile. Se A è definito come

class A<T> { 
    T value; 
} 

poi l'ipotetica new A<? extends B>().value sarebbe un campo dichiarata di tipo? extends B. Dal momento che ciò è illegale, lo è anche l'istanziazione. Ma new A<X<? extends B>>() non ha questo problema.