einzigartig

Der Bezeichner unique kann auf eine Klasse angewendet werden, um sie zu einer eindeutigen Klasse zu machen. Um eine Instanz einer eindeutigen Klasse zu erstellen, weist Verse der entstehenden Instanz eine eindeutige Identität zu. So können Instanzen von eindeutigen Klassen auf Gleichheit verglichen werden, indem ihre Identitäten verglichen werden. Klassen ohne den `unique`-Spezifizierer haben keine solche Identität und können daher nur auf der Grundlage der Werte ihrer Felder auf Gleichheit verglichen werden. Das bedeutet, dass eindeutige Classes mit den Operatoren „=“ und „<>“ verglichen werden können und Untertypen des Typs „comparable“ sind.