Grundlagen der Informatik I “Programmierung”

und diese erzeugten Objekte mit Verweisen zu verbinden. Hierzu gibt es in Eiffel eine Erzeugungsprozedur,
die mit !! bezeichnet wird. Um zum Beispiel ein neues Objekt vom Typ PERSON zu erzeugen und
mit der Komponente autor eines gegebenen Buchobjektes zu verbinden schreibt man:
!!autor
Eine Erzeugungsoperation versetzt den Verweis aus dem leeren Zustand Void in den Zustand created
(erzeugt) und der Verweis ist genau dann in diesem Zustand, wenn er mit einem Objekt verbunden ist.
Auch das neu erzeugte Objekt muß natürlich einen Anfangszustand haben. Aus diesem Grunde ist es
nötig, nicht nur für Verweise sondern auch für alle anderen Komponenten eines Objektes einen Initialwert
festzulegen, denn es macht wenig Sinn, wenn man diesen Wert dem Zufall überläßt. In Eiffel gilt die
Konvention, daß Komponenten eines Objektes gemäß dem Typ des entsprechenden Attributs nach der
Tabelle in Abbildung 3.12 initialisiert werden.
Datentyp Initialwert
INTEGER 0
BOOLEAN false
CHARACTER ASCII-Null-Symbol
REAL 0.0
DOUBLE 0.0
Klassentypen Void
Abbildung 3.12: Standardinitialwerte in Abhängigkeit vom Datentyp
Es besteht auch die Möglichkeit, in einer Klassendeklaration vom Standard abweichende Initialwerte für
die Erzeugung zu vereinbaren. Darauf werden wir in Abschnitt 3.3.6 zurückkommen.
Objekte existieren nicht, solange sie nicht explizit zur Laufzeit eines Systems durch eine Erzeugungsoperation
erzeugt wurden. Auf diese Art wird vermieden, daß Objekte bei der Abarbeitung der Deklaration
automatisch erzeugt werden müssen. Dieses würde nämlich bei Objekten einer Klasse mit Selbstreferenz,
z.B. der Klasse PERSON in Abbildung 3.8, sofort dazu führen, daß immer wieder neue Objekte
erzeugt werden müssen, da zu jeder Person ja Vater und Mutter benötigt werden. Wir wären also in
einer unendlichen Schleife, bevor wir überhaupt mit der eigentlichen Verarbeitung anfangen könnten.
Zuweisung: Wie jede andere Programmiersprache kennt Eiffel das Konzept der Zuweisung von Werten an
die Komponenten eines Objektes. Diese Anweisung wird mit dem Symbol := ausgedrückt. Der Befehl
erscheinungsdatum := 1993
weist also der Komponente eines gegebenen Buchobjekts, die zu dem Attribut erscheinungsdatum
gehört, den Wert 1993 zu.
Wichtig ist, daß bei der Zuweisung von Objekten zu einer Komponente nicht etwa das Objekt selbst,
sondern nur der Verweis auf dieses Objekt zugewiesen wird. Dies entspringt wieder der in Abschnitt 3.2.3
besprochenen Denkweise, daß jede Bearbeitung nichtelementarer Objekte ausschließlich über Verweise
geschieht. Bezeichnet also person 1 ein Objekt vom Typ Person, dann weist der Befehl
autor := person 1
in Wirklichkeit der Komponente autor den gleichen Verweis zu, der auch in person 1 eingetragen ist,
denn genau besehen ist person 1 ein Verweis auf das Objekt und nicht das Objekt selbst.
Für die Zuweisungen von Werten an die Komponenten eines Objektes gibt es allerdings in Eiffel aufgrund
des Geheimnisprinzips (siehe Abschnitt 3.4) sehr starke Einschränkungen. Erlaubt ist eine Zuweisung
nur innerhalb einer Klassendefinition. Von außen ist eine Veränderung nur über Prozeduren möglich,
die durch die Klasse zur Verfügung gestellt werden.