Grundlagen der Informatik I “Programmierung”

über den Namen eines Attributs Werte zuweisen. Wertzuweisungen von außerhalb der Klasse, die den Typ
eines Objektes beschreibt, sind nicht möglich. Dies entspricht dem Geheimnisprinzip, welches wir in Abschnitt
3.4 ausführlicher diskutieren werden.
Die Bedeutung des aktuellen Exemplars erklärt die dezentralisierte Natur objektorientierter Programmierung.
Es gibt kein übergeordnetes Hauptprogramm im Sinne der klassischen, zentralistisch denkenden Programmiersprachen.
Stattdessen haben wir im Programm eine Menge von Klassen und zur Laufzeit eine Menge von Objekten,
welche über Serviceleistungen der Klassen Operationen aufeinander ausführen können. Es ist klar, daß
man für ein ausführbares System festlegen muß, wo dieser Ausführungsprozeß beginnen soll. Diese Festlegung
aber geschieht spät und unabhängig von dem eigentlichen Programm (siehe Abschnitt 3.9).
In den meisten Fällen bleibt das aktuelle Exemplar implizit, d.h. es wird nicht direkt im Programmtext
genannt. Manchmal ist es aber nötig, das aktuelle Exemplar im Programmtext explizit zu kennzeichnen –
zum Beispiel um einen Verweis eines Objekts auf sich selbst zu ermöglichen. Hierzu stellt Eiffel die Funktion
Current zur Verfügung, welche das aktuelle Objekt der den Aufruf umschließenden Klasse bezeichnet. Ist das
aktuelle Exemplar z.B. ein Objekt der Klasse BANKKUNDE (vgl. Abschnitt 3.2.4), so bewirkt der Befehl
bürge := Current
daß die Komponente bürge des aktuellen Objektes auf sich selbst verweist, daß also der beschriebene Bankkunde
für sich selbst bürgt. Man beachte jedoch, daß Current eine Funktion ist, die einen Wert liefert, und
nicht etwa eine Größe, der man einen Wert zuweisen könnte.
3.3.6 Nicht-standardmäßiges Erzeugen
In den bisherigen Beispielen ergibt die Erzeugungsoperation jedesmal, wenn sie für irgendeine Größe einer
Klasse aufgerufen wird, das gleiche (nicht dasselbe) Objekt. Für die Komponente autor eines Buchobjektes,
die vom Typ PERSON ist, wird durch !!autor also immer ein Personenobjekt mit leeren Verweis auf Namen,
Vornamen und Nationalität sowie Geburts- und Todesjahr 0 erzeugt. Da diese Form der Initialisierung
hochgradig unflexibel ist, bietet Eiffel die Möglichkeit an, für jede Klasse eine (oder mehrere) vom Standard
abweichende Initialisierungsprozedur zu deklarieren. Hierzu werden einfach einige der als features erklärten
Routinen explizit als Initialisierungsprozeduren (creators) vereinbart. Eiffel (Version 3) benutzt hierzu das
Schlüsselwort creation.
class PERSON
creation
init mit namen
feature
.
init mit namen(n,v:STRING) is -- Initialisiere Person mit Vornamen und Namen
do
name := n;
vornamen := v
end; -- init mit namen
.
end -- class PERSON
Abbildung 3.13: Klassendefinition mit Initialisierungsprozedur
In Abbildung 3.13 haben wir die Klasse PERSON um die Initialisierungsprozedur init mit namen erweitert.
Diese nimmt zwei Strings und initialisiert Namen und Vornamen eines neugeschaffenen Objektes entsprechend.
Alle anderen Komponenten werden gemäß der Standardwerte initialisiert. Es ist durchaus möglich mehrere
Initialisierungsprozeduren für verschiedene Zwecke zu deklarieren.