Vorlesungsskript - Hochschule Emden/Leer

c○ Prof. Dr. B. Bartning, HS Emden/Leer Rumpfskript ” Informatik I/II“ (WS/SS 2010/11) 112
(10.25)
(a)
(b)
Allgemeine Regeln für die Interpretation von Typen bei Deklarationen:
VariablenDefinition [NV] Typ Deklarator [- , Deklarator ]- 0..n ;
Typ (hier) 12 DeklSpezifizierer1..n
30 Deklarator [NV] 32 DirekterDeklarator
|
|
31 - * &
32DirekterDeklarator Bezeichner (d. h. Name)
32DirekterDeklarator[KonstAusdropt]
- 30 Deklarator
|
| ( 30Deklarator ) |
|
• (Ohne Referenz-Deklarationsoperator &:)
Tritt der Deklarator nach dem Deklarationspunkt auf, so ist er vom angegebenen
” Typ“.
• (Bei Vorhandensein des Referenz-Deklarationsoperators &:)
Tritt der Deklarator (OHNE den &-Deklarationsoperators) nach dem Deklarationspunkt
auf, so ist er vom Typ ” Referenz auf Typ“.
Regeln zur Bestimmung des Typs eines Namens innerhalb eines Deklarators:
Je Stufe wird genau einer der Deklarationsoperatoren (* bzw. [ ] [NV] ) weggelassen, und
zwar immer der Operator mit der augenblicklich niedrigsten Bindung. Es gelten dabei folgende
Regeln:
• Ist *A vom Typ ” T“, so ist A vom Typ ” Zeiger auf T“.
• Ist A[KonstAusdropt] vom Typ ” T“, so ist A vom Typ ” Array, bestehend aus Komponenten
des Typs T“ (Anzahl der Komponenten entspr. KonstAusdr; wenn fehlend,
dann unbestimmte Anzahl).
Regel zur Unterscheidung zwischen Typ und Deklarator (zweite Zeile in obigem Kasten):
Man beginne hinten beim Semikolon und finde, falls vorhanden, das vorderste Komma (bis
dahin: nur Deklaratoren). Nun gehe man weiter nach links und suche und überspringe, falls
vorhanden:
• einen Namen (ggf. vorhandene eckige Klammernpaare überspringen),
• dann ein oder mehrere Zeichen * oder & (mit ggf. dazwischenliegenden const’s, s. (10.28)),
• dann, falls runde schließende Klammern übersprungen wurden, die zugehörigen öffnenden
Klammern.
Jetzt ist man an dem Trennpunkt zwischen Typ und Deklarator.
Bei einer Definition wird nicht Speicherplatz für den Deklarator, sondern für den
Namen reseviert.
In ähnlicher Weise wird eine ggf. vorhandene Initialisierung auf den Namen (der den
Speicherplatz erhält) angewendet, nicht auf den Deklarator.
Bsp char *zeig=0; // zeig (d. h. Zeiger auf char) wird initialisiert mit 0, nicht *zeig.
(10.26) Wichtige Regel zum Umgang mit Arrays (Zusammenhang zwischen Array und Zeiger) –
bereits in (5.65b, 7.46 ↑↑) erwähnt:
Ein Arrayname bzw. eine Arraybezeichnung ( ” Array, bestehend aus Elementen des
Typs T“) wird durch den Compiler automatisch umgewandelt in ” Zeiger auf T“, und
zwar die Adresse des ersten Elements (Element mit Index 0).
Implizit wird demnach ArrayBezeichnung umgewandelt in &ArrayBezeichnung[0]
Insbesondere findet diese Umwandlung immer bei formalen und bei aktuellen Funktionsparametern
statt.
Die (wesentlichen) Ausnahmen von obiger Regel sind: