Übersetzung von OO-Sprachen

Kapitel 2: Objektorientierte Programmiersprachenbzw. implementieren, wodurch sichergestellt wird, das Methoden und Attribute beiInstanziierung einer Klasse in jedem Fall zur Verfügung stehen.Listing 1 enthält für die zwei sehr verbreiteten Sprachen Java und C#, die beide keineMehrfachvererbung unterstützen, den Syntax für die Verwendung von Interfaces.// Javaclass Klassenname implements [Interfaceliste] {...}// C#class Klassenname : [Interfaceliste] {...}Listing 1: Realisierung von Schnittstellen in Java und C#Aus den Vererbungshierarchien von typisierten objektorientierten Sprachen ergebensich drei aufeinander aufbauende Regeln, die elementare Fähigkeiten der Klassen undObjektinstanzen regeln und festlegen.Die erste Regel, die Teiltypregel besagt, dass bei Erwartung eines Objektes A (z.B. beieiner Zuweisung oder als Rückgabewert einer Methode) auch Objekte einer Unterklassezugewiesen bzw. zurückgegeben werden können [WM07, S. 178]. Jedes Objekt einerUnterklasse ist automatisch auch Element der Oberklasse. Auf das soeben eingeführteBeispiel bezogen bedeutet dies, dass einer Variable vom Typ Mitarbeiter auch einObjekt vom Typ Angestellter zugewiesen werden kann (Vgl. Listing 2).Mitarbeiter M = new Angestellter();Float Betrag = M.Ueberweisen(); // Angestellter::Ueberweisen();Listing 2: Teiltyp- und Methoden-Auswahl RegelAus dieser ersten Regel resultiert unmittelbar die Methoden-Auswahl-Regel. Diesebesagt, dass in einer Unterklasse B eine von A geerbte und neu implementierte Methodeauch dann aufgerufen werden muss, wenn B als Element von A benutzt wird. Auf dasBeispiel bezogen (Vgl. Listing 2 und Abbildung 1) muss die von der KlasseAngestellter neu implementierte Methode Ueberweisen() aufgerufen werden,obwohl das Objekt von einer Variable vom Typ Mitarbeiter aufgenommen wurde.Eine Nichtbeachtung dieser Regel könnte unerwartete Auswirkungen auf dieProgrammlogik haben, sofern die Angestellter::Ueberweisen()auf ganz andereDaten zurückgreift und die vererbte FunktionMitarbeiter::Ueberweisen()verwendet würde.Diese Methoden-Auswahl-Regel stellt den Übersetzer vor eine gewisseHerausforderung, da die richtige Methodenimplementierung zur Übersetzungszeit nochnicht feststeht und erst zur Laufzeit bestimmt werden kann. Dies impliziert5