next up previous contents index
Weiter: Ausdrücke Hinauf: 2.7 Getaggte Typen Zurück: 2.7.3 Abstrakte Typen

2.7.4 Access-Diskriminanten

Dieser Abschnitt versteht sich als Nachtrag zum Thema diskriminierte Records und Pointer.

Es ist nämlich auch möglich, einen Pointer-Typ als Diskriminante zu verwenden. Man kann damit einen Typ mit einem Verweis auf ein Objekt eines anderen Typs parametrieren. Allerdings muß der diskriminierte Typ ein limitierter Typ sein.

Diskriminierte Records bringen vor allem Vorteile bei der objektorientierten Programmierung und werden in Kapitel 13 eingehender erläutert.



Johann Blieberger
Wed Feb 11 09:58:52 MET 1998