Semantik
|
einer Variablendeklaration
|
|
Type ar[n];
|
|---|
| |
|
zusammenhängenden Speicherblock reservieren für n
Variablen vom Typ Type.
|
|
Zeiger-Konstante ar definieren vom Typ
Type * und mit der Adresse des Anfangs des Speicherblocks
als Wert.
|
| |
|
sizeof ar == n * sizeof (Type)
|
|
oder
|
|---|
|
sizeof ar == n * sizeof ar[0]
|
|---|
| |
|
n == sizeof ar / sizeof (Type)
|
|
oder
|
|---|
|
n == sizeof ar / sizeof ar[0]
|
|---|
| |
|
Indizierter Zugriff ar[i] wird auf
Zeigerarithmetik und Dereferenzieren zurückgeführt.
|
| |
präzise Sichtweise |
|
|
C besitzt keinen vollwertigen Datentyp für Felder
|
|
nur Anweisungen zur Speicherplatzallokation von
zusammenhängenden Speicherblöcken
|
|
und Zeiger, die auf den Anfang dieser Speicherblöcke zeigen
|
|
keine Zuweisungen mit Feldern
|
|
keine (Wert-)Parameterübergabe mit Feldern
|
|
keine Indexüberprüfung zur Laufzeit möglich
|
| |
Systemnahe Programmierung in C: Semantik von Felddeklarationen
