Frage zu generischer ArrayList

[skuuta]

hallo zusammen,

ich bereite mich auf den scjp vor und habe ein problem beim kapitel generics.

folgender sachverhalt (etwas gekürzt):

public abstract class AnimalDocGenericTest {

	public abstract void checkUp();
	
	/**
	 * way 2 generics:
	 * ----------------------------------------------------------
	 * -------------------------------------------------------
	 * ------------------
	 * --------------------------------------------------------
	 * ---------------------------------------
	 */

	class Runner extends AnimalDocGenericTest {

		public void main(String[] args){

		List<? extends AnimalDocGenericTest> aDog = new ArrayList<Dog>();
		List<? extends AnimalDocGenericTest> aCat = new ArrayList<Cat>();
		List<? extends AnimalDocGenericTest> aBird = new ArrayList<Bird>();
		
		
		aDog.addAll(aDog);
	}

		class Dog extends AnimalDocGenericTest {
			public void checkUp() {
				System.out.println("dog specific ...");
			}
		}

		class Cat extends AnimalDocGenericTest {
			public void checkUp() {
				System.out.println("cat specific ...");
			}
		}

		class Bird extends AnimalDocGenericTest {
			public void checkUp() {
				System.out.println("bird specific ...");
			}
		}

		public void checkAnimals(
				ArrayList<? extends AnimalDocGenericTest> animalList) {
			for (AnimalDocGenericTest x : animalList) {
				x.checkUp();
			}
		}

		public void addAnimal(List<? super Dog> animals) {
			animals.add(new )

		}

		@Override
		public void checkUp() {
		}
	}

}

wieso funktioniert folgender aufruf nicht ?

aDog.add(new Dog());

ich glaubte das so verstanden zu haben, dass ich durch <? extends AnimalDocGenericTest> alles in die liste einfügen könnte, was vom objekt AnimalDocGenericTest ableitet.

dem ist aber nicht so. folgende fehlermeldung liefert der compiler:

The method add(capture#1-of ? extends AnimalDocGenericTest) in the type List<capture#1-of ? extends AnimalDocGenericTest> is not applicable for the arguments (AnimalDocGenericTest.Runner.Dog)

leider kann ich damit nichts anfangen. ich sehe mich noch als relativen anfänger und hoffe die frage einigermassen verständlich formuliert zu haben.

Vorab vielen dank für die hilfe
gruß
mario

 

[SlaterB]

aDog ist vom gleichen Typ wie aCat,

wenn du in aDog einen Dog einfügen könntest, dann auch in aCat
-> schon bist du in Teufels Küche, in der Cat-Liste wäre ein Dog


der echte generische Typ von aDog ist nicht bekannt, daher kann man absolut gar nix in aDog einfügen, alles wäre riskant,

aber man weiß, dass der echte generische Typ von aDog eine Subklasse von AnimalDocGenericTest ist,
daher sind die Elemente in der Liste auf AnimalDocGenericTest castbar,
was einem bei get() zu Gute kommt

 

[skuuta]

hi, danke erstmal für deine antwort. leider verstehe ich sie nicht so ganz.

was bringt es dann , wenn ich einen super typen deklariere aber keinen subtypen einfügen kann ?

könntest du das vielleicht mal in form eines bsp. codes darstellen, vielleicht kann ich davon ja ableiten wie es gemeint ist (bzw. wo mein denkfehler liegt)

ps: was meinst du mit echtem generischen typ ?

danke !!!!!

 

[SlaterB]

> was meinst du mit echtem generischen typ ?

aDog ist und wird immer bleiben eine ArrayList<Dog>(); mit echten Typ Dog,
in diesem Fall wird das nicht so deutlich, da eh niemand anders eine Referenz auf die ArrayList hat und den Typ gar nicht mehr herausfinden kann,

aber denkbar wäre ja, dass jemand die Liste noch als ArrayList<Dog> kennt und bei get() einen Dog haben will,
wenn dann eine Cat drin ist -> ClassCastException

> was bringt es dann , wenn ich einen super typen deklariere aber keinen subtypen einfügen kann ?

habe ich schon geschrieben, für get() bringt es den Vorteil, dass man da Objekte vom Typ AnimalDocGenericTest herausholt und nicht Object oder so

in einer normalen Liste
List<AnimalDocGenericTest> xy
kannst du übrigens auch SubTypen einfügen,
aber ArrayList<Dog> kannst du richtigerweise nicht auf List<AnimalDocGenericTest> casten,
sonst das Problem mit Katzen und Hunden, siehe oben

 

[diel2001]

Hallo
ich mache auch den SCJP (3 Wochen Prüfung) und ich kann dir sagen, warum es nicht geht
und zwar kannst du einer Liste mit einem ? nix mehr adden.
Nur eine komplette Liste zuweisen die eben extends Animal....
und noch was Zitat meines Java Dozenten "Keine Polymorphie in Spitzklammern<>"

Ich gebe dir mal ein paar Beispiele:

Alle Tiere sind SubKlassen von Animal 

List<Animal> animalListe = new ArrayList<Animal>(); //geht 
List animalListe = new ArrayList<Animal>(); //geht auch aber die Spitzklammern sieht der Compiler zur 
// Laufzeit nicht mehr das heißt es wird als Object behandelt  so wie folgende Zeile
List animalListe = new ArrayList();


List <Animal> animalListe = new ArrayList<Dog>(); //Compilerfehler "Keine Polymorphie in Spitzklammern"

List<Animal> animalListe = new ArrayList<Animal>(); //hier kann alles rein was von Animal erbt
animalListe.add(new Dog()); //geht kein Problem 
animalListe.add(new Cat()); // dito


So Beipiel zu deiner Sache
List <? extends Animal> animalListe;
List <Dog> dogListe = new ArrayList<Dog>();
dogListe.add(new Dog());
dogListe.add(new Dog());
dogListe.add(new Dog());
dogListe.add(new Dog());
animalListe = dogListe; //das geht bis hierhin
animalListe.add(new Dog());//CompilerFehler

So falls noch Fragen sind, ich beantworte sie gerne soweit ich kann  :lol:

 

[Landei]

wieso funktioniert folgender aufruf nicht ?

http://de.wikipedia.org/wiki/Kovarianz_(Informatik)

 

[skuuta]

ok , danke für eure hilfe !!

ich probiere dann mal alles aus. wenn ich noch weitere fragen habe , frage ich hier nochmal nach.

gruß
mario