Grundlagen der Informatik I “Programmierung”

Komponentenzugriff: Der direkte Zugriff auf Komponenten eines Objektes geschieht über den Namen des
entsprechenden Attributs. Ist also person 1 ein bereits bekanntes Objekt vom Typ Person, dann liefert
person 1.name
die Zeichenkette, die unter der zu name zugehörigen Komponente gespeichert ist. Bei Attributen, deren
Typ eine Klasse ist, wird natürlich der Verweis geliefert und nicht etwa das Objekt selbst.
person 1.vater
liefert also einen Verweis auf das Objekt, welches den Vater von person 1 darstellen soll.
Auch bei der Verwendung von Komponentenzugriffen gilt die obengenannte Einschränkung des Geheimnisprinzips.
Ein Komponentenzugriff gilt ebenso wie jede andere Routine als eine Dienstleistung,
die von der Klasse bereitgestellt werden muß. Ein Zugriff auf eine beliebige Komponente ist daher nur
dann möglich, wenn dies bei der Klassendeklaration explizit vereinbart wurde. Näheres dazu besprechen
wir im Abschnitt 3.4.
Auflösen eines Verweises: Manchmal kann es nötig sein, einen Verweis von dem ihm zugeordneten Objekt
wieder zu lösen. Dies geschieht durch Zuweisung des Wertes Void. Um also die Komponente autor eines
gegebenen Buchobjektes wieder von ihrem Objekt zu lösen, schreibt man:
autor := Void
Diese Auflösung des Verweises versetzt also Verweis aus dem Zustand created zurück in den leeren Zustand.
Wichtig ist aber, hierdurch ausschließlich der Zustand des Verweises verändert wird und nicht etwa
das Objekt selbst. Das Objekt, mit dem die Komponente autor verbunden war, wird nicht angerührt.
Insbesondere wird es auch nicht gelöscht, sondern bleibt ggf. über andere Verweise noch zugreifbar.
Auflösung von Verweisen darf auch nicht verwechselt werden mit Anweisungen, die Speicherplatz an das
Betriebssystem zurückgeben (wie etwa dispose in Pascal). Solche Anweisungen sind sehr gefährlich, da
hierdurch eventuell Objekte zerstört werden, die noch über andere Verweise zugreifbar waren. In Eiffel
(und auch z.B. in Lisp) wird die Speicherplatzverwaltung automatisch durch die Programmierumgebung
durchgeführt und nicht etwa durch den Programmierer selbst.
Überprüfung des Verweiszustandes: Um den Zustand eines Verweises zu überprüfen, der mit einer Komponente
verbunden ist, bietet Eiffel einen einfachen Test an. Der boolesche Ausdruck
autor = Void
liefert den Wert true, wenn der Verweis der Komponente autor leer ist, und ansonsten den Wert false.
Duplizierung von Objekten: Bei der Zuweisung von Objekten mittels := haben wir gesehen, daß nur die
Verweise kopiert werden, aber das genannte Objekt nach wie vor nur einmal vorhanden ist. Dies ist im
Normalfall die sinnvollste Vorgehensweise. In manchen Fällen ist es aber nötig, eine Kopie eines bereits
bekannten Objektes (und nicht nur des Verweises) anzulegen, z.B. um daraus ein Objekt zu erzeugen, das
fast identisch mit dem ersten ist. Hierzu ist die Funktion clone da. Ist person 1 ein bereits bekanntes
Objekt vom Typ Person, dann liefert der Aufruf
clone(person 1)
einen Verweis auf ein neues Objekt, dessen Komponenten mit denen von person 1 identisch sind. Ein
solcher Aufruf macht allerdings nur Sinn im Zusammenhang mit einer Zuweisung, da sonst dieses neue
Objekt nicht erreichbar wäre. Die Zuweisung
autor := clone(person 1)
hat also zwei Effekte. Sie erzeugt ein neues, mit person 1 identisches Objekt und weist der Komponente
autor als Wert einen Verweis auf dieses Objekt zu (eventuell bestehende Verweise werden also aufgelöst).
clone und die mit !! zusammenhängenden Erzeugungsprozeduren sind die einzigen Operationen, welche
Objekte erzeugen.