Grundlagen der Informatik I “Programmierung”

class STUDENT
feature
universität: STRING;
fachbereich: INTEGER;
matrikelnummer: INTEGER
end; -- class STUDENT
class HILFSKRAFT
inherit
ARBEITNEHMER
redefine
gehalt
export
name, vornamen, adresse, gehalt
end; -- feature-Anpassung von ARBEITNEHMER
STUDENT
export
universität, fachbereich
end -- feature-Anpassung von STUDENT
feature
monatsstunden: INTEGER;
gehalt: REAL is -- Gehalt berechnen
do Result := Festgehalt nach monatsstunden end
end -- class HILFSKRAFT
Abbildung 3.37: Mehrfachvererbung
Eine häufige Anwendung von Mehrfachvererbung ist die Implementierung eines abstrakten Datentyps durch
Routinen eines anderen, also zum Beispiel die Simulation von Listen durch Felder. Da sowohl Listen als
auch Felder bereits durch Klassen beschrieben waren, ist der sinnvollste Weg, dies zu tun, eine spezielle
Implementierung FIXED LIST anzugeben, welche die Klasse aller durch Felder realisierten Listen beschreibt.
Die Objekte dieser Implementierungsklasse sind also sowohl Listen als auch spezielle Felder. Deshalb sollte
FIXED LIST Erbe sowohl von der Klasse deferred class LIST als auch von ARRAY sein. Abbildung 3.38 zeigt
eine mögliche Realisierung dieser Klasse.
FIXED LIST bietet denselben Funktionsumfang wie LIST und stellt hierzu effektive Versionen der aufgeschobenen
Routinen bereit, die in Begriffen von ARRAY-Operationen implementiert wurden. Deshalb werden alle
features von LIST wieder exportiert, aber keines von ARRAY. Die features length und empty waren bereits
effektiv deklariert worden und müssen nicht erneut aufgeführt werden. new muß als Initialisierungsprozedur
vereinbart werden. Auf die erneute Angabe der Vor- und Nachbedingungen kann verzichtet werden, da sie
sich nicht ändern (siehe Abschnitt 3.8.10)
Die Implementierung beschreibt eine Liste als Feld, welches die Listenelemente in umgekehrter Reihenfolge
auflistet (das ist am einfachsten zu implementieren) und die Größe length als Zeiger auf das erste Element
benutzt. new erzeugt ein Feld der Länge 0, cons erweitert die Länge um 1, vergrößert das Feld mit resize,
wenn (if) dies hierfür erforderlich ist, und trägt das genannte Listenelement an der durch length bezeichneten
“ersten” Stelle ein. head greift einfach auf diese “erste” Stelle zu und tail verschiebt den Zeiger length um
1 zurück, wenn dies möglich ist.
Das Beispiel ist typisch für eine verbreitete Art von Mehrfachvererbung, die man als Vernunftehe bezeichnen
könnte. Eine Klasse bringt den Funktionsumfang, die andere die Implementierungswerkzeuge. Beide zusammen
liefern eine effiziente Implementierung der gewünschten Routinen.
[Meyer, 1988, Kapitel 10.4.2-10.4.4.] diskutiert weitere verbreitete Anwendungsformen für Mehrfachvererbung.
Unter diesen ist besonders die Möglichkeit einer einheitlichen Testmethodik für Klassen hervorzuheben. Jeder
Test basiert auf gewissen Grundmechanismen wie Einlesen und Abspeichern von Benutzereingaben, Ausgeben