Grundlagen der Informatik I “Programmierung”

Bei der Erzeugung von Objekten mittels clone(person 1) ist zu berücksichtigen, daß Verweise, die im
Objekt person 1 enthalten sind, als Verweise identisch kopiert werden und nicht etwa zu jedem Verweis
ein weiteres Objekt kopiert wird. Man sagt auch, daß clone eine flache (shallow) Kopie erzeugt: das
neue Objekt ist wirklich in allen Komponenten identisch mit person 1.
In manchen Anwendungen ist es jedoch notwendig, eine komplette Kopie der gesamten Objektstruktur
zu erzeugen, die an der genannten Stelle beginnt. Eine solche “tiefe” Kopie wird durch die Funktion
deep clone generiert. Genau besehen erzeugt also der Aufruf
deep clone(person 1)
einen Verweis auf ein neues Objekt, dessen Komponenten mit einfachen Datenkomponenten mit denen
von person 1 identisch sind und dessen Verweiskomponenten wiederum auf neue Objekte verweisen, die
mit den entsprechenden in person 1 angesprochenen Objekten bis auf Verweise identisch sind usw.
Kopieren von Objektzuständen: Neben clone, der Erzeugung neuer Objekte, gibt es eine weitere sinnvolle
Möglichkeit, Objekte inhaltlich zu kopieren, nämlich bestehenden Objekten die Zustände anderer
Objekte zuzuweisen. Dies geschieht mit der Prozedur (nicht Funktion!) copy. Während der Befehl
autor := person 1 der Größe autor nur den in person 1 enthaltenen Verweis zuweist und autor :=
clone(person 1) ein zuvor nicht vorhandenes Objekt erzeugt, wird durch
autor.copy(person 1)
ein bereits existierendes durch autor bezeichnetes Objekt verändert (deshalb auch die Verwendung der
Punktnotation: die Operation copy arbeitet auf dem Objekt, auf das autor verweist). Dieses Objekt
erhält in jeder Komponente den Wert der entsprechenden Komponente des durch person 1 bezeichneten
Objekts. Der in autor enthaltene Verweis wird dagegen nicht verändert. Wichtig ist aber, daß autor
keinen leeren Verweis enthalten darf.
Genauso wie clone erzeugt copy eine flache Kopie von Objekten. Wird eine tiefe Kopie benötigt, so ist
die Prozedur deep copy anzuwenden, wie zum Beispiel in
autor.deep copy(person 1)
Vergleich von Objekten: Wegen des schon öfter angesprochenen Unterschiedes zwischen einem Objekt und
dem Verweis darauf gibt es zwei Möglichkeiten, Objekte zu vergleichen. Die gewöhnliche Gleichheit =
stellt die Frage, ob die beiden Objekte identisch sind. Die Funktion equal testet, ob die beiden Objekte
in jeder Komponente dieselben Werte haben. Das hat wieder zu tun mit der Tatsache, daß Größen,
welche Objekte bezeichnen, in Wirklichkeit Verweise auf diese Objekte sind. Gleichheit der Größen
bedeutet, daß die Verweise gleich sind, also daß auf dasselbe Objekt verwiesen wird. Der Ausdruck
autor = person 1
liefert true, wenn autor und person 1 dasselbe Objekt bezeichnen, und sonst false. Das Umgekehrte,
der Test auf Ungleichheit der Objekte, wird durch autor /= person 1 ausgedrückt.
Die Funktion equal geht einen Schritt weiter. Statt einfach die Verweise zu vergleichen, betrachtet sie
die Zustände der durch autor und person 1 bezeichneten Objekte.
equal(autor,person 1)
liefert true, wenn entweder die mit autor und person 1 verbundenen Verweise beide leer sind, oder
wenn beide bezeichneten Objekte in jeder Komponente übereinstimmen (das bedeutet aber, daß in
Komponenten enthaltene Verweise wieder auf dasselbe Objekt zeigen müssen). Wenn autor = person 1
gilt, dann gilt auch equal(autor,person 1) aber nicht umgekehrt.
Auch equal führt einen “flachen” Vergleich durch. equal(autor,person 1) gilt nur, wenn Verweise in
Komponenten der durch autor und person 1 bezeichneten Objekte jeweils auf dasselbe Objekt zeigen.
Der Vergleich, ob die bezeichneten Objekte strukturell identisch sind, wird aufgerufen mit
deep equal(autor,person 1)