SMALLTALK K1ex127-.45ex51275ahler/Bothner

6.3 Logische Methoden 107
die Pseudovariable “true” als Ergebnis-Objekt.
Um für ein bestimmtes Objekt prüfen zu können, ob es in einem Sammler enthalten
ist, läßt sich die Basis-Methode “includes:” einsetzen.
ˆ “includes:”:
Die Message “includes:” liefert die Pseudovariable “true” als Ergebnis-Objekt,
sofern das Argument dieser Message in demjenigen Sammler enthalten ist, der
als Empfänger-Objekt dieser Message aufgeführt wird.
6.3.3 Prüfung auf Gleichheit und Identität
Definition von “Gleichheit” und “Identität”
Beim Vergleich zweier Objekte ist darauf zu achten, ob sie auf “Identität” oder auf
“Gleichheit” geprüft werden sollen. Diese differenzierte Betrachtung gründet sich
darauf, daß Objekte die Kapselung ihrer Attribute darstellen, deren zugehörige Attributwerte
Speicherbereiche im Hauptspeicher belegen.
In dieser Hinsicht ist der folgende Sachverhalt bedeutsam:
ˆ Durch eine Zuweisung verweist eine Variable, die links vom Zuweisungssymbol
aufgeführt ist, auf dasjenige Objekt, das rechts vom Zuweisungssymbol
ermittelt wird.
Wird daher einer Variablen eine Variable zugewiesen, so bezeichnen beide Variablennamen
ein und dasselbe Objekt. Folglich stimmen die Speicherbereiche der Attributwerte
überein, die über die beiden Variablennamen referenziert werden.
Nach dieser Vorbetrachtung legen wir jetzt wie folgt fest, wann zwei Objekte als
“identisch” bzw. als “gleich” angesehen werden:
ˆ Zwei Objekte sind identisch, wenn ihre Bezeichner auf denselben Speicherplatz
verweisen.
ˆ Zwei Objekte sind gleich, wenn sie in ihren Attributen wertmäßig übereinstimmen.
Hinweis: Zwei identische Objekte sind folglich auch gleich.
Zur Prüfung der Identität sind die Messages “==” und “∼∼” einsetzbar.
ˆ “==”, “∼∼”:
Die zu diesen Messages gehörigen Methoden sind in der Klasse “Object” vereinbart.
Als Ergebnis-Objekt der Message “==” (“∼∼”) wird die Pseudovariable
“true” (“false”) ermittelt, sofern sowohl das Empfänger-Objekt als auch
das als Argument angegebene Objekt (nicht) denselben Speicherplatz belegen.
Andernfalls ergibt sich die Pseudovariable “false” (“true”).
Hinweis: Innerhalb der Klasse “Object” ist – zum Vergleich zweier Objekte – darüberhinaus
die Methode “=” vereinbart. Diese Methode ist genauso festgelegt, wie die durch