Dynamische Methodenbindung
Methoden dürfen in Unterklassen redefiniert werden. Andererseits dürfen Unterklassenobjekte auf Oberklassenposition auftreten.
Damit nun ein Objekt stets "seine" Methode anwendet, darf sie nicht bereits zur Übersetzungszeit, anhand des vereinbarten Typs einer Variablen, ausgewählt werden, sondern erst zur Ausführungszeit, anhand des Typs des Inhalts der Variablen.
Man benötigt also dynamische, nicht statische Methoden-bindung.