Bitte helfen Sie mir mit diesem:Java Generika Sammlung von generischem Typ mit Bounded Wildcard
Wenn Lion IS-A Animal und Cage<T> gegeben:
Cage<? extends Animal> c = new Cage<Lion>(); // ok,
aber
Set<Cage<? extends Animal>> cc = new HashSet<Cage<Lion>>(); // not ok
Was ich hier nicht sehen ?
Bei der Zuweisung zu einer Variablen (Set<T>) mit einem nicht-Wildcard-generischen Typ T Das Objekt, das zugewiesen werden soll, muss genau T als generischer Typ haben (einschließlich aller generischen Typparameter T, Platzhalter und Nicht-Platzhalter). In Ihrem Fall T ist Cage<Lion>, die nicht den gleichen Typ wie Cage<? extends Animal> ist.
Was Sie tun können, weil Cage<Lion>-Cage<? extends Animal> zuordenbar ist, ist die Wildcard-Typ:
Set<? extends Cage<? extends Animal>> a = new Set<Cage<Lion>>();
Das ist falsch, denn wenn es erlaubt würde, dann würde dies legal sein:
Set<Cage<? extends Animal>> cc = new HashSet<Cage<Lion>>();
cc.add(new Cage<Tiger>()); // legal -- Cage<Tiger> is a Cage<? extends Animal>
Cage<Tiger> im Rahmen der Erklärung ist, aber nicht die Definition, so würde dies zum Absturz bringen.
Wie kann Java entscheiden, ob Kontra/Kovarianz oder nicht anwenden? – Simon
Mein Verständnis Java behandelt Generics als invariant (aber, seltsamerweise, behandelt Arrays als Kovarianten und Typprüfungen zur Laufzeit), sondern durch Schreiben von Methoden mit geeigneten Platzhalterparametern (extends oder super) und ein bisschen Casting und Unterdrückung von ungeprüften Conversions kann den Eindruck vermitteln, was in Ihrem Fall angemessen ist. – pdbartlett
Sie benötigen:
Set<? extends List<? extends Number>> cc = new HashSet<ArrayList<Integer>>();
zu erklären, warum ... Ich denke, zurück bis zu einer einfacheren Version Ihres Beispiel:
Number a = new Integer(1); // OK
Set<Number> b = new HashSet<Integer>(); // not OK
dies nicht funktioniert, weil es erlauben würde,
+1 für die tatsächliche Lösung. –
Danke für mich, das war der fehlende Teil. –