Grundlagen der Informatik I “Programmierung”

(libraries), die eine Reihe vordefinierter Klassen enthalten und bei Bedarf geladen werden können. Darunter
befindet sich auch eine Eiffel-Basisbibliothek, die beim Aufruf der Programmierumgebung immer geladen wird.
Aus diesem Grunde gibt es eine Reihe vordefinierter Klassentypen wie STRING und ARRAY, die zwar keine einfachen
Typen sind, aber für die meisten Zwecke wie einfachen Typen behandelt werden können. Eine genaue
Beschreibung aller vordefinierten Typen findet man üblicherweise in den Unterlagen des aktuellen Compilers.
3.2.4 Kunden, Lieferanten und Selbstreferenz
Enthält eine Klasse A eine Deklaration der Form attribut:B, so sagt man auch, daß die Klasse A von
der Klasse B kauft bzw. daß B an A verkauft. Diese eher kaufmännische Terminologie wurde bewußt in die
Konzeption von Eiffel übernommen, da das Prinzip von Liefern und Kaufen am besten die Denkweise der
unabhängig operierenden Klassen ausdrückt.
Definition 3.2.1 (Kunden und Lieferanten) Eine Klasse A heißt Kunde (Client) der Klasse B, wenn A
eine Deklaration der Form entity:B enthält. B heißt in diesem Fall Lieferant (Supplier) von A.
Der Begriff entity (Größe) in der obigen Definition ist das objektorientierte Gegenstück zum Begriff der
Variablen in konventionellen Sprachen, umfaßt aber mehr als dieser, z.B. die Attribute einer Klasse. Eine
vollständige Definition geben wir in Abschnitt 3.3.3, nachdem wir alle anderen Arten vorgestellt haben.
Wichtig ist, daß eine Klasse ihr eigener Kunde sein kann. So könnte man z.B. die Klasse PERSON erweitern
um eine Angabe der Eltern, welche natürlich wieder Personen sind:
class PERSON feature
name, vornamen: STRING;
geburtsjahr, todesjahr: INTEGER;
nationalität: STRING;
vater, mutter: PERSON
end -- class PERSON
Abbildung 3.8: Klassendefinition mit Selbstreferenz
Prinzipiell wird damit die Möglichkeit gegeben, daß ein Objekt der Klasse PERSON auf sich selbst verweist
(Selbstreferenz), also ein Zyklus im Graphen der Objekte vorhanden ist. Im Falle der Eltern mach dies natürlich
keinen Sinn. Es sind jedoch durchaus Klassen denkbar, die eine sinnvolle zyklische Struktur im Objektgraphen
erlauben, wie z.B. die folgende vereinfachte Klasse von Bankkunden, die einen Bürgen angeben müssen.
class BANKKUNDE feature
name, vornamen: STRING;
bürge: BANKKUNDE
end -- class BANKKUNDE
Diese Klassendefinition erlaubt z.B. die folgende durchaus realistische zyklische Objektstruktur.
‘‘Kreitz’’
‘‘Christoph’’
✛
✛
‘‘Kreitz’’
‘‘Bärbel’’
Abbildung 3.9: Zyklische Objektstruktur
Das Vorhandensein eines solchen Zyklus folgt nicht notwendig aus der Existenz einer sich selbst beliefernden
Klasse. Allerdings ist es richtig, daß der Graph der Objekte entweder einen Zyklus haben muß oder einen