Generics und Vererbung

[mindbreaker]

Ein Auszug aus dem Buch Java-ist-auch-eine-Insel
http://www.galileocomputing.de/openbook/javainsel4/javainsel_06_012.htm#Xxx999378

=============================================================================

.....
class Box<T>
{
  private T val;

  void setValue( T val )
  {
    this.val = val;
  }

  T getValue()
  {
    return val;
  }
}

......

6.13.3 Generics und Vererbung

In Zusammenhang mit Generis und Vererbung muss beachtet werden, dass die übliche Substitution nicht funktioniert. Wenn Disko eine Unterklasse von Gebäude ist, so ist Box<Disko> nicht Unterklasse von Box<Gebäude>! Der Compiler meckert aber den Versuch schon an, so dass wir vor der Versuchung gehindert werden.


Box<Gebäude> box;
box = new Box<Disko>(); // incompatible types

Die Erklärung ist schnell an einem Beispiel gezeigt. Nehmen wir noch eine Kirche dazu und halten in Erinnerung, dass Kirche und Disko beides Unterklassen von Gebäude sind. Da nun die Box in setValue() alles vom Typ Gebäude aufnimmt – und Kirchen und Diskotheken sind Gebäude – würde erst einmal funktionieren:


box.setValue( new Kirche() );

Doch da die Box tatsächlich mit Diskotheken aufgebaut wurde, passt die Kirche hier nicht rein. Verändern wir die Initialisierung der Box in box = new Box<Disko>(); funktioniert das natürlich wieder.

=============================================================================

Das zweite Beispiel vertehe ich nicht ganz?


Dies hier sollte funktionieren:

Box<Disko> box = new Box<Disko>();
box.setValue(new Disko());

aber was funktioniert sonst noch ?

Gruß Mindbreaker

 

[bygones]

mhm - was ist dein Problem?
das zweite Beispiel hat ja nichts mit Vererbung zutun, sondern ist Generics pur. Du legst den Typ der Box fest und addest dann nur diesen Typ...

aber was funktioniert sonst noch ?

die Welt - sorry wie ? was ? wo?

 

[Bleiglanz]

vielleichts ists so klarer

Obst Oberklasse von Äpfel

Frage: Ist Kiste<Obst> Oberklasse von Kiste<Äpfel> ?

NEIN, weil - am Anfang überraschend - ein Obstkiste keine Verallgemeinerung einer Apfelkiste ist. Wegen des Substitutionsprinzips würde man fordern, dass man immer die Unterklasse verwenden kann, wo die Oberklasse eingesetzt wird, und genau das ist unmöglich

Denn: in eine Obstkiste kann man Obst reinlegen (z.B. Birnen..), das geht aber bei einer Apfelkiste nicht!

 

[KISS]

dann nim doch Kiste<? extends Obst> als oberklasse

 

[Bleiglanz]

das wahr ja nicht die Frage, die Wildcards gibt es ja nicht zuletzt deswegen, weil Kiste<Obst> keine Oberklasse von Kiste<Äpfel> ist

natürlich ist Kiste<? extends Obst> die "richtige" bzw. "passende" Oberklasse für Kiste<Äpfel>, hab ja nichts anderes behauptet