Frage an Vererbungsexperten

[Landreas]

Hallo, ich hätte mal eine Frage an alle, die sich sehr gut mit Vererbung in Java auskennen.
Wir hatten vor Kurzem in einer Klausur folgende Aufgabe von einer Vaterklasse mit den
Methoden input() und output() zwei Sohnklassen abzuleiten, die diese Methoden überschreiben.
Soweit alles klar, danach sollte ein Array abwechselnd mit Objekten der beiden Sohnklassen
gefüllt werden. hier war nun der Lösungsansatz:

	Vater[] arr = new Vater[2][3];
	arr[0][1] = new SohnA ();
	arr[0][2] = new SohnB ();
	...

Nun habe ich ja hier einen impliziten Up-Cast vorgenommen, d.h. eine Referenz auf ein Sohnobjekt
wurde einer Referenz auf ein Vaterobjekt zugewiesen. Nun dachte ich könnte man aber nur auf die
Vateranteile der einzelnen Objekte zugreifen. Das Programm führte jedoch ohne Probleme die von den
Sohnklassen überschriebenen Methoden input() und output() aus und das verstehe ich nicht so recht ?
Woher will denn der Compiler jetzt wissen, von welchem Typ das Objekt wirklich ist, auf das die
Referenzvariable vom Typ Vater zeigt ?

 

[Beni]

Weil während der Laufzeit im Speicher steht, was für ein Objekt da in Wirklichkeit angesprochen wird.
Wenn das "new XXX" ausgeführt wird, ist ja immer klar, was für ein Typ das gemeint ist. Diese Information wird (bildlich gesprochen) jedem Objekt angehängt, und somit kann man jedes Objekt fragen, was es in Wirklichkeit ist.

In diesem Buch wird das erklärt.

P.S.

Hallo, ich hätte mal eine Frage an alle, die sich sehr gut mit Vererbung in Java auskennen.

Das sind absolute Grundlagen, dazu benötigt man keinen Experten... :bloed:

 

[Landreas]

Ja aber warum funktioniert das dann nur für überschriebene Methoden ? Der Gedanke des impliziten Up-Casts ist es doch das Objekt der Sohnklasse als Objekt der Vaterklasse auftreten zu lassen, d.h. neue in der Sohnklasse dazu ekommene Methoden sind über arr[0][0] nicht aufrufbar. Und meine Frage zielte eigentlich darauf, warum eben in der Sohnklasse überschriebene Methoden ausgeführt werden aber keine neuen Methoden der Sohnklasse... Und so grundlegend ist das auch wieder nicht... ich finde das schon recht tricky

 

[Beni]

Du musst unterscheiden zwischen dem Typ der Variable, und dem Typ des Objektes.

Wenn du ein "Vater vater" hast, kannst du sicher sein, dass die Variable vater auf ein Objekt zeigt, das mindestens den Typ Vater hat. D.h. du kannst gefahrlos alle Methoden die bereits in Vater bekannt waren aufrufen. Du kannst nicht Methoden von Sohn aufrufen, denn du weisst ja nicht, ob "vater" auf einen Sohn zeigt.

Aber: das Objekt auf das "vater" zeigt, weiss ob es ein Sohn oder ein Vater ist.

Wenn du eine Methode aufrufst, z.B. über "vater.output", dann wird dieser Aufruf weitergeleitet an das Objekt.
Ist es ein Vater-Objekt, schaut es in einer Tabelle nach, und findet raus, dass es tatsächlich eine Methode output besitzt (die ausgeführt werden kann).
Ist es ein Sohn-Objekt, schaut es in einer Tabelle nach, und findet output sogar zweimal. In diesem Fall entscheidet ein Objekt immer, dass die neuste Methode (also in diesem Fall die von Sohn) ausgeführt wird.

 

[mic_checker]

Was du meinst ist Polymorphismus - was du nachlesen kannst wenn du Beni's Link folgst.

Was du mit deiner anderen Frage meinst versteh ich gerad nicht so recht. Du überschreibst in der Unterklasse eine Methode der Superklasse, beim Aufruf dieser Methode wird dann die Methode der Unterklasse korrekt ausgeführt.
So wie ich dich verstehe fügst du neue Methoden hinzu, also Methoden die ursprünglich nicht in der Superklasse enthalten waren.

Meinst du das so ?