Generics in Java-Wildcards

Question

List<Integer> ints = new ArrayList<Integer>(); 
ints.add(1); ints.add(2); 
List<? extends Number> nums = ints; 
nums.add(3.14); // compile-time error 
assertints.toString().equals("[1, 2, 3.14]"); 

Warum bekommen wir Kompilierzeit Fehler?

Answer 1

Dies ist wegen Typ löschen in Java-Generika. Sie können der Liste keine neuen Elemente hinzufügen, da ihr Typparameter zur Kompilierzeit nicht definiert ist. Die Liste List<? extends Number> nums bedeutet, dass Sie add Methode nicht aufrufen können.

Answer 2

List<? extends Number> bedeutet, dass wir nicht wissen, welcher Typ in der Liste ist, außer der Tatsache, dass es sich um eine Number handelt. In diesem Fall ist es ein List<Integer>. Auch wenn Sie es einem List<? extends Number> zuweisen, bleibt es grundsätzlich ein List<Integer>. Und Sie können 3,14 nicht zu einer solchen Liste hinzufügen.

Wenn dies erlaubt wurde, der folgende Code wäre gültig:

List<Integer> ints = new ArrayList<Integer>(); 
ints.add(1); ints.add(2); 
List<? extends Number> nums = ints; 
nums.add(3.14); 
Integer third = ints.get(2); 

Aber ints.get(2) keine ganze Zahl ist, so wäre es hier eine Ausnahme werfen. Besser diese Art von Problemen zur Kompilierzeit zu erfassen.

Answer 3

Ich denke, der wichtige Teil hier ist die Instanziierung (new ArrayList<Integer>()), die eindeutig Integer an die List-Klasse übergibt. Die linke Diamant-Notation ist nicht so wichtig, solange sie kompatibel ist. Da Sie später das generische als obere Grenze von Integer, hauptsächlich Number und seine Subtypen definiert haben, ist Java in Ordnung, weil es immer noch mit den Ganzzahlen umgehen kann. Das Objekt ist im Wesentlichen immer noch ein List<Integer>.

Dies ist wie das Zuweisen einer Zeichenfolge zu einem Objekt. Es funktioniert, weil Object ein Supertyp von String ist. Hier ist die List<? extends Number> eine Art Supertype von List<Integer>. (Ich weiß, dass das Wort "Supertyp" hier falsch ist, also können Sie mich korrigieren.)

Die Instanziierung mit Generika ist eine Art Instanz der Klasse selbst und eines Objekts. Einige andere Sprachen, z.B. Python verwendet den Begriff "Metaklassen" für diese Art von Verhalten.