Dynamisches/Statisches Binden ??

[JimmyT]

Hi,

Ich habe mal eine Frage zu folgendem Quellcode.

Warum gibt es in der 2. Zeile von unten "System.out.println("Class Name of o is "+ o.m() );" eine Fehlermeldung?
Müsste der Compiler nicht die Methode m() in der Klasse B1 erkennen?
Eigentlich müßte die dynamische Methode doch im dynamischen Typ zu finden sein (hier Klasse B1)?

Wenn die Methode m() in Klasse A1 nicht auskommentiert ist, dann wird die Methode m() in Klasse B1 erkannt und B1 ausgegeben.

Warum ist das so?

************************************************
class A1 {
public String wurst() { return "A-Wurst"; };
/*
public String m() {
return "A1";
}*/
}

class B1 extends A1 {
public String wurst() { return "B-Wurst jami jami"; };
public String m() {
return "B1";
}
}

public class Dynamisches_Binden {
public static void main(String[] args) {
A1 o = new B1();
System.out.println("Class Name of o is "+ o.m() );
System.out.println("Class Name of o is "+ o.wurst() );
}
}
************************************************

Für jeden Tipp dankbar.

Gruß
jimmy

 

[Illuvatar]

Müsste der Compiler nicht die Methode m() in der Klasse B1 erkennen?

Nein. Der Compiler weiß nur, dass die Variable vom Typ A1 ist. Der Compiler *kann* gar nicht wissen, was der Laufzeit-Typ ist. Wie sollte das denn funktionieren? Zur Laufzeit könnte das Objekt ja von sonstwo kommen, evtl. sogar zu einer Klasse gehören, die dem Compiler gar nicht bekannt ist.

 

[JimmyT]

Nein. Der Compiler weiß nur, dass die Variable vom Typ A1 ist. Der Compiler *kann* gar nicht wissen, was der Laufzeit-Typ ist. Wie sollte das denn funktionieren? Zur Laufzeit könnte das Objekt ja von sonstwo kommen, evtl. sogar zu einer Klasse gehören, die dem Compiler gar nicht bekannt ist.

Ja, ok.
Aber die Fehlermeldung verstehe ich trotzdem nicht.

Ich meine:
Es wird ein Objekt o erzeugt mit statischen Typ A1 und dynamischen Typ B1.
Wenn dann die dynamische Methode m() aufgerufen wird, müßte sie doch (wegen dynamischer Typ B1) ausgeführt und B1 ausgegeben werden?

Wenn das so nicht stimmt, dann bitte Erklärung weshalb nicht?
Wenn das so stimmt,
weshalb gibt's dann in dieser Form eine Fehlermeldung und wenn ich die Kommentare in Klasse A1 wegnehme läuft alles einwandfrei?

gruß
Jimmy

 

[Illuvatar]

Wenn deine Klasse A1 die Methode m hat, dann bedeutet das für den Compiler, dass jedes A1-Objekt hat die Fähigkeit hat, "m" zu machen. In Klasse A2 wird diese Fähigkeit dann verändert, und das geschieht dynamisch. Wenn A1 grundsätzlich keine Fähigkeit "m" besitzt - dann weiß der Compiler nicht, dass der Variable ein Objekt von einem Typ zugewiesen wird, der zufällig doch "m" machen kann. In der Variable o könnte ja auch irgendwie ein ganz anderes Objekt reingeraten, das keine Methode m besitzt, sondern eine Methode xyz(). Trotzdem kannst du ja nicht o.xyz() schreiben, nur weil da eventuell ein Objekt sein könnte mit der "xyz"-Fähigkeit.

 

[JimmyT]

Wenn deine Klasse A1 die Methode m hat, dann bedeutet das für den Compiler, dass jedes A1-Objekt hat die Fähigkeit hat, "m" zu machen. In Klasse A2 wird diese Fähigkeit dann verändert, und das geschieht dynamisch. Wenn A1 grundsätzlich keine Fähigkeit "m" besitzt - dann weiß der Compiler nicht, dass der Variable ein Objekt von einem Typ zugewiesen wird, der zufällig doch "m" machen kann. In der Variable o könnte ja auch irgendwie ein ganz anderes Objekt reingeraten, das keine Methode m besitzt, sondern eine Methode xyz(). Trotzdem kannst du ja nicht o.xyz() schreiben, nur weil da eventuell ein Objekt sein könnte mit der "xyz"-Fähigkeit.

Erstmal danke dir für deine schnellen Antworten!

Bedeutet das:
Jede dynamische Methode in B1 muss auch in A1 deklariert und definiert werden damit die Methoden in B1 von Objekt o ausgeführt werden können??

Und wie sieht das mit statischen Methoden aus?
Also als Beispiel:
Beide Methoden m() in A1 und B1 wären static?
Dann würde bei o.m() doch auf jeden Fall A1 ausgegeben (wegen statischer Typ A1), oder nicht?

 

[Illuvatar]

Bedeutet das:
Jede dynamische Methode in B1 muss auch in A1 deklariert und definiert werden damit die Methoden in B1 von Objekt o ausgeführt werden können??

Ja.

Und wie sieht das mit statischen Methoden aus?
Also als Beispiel:
Beide Methoden m() in A1 und B1 wären static?
Dann würde bei o.m() doch auf jeden Fall A1 ausgegeben (wegen statischer Typ A1), oder nicht?

Ich denke das stimmt so, ja. Bin mir grad nicht 100% sicher, da man eher selten mit statischen Methoden zu tun hat - aber etwas anderes würde keinen Sinn machen.
o.m() wäre dann nur eine Art Hilfsschreibweise - zwar erlaubt, aber mein Eclipse ist so eingestellt dass es bei so etwas warnt. o.m() wäre nämlich absolut gleichbedeutend mit A1.m().