|
4.4.2 Abgleitete Typen
Bei der Bildung von abgeleiteten Typen (derived_type_definition
<BNF>) entsteht ein neuer Typ. Der abgeleitete und der ursprüngliche
Typ (Grundtyp) werden streng unterschieden. Gegenseitige Zuweisungen
sind nicht ohne weiteres möglich. Allerdings "ererbt" der abgeleitete
Typ alle Operationen des ursprünglichen Typs. Man kann einen abgeleiteten
Typ für weitere Ableitungen verwenden. Ein abgeleiteter
Typ ist also ein Typ, dessen Operationen und Werte Ebenbilder derjenigen
eines vorher existierenden Typs sind. Der vorher existierende Typ heißt
der Vatertyp des abgeleiteten
Typs. Vatertyp und abgeleiteter Typ sind nicht "kompatibel".
type Vier_stellig is new Integer range 1..9999;
-- Vier_stellig wird abgeleitet von Integer und der Wertebereich wird
eingeschränkt
type Personal_Nr is new Vier_stellig; -- Keine weitere Bereichseingrenzung
type Abt_Nr is new Vier_stellig range 1..30; -- Weitere Bereichseingrenzung |
Eine Intention für die Verwendung abgeleiteter Typen ist die Vermeidung
von versehentlichen Zuweisungen oder Vergleichen zwischen Größen, die
nichts miteinander zu tun haben.
|