Generics und Zuweisuzngskompatibilität

[Biesterfeld]

Hallo,

kurzes Problem: Ich habe

class Y

und

class X extends Y

warum funktioniert dann folgendes nicht:

class Z{
  
  public Z( Set<X> x ){
    doSth( x );
  }

  public void doSth( Set<Y> y ){
    // ...
  }
  
}

Ich hätte jetzt erwartet, dass Set<X> zu Set<Y> zuweisungskompatibel ist. Isses aber nicht. Kann mir das vielleicht jemand erklären?

Vielen Dank
Biesterfeld

 

[Bleiglanz]

steht überall in den diversen Tutorials

Y = Obst

X = Äpfel


SetY = eine Kiste Obst

SetX = eine Kiste Äpfel

leider ist eine Kiste Äpfel keine Kiste Obst, denn in letztere kann man jedes Obst reinlegen (z.B. Birnen)

aber in die Kiste Äpfel darfst du keine Birnen reinlegen

(es ist ganz anders als bei Arrays!)

 

[Biesterfeld]

Hej,

leider ist eine Kiste Äpfel keine Kiste Obst

aha ... diesem, aus dem Leben gegriffenen Beispiel kann ich genau _nicht_ zustimmen.

denn in letztere kann man jedes Obst reinlegen (z.B. Birnen)

auch Äpfel? Genau das wollte ich nämlich tun.

Weil das aber nicht geht, werde ich nun auf Generics verzichten (ne Kiste Dingsbums nehmen), Äpfel reinlegen und was rauskommt nach Obst casten. Das funktioniert nämlich. Deswegen versteh ich aber auch nicht, warum es mit Generics nicht geht.

Biesterfeld

 

[Roar]

du kansnt in eine kiste obst sowohl birnen als auch äpfel reinlegen, aber in enie kiste äpfel keine birnen, denn wo äpfel draufsteht müssen auch äpfel rein.

suchst du vielleicht: public void doSth( Set<? extends Y> y )

 

[Bleiglanz]

Genau das wollte ich nämlich tun.

dafür gibt es die Wildcards Kiste<? extends Obst>

das Problem ist

Kiste<Apfel> ka = new Kiste<Apfel>();
Kiste<Obst> ko = ka; // zuweisungskompatibel
ko.add(new Apfel()); // das ist trivial
ko.add(new Birne()); // das muss gehen bei einer Kiste<Obst>
Apfel a = ka.get(1); // es ist garantiert, dass da ein Apfel kommt ...

 

[Biesterfeld]

Ich hab zu schlampig gesucht.
Vielen Dank, das wars.