4. Typen und Datenstrukturen
 
zurück
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.


 
zurück
 Index   Ada Tour - Dokumentation  
© 2003 Förderverein Ada Deutschland e.V.