"? Extends ParentClass" rende di sola lettura?

Question

Nel seguente codice Java, ho creato un elenco nums. Posso assegnare l'altra lista durante la dichiarazione. Ma non è possibile aggiungere nuovi articoli tranne lo null. Quindi, significa che lo nums è di sola lettura? Perché? È possibile aggiungere nuovi elementi in quella lista?

List<Integer> ints = new ArrayList<Integer>(); 
ints.add(1); 
ints.add(2); 

List<? extends Number> nums = ints; 
nums.add(3.14); //Generates error 
nums.addAll(ints); //Generates error 

nums.add(null);  //works 
System.out.println(nums.get(0)); //works 

Ho passato con questo link. Non riesco a ottenere la ragione esatta.

Answer 1

Is it possible to add new items in that list?

No ... perché quel codice non sa cosa sia "effettivamente" un elenco di. Immaginate se si potesse :

List<String> strings = new ArrayList<>(); 
List<? extends Object> objects = strings; // This is fine 
objects.add(new Object()); // Fortunately this *isn't* valid... 
System.out.println(strings.get(0).length()); // Or what would this do? 

In sostanza, quando si utilizza un carattere jolly come ? extends T si può ottenere solo valori fuori tramite l'API ... e quando si utilizza un carattere jolly come ? super T, si può mettere solo i valori in tramite l'API - perché questo è ciò che è sicuro.

Answer 2

Generics è solo tempo di compilazione.

Quindi il compilatore deciderà qual è il tipo effettivo che verrà utilizzato.

List<? extends Number> 

Significa che non siamo sicuri del tipo effettivo dell'oggetto.

Quindi il compilatore non si assicura quale sia il tipo effettivo dell'elenco.

Answer 3

No, non è di sola lettura ... anche se in genere è l'intenzione.

Dato un oggetto List<? extends Number>, il compilatore converts il suo tipo su List<X> dove X è un sottotipo sconosciuto di Numero. Pertanto, l'oggetto ha un metodo add(X). Possiamo chiamare il metodo con un argomento X ... ad esempio, null.

E poiché get() rendimenti X, potremmo anche chiamare add() con un valore da get() .... Direttamente invocando list.add(list.get(i)) non funziona, anche se ha un senso. Avremo bisogno di un po 'di helper.

L'esempio classico è Collections.reverse(List<? extends Object> list). Questo metodo modificherà lo list, nonostante il carattere jolly.

È inoltre possibile chiamare i metodi di modifica come clear(), ovviamente in qualsiasi elenco.

---

Detto, jolly è infatti principalmente per uso loco variance, e più spesso, esso trasmette l'intenzione da parte del progettista API se un tipo di parametro è destinato in o fuori. Ad esempio, dichiarando List<? super/extends Foo>, l'API esprime che intende immettere in oppure ottenere T di, l'elenco.

È un equivoco che il jolly effettui la lettura/la sola scrittura. Ma questo malinteso funziona nella maggior parte dei casi d'uso. E più persone che hanno questa idea sbagliata, più diventa una convenzione ...

vedere il mio articolo sul jolly - http://bayou.io/draft/Capturing_Wildcards.html

Answer 4

E 'aiuta quando si pensa di List<? extends Number> nums come List di un certo tipo di cosa che si estende Number , ma non puoi essere sicuro di cosa. Come tale, tutto ciò che fai con nums deve essere in grado di fare una cosa del genere.

L'aggiunta di null funziona perché null può essere inserito in assolutamente nulla. Tutto il resto che proverai ad aggiungere fallirà, perché il compilatore non può essere sicuro al 100% che la cosa che stai aggiungendo estende la cosa di cui è fatto l'elenco.

Invece di List<? extends Number> nums do List<Number> nums, perché è ancora possibile inserire qualsiasi cosa che si estende Number.

? non significa "nulla", è più vicino al significato di "specifico ma sconosciuto".