Polymorphie-Verständnis

[KogoroMori21]

[CODE lang="java" title="Y1"]public class Y1{
protected EinUndAusgabe io =
new EinUndAusgabe();
public void test(){
io.ausgeben("1\n");
}
}[/CODE]

[CODE lang="java" title="Y2 extends Y1"]public class Y2 extends Y1{
@Override
public void test(){
io.ausgeben("2\n");
}

public void do1(){
io.ausgeben("y2:do1 ");
test();
}

public void do2(){
io.ausgeben("y2:do2 ");
super.test();
}

public void do3(){
io.ausgeben("y2:do3 ");
do4();
}

public void do4(){
io.ausgeben("3\n");
}
}[/CODE]

[CODE lang="java" title="Y3 extends Y2"]public class Y3 extends Y2{
@Override
public void do1(){
io.ausgeben("y3:do1 ");
test();
}

@Override
public void do2(){
io.ausgeben("y3:do2 ");
super.do3();
}

@Override
public void do3(){
io.ausgeben("y3:do3 ");
super.do2();
}

@Override
public void do4(){
io.ausgeben("y3:do4 ");
do2();
}
}[/CODE]


Guten Tag liebes Java-Forum,
ich kriege ein error für x3.do2() und für x3.do4() doch ich verstehe leider nicht so ganz warum, laut meinem Verständnis müsste für

x3.do2():
"y3:do2 y2:do3 3"
rauskommen und für

x3.do4():
"y3:do4 y3:do2 y2:do3 3"
rauskommen.

Doch stattdessen kriege ich eine Error-Meldung und es wird nichts geprintet...

 

[temi]

Error-Meldung

Und welche?

 

[KogoroMori21]

Für x3.do2()



und für x3.do4()

 

[httpdigest]

public class Y2 extends Y1 {
  ...
  public void do3(){
    io.ausgeben("y2:do3 ");
    do4(); // <- ist _auch_ ein dynamisch "dispatchter" Aufruf!
  }
  ...
}

Du hast dort eine Endlosrekursion, weil der Aufruf von this.do4() innerhalb der Methode Y2.do3() eben auf dem Laufzeittyp des aktuellen this-Objektes aufgerufen wird und dieser Laufzeittyp ist ja nach wie vor Y3 und Y3 definiert ebenfalls eine do4() Methode, überschreibt also die von Y2.

Bei nicht-private Instanzmethoden wird also immer die am meisten überschriebene Methode in der Typhierarchie des Empfängerobjektes des Methodenaufrufes ausgeführt. Der Empfänger des Aufrufes do4() ist implizit this und der Laufzeittyp von this in deinen zwei Aufrufen ist jeweils beide Male Y3.

Somit wird die Überschreibung von Y3.do4() aufgerufen und nicht Y2.do4(), was du vermutetest.

 

[Jw456]

Also nach meinem Verständnis geht es nicht in einer Methode die Superklasse Methode einer anderen aufzurufen.

In einer override Methode kannst du die original super. Methode aufrufen aber nicht aus einer anderen.

 

[kneitzel]

Also nach meinem Verständnis geht es nicht in einer Methode die Superklasse Methode einer anderen aufzurufen.

In einer override Methode kannst du die original super. Methode aufrufen aber nicht aus einer anderen.

Also du kannst aus einer Methode eine andere Methode der Klasse aufrufen, von der Du abgeleitet hast.

Das siehst Du ja zum einem beim TE:

 public void do2(){
 io.ausgeben("y2:do2 ");
 super.test();
 }

Er konnte es übersetzen und ausführen (Und zu einer StackOverflowException kommen).

Man kann es aber auch jederzeit austesten. (Also einfach mal selbst ein paar kleine Testklassen schreiben )

Oder man schaut sich die JLS an. In 15.12 wird beschrieben, wie so ein Aufruf aussehen kann:

Chapter 15. Expressions

docs.oracle.com