Antwort

In Java bestimmt der Mechanismus des dynamischen Bindens (dynamic binding), welche Methode zur Laufzeit (runtime) aufgerufen wird und nicht zur Compile-Zeit. Der Hauptunterschied zum statischen Binden (static binding) besteht darin, dass beispielsweise private, statische, finale Methoden und Methoden zur Compile-Zeit nicht überschrieben werden (Binding erfolgt zur Compile-Zeit), während häufig instanzierte Methoden (einschließlich überschriebenen Methoden) dynamisch gebunden werden. Dies ermöglicht Polymorphismus.

Beispiel:

class Animal {
    void makeSound() { System.out.println("Ein Geräusch"); }
}
class Dog extends Animal {
    void makeSound() { System.out.println("Wuff"); }
}
public class Test {
    public static void main(String[] args) {
        Animal a = new Dog();
        a.makeSound(); // Gibt aus: Wuff (dynamisches Binden)
    }
}

Hier wird die Methode makeSound() dynamisch gebunden – die JVM bestimmt zur Laufzeit, welche Variante aufgerufen werden soll.

Fangfrage

Frage: "Wenn eine Variable vom Typ eines Interfaces oder einer abstrakten Klasse deklariert wird und ihr eine Instanz einer abgeleiteten Klasse zugewiesen wird, welche Methode wird aufgerufen, wenn auf die überschriebenen Methode zugegriffen wird? Wie bestimmt der Compiler dies?"

Häufige Fehler: Viele glauben, dass die Methode vom Typ des Verweises zur Compile-Zeit aufgerufen wird, aber dies erfolgt zur Laufzeit durch die JVM.

Richtige Antwort: Die JVM verwendet den Typ des realen Objekts zum Aufrufen der Methode (dynamisches Binden) und nicht den Typ des Verweises.

Shape s = new Circle();
s.draw(); // es wird draw() aus Circle aufgerufen, nicht aus Shape

Beispiele für reale Fehler aufgrund fehlenden Wissens über die Feinheiten des Themas

---

Geschichte

In einem größeren Bankprojekt überschritt ein Entwickler die Methoden toString() und equals(), in der Annahme, dass beim Deklarieren einer Variable über ein Interface die Methode über das Interface aufgerufen wird. Dadurch fand der Objektvergleich fehlerhaft statt - es wurden Referenzen und nicht Werte verglichen, was zu einer fehlerhaften Logik beim Vergleichen von Kunden führte, um Duplikate zu finden.

---

Geschichte

In einem E-Commerce-Projekt erstellte ein Entwickler die Basisklasse Product und die abgeleitete Klasse ElectronicProduct. In einem Array Product[] wurden Objekte beider Typen gespeichert. Beim Ausgeben des Produkts über eine Methode, die in ElectronicProduct überschrieben wurde, wurde nur die Information der Basisklasse ausgegeben, da eine statische Methode aufgerufen wurde! Der Fehler wurde vor der Veröffentlichung bemerkt.

---

Geschichte

In einem Projekt zur Transportmodellierung wurde das Factory-Muster verwendet. Der Entwickler bemerkte nicht, dass er mit Feldern und nicht mit Methoden arbeitet: Der Zugriff auf ein Feld der abgeleiteten Klasse führte zur Rückgabe des Wertes der Basisklasse und nicht des überschriebenen, da Felder nicht polymorph sind! Das System berechnete die Routen inkorrekt und gab allen Objekten den Typ "Transport" aus.