Übersicht über Deklarationen

Eine "Deklaration" gibt die Interpretation und die Attribute eines Satzes von Bezeichnern an. Eine Deklaration, die auch bewirkt, dass Speicher für das Objekt oder die Funktion reserviert wird, das bzw. die durch den Bezeichner benannt wird, wird als „Definition“ bezeichnet. C-Deklarationen für Variablen, Funktionen und Typen haben die folgende Syntax:

Syntax

declaration:
 declaration-specifiersattribute-seq_optinit-declarator-list_opt;

/* attribute-seq_opt ist Microsoft-spezifisch */

declaration-specifiers:
 storage-class-specifierdeclaration-specifiers_opt
 type-specifierdeclaration-specifiers_opt
 type-qualifierdeclaration-specifiers_opt

init-declarator-list:
 init-declarator
 init-declarator-list , init-declarator

init-declarator:
 declarator
 declarator = initializer

Hinweis

Diese Syntax für declaration wird in den folgenden Abschnitten nicht wiederholt. Die Syntax in den folgenden Abschnitten beginnt normalerweise mit dem declarator-Nichtterminal.

Die Deklarationen in der init-declarator-list enthalten die Bezeichner, die benannt werden. init ist eine Abkürzung für Initialisierer. Die init-declarator-list ist eine durch Trennzeichen getrennte Sequenz von Deklaratoren, die jeweils zusätzliche Typinformationen oder einen Initialisierer oder beides enthalten können. Der declarator enthält die Bezeichner, sofern vorhanden, die deklariert werden. Das Nonterminal declaration-specifiers besteht aus einer Sequenz aus Typ- und Speicherklassenspezifizierern, mit denen die Bindung, die Speicherdauer und mindestens der Teil des Entitätentyps angegeben werden, der von den Deklaratoren festgelegt wird. Deklarationen bestehen aus einer Kombination aus Speicherklassenspezifizierern, Typspezifizierern, Typqualifizierern, Deklaratoren und Initialisierern.

Deklarationen können mindestens eines der optionalen Attribute enthalten, die in attribute-seq aufgelistet sind. seq ist eine Abkürzung für Sequenz. Diese Microsoft-spezifischen Attribute führen verschiedene Funktionen aus, die in diesem Buch im Detail besprochen werden.

In der allgemeinen Form einer Variablendeklaration gibt type-specifier den Datentyp der Variablen an. Der type-specifier kann ein zusammengesetztes Element sein, wie in der Typänderung mit const oder volatile . Der declarator gibt den Namen der Variablen an, der möglicherweise so geändert ist, dass ein Array oder ein Zeigertyp deklariert wird. Ein auf ein Objekt angewendeter

int const *fp;

deklariert eine Variable mit dem Namen fp als Zeiger auf einen nicht veränderbaren ( const ) int -Wert. Sie können mehr als eine Variable in einer Deklaration definieren, indem Sie mehrere Deklaratoren verwenden, die durch Kommas getrennt werden.

Eine Deklaration muss mindestens einen Deklarator aufweisen, oder ihr Typspezifizierer muss ein Struktur-Tag, ein Union-Tag oder Member einer Enumeration deklarieren. Deklaratoren stellen alle verbleibenden Informationen über einen Bezeichner bereit. Ein Deklarator ist ein Bezeichner, der mit eckigen Klammern ( [ ] ), Sternchen (*) oder runden Klammern ( ( ) ) versehen werden kann, um jeweils ein Array, einen Zeiger oder einen Funktionstyp zu deklarieren. Wenn Sie einfache Variablen (wie Zeichen, ganze Zahlen und Gleitkommawerte) oder Strukturen und Unions einfacher Variablen deklarieren, ist declarator nur ein Bezeichner. Weitere Informationen über Deklaratoren finden Sie im Artikel über Deklaratoren und Variablendeklarationen.

Alle Definitionen sind implizite Deklarationen, aber nicht alle Deklarationen sind Definitionen. So sind beispielsweise Variablendeklarationen, die den Speicherklassenspezifizierer extern verwenden, eher „verweisende“ als „definierende“ Deklarationen. Wenn auf eine externe Variable verwiesen werden muss, bevor sie definiert wurde, oder wenn sie in einer anderen Quelldatei als derjenigen definiert wird, in der sie verwendet wird, ist eine extern -Deklaration erforderlich. Der Speicher wird nicht durch „verweisende“ Deklarationen zugeordnet. Außerdem können Variablen nicht in Deklarationen initialisiert werden.

Variablendeklarationen erfordern eine Speicherklasse oder einen Typ (oder beides). Mit Ausnahme von __declspec ist nur ein Speicherklassenspezifizierer in einer Deklaration zulässig. Außerdem sind nicht alle Speicherklassenspezifizierer in jedem Kontext gestattet. Die __declspec -Speicherklasse ist mit anderen Speicherklassenspezifizierern zulässig, zudem ist sie mehrmals zulässig. Der Speicherklassenspezifizierer einer Deklaration beeinflusst, wie das deklarierte Element gespeichert und initialisiert wird und welche Teile eines Programms auf das Element verweisen können.

Zu den C definierten storage-class-specifier-Terminals gehören auto, extern, register, static und typedef. Microsoft C enthält auch das storage-class-specifier -Terminal __declspec . Alle storage-class-specifier-Terminals außer typedef und __declspec werden in den Speicherklassen erläutert. Informationen zu typedef finden Sie unter typedef-Deklarationen. Informationen zu __declspec finden Sie unter Erweiterte Speicherklassenattribute.

Der Speicherort der Deklaration innerhalb des Quellprogramms und das Vorhandensein oder Nichtvorhandensein anderer Deklarationen der Variablen sind wichtige Faktoren für die Bestimmung der Lebensdauer von Variablen. Es können mehrere Neudeklarationen, jedoch nur eine Definition erstellt werden. Eine Definition kann jedoch in mehr als einer Übersetzungseinheit vorhanden sein. Für Objekte mit interner Verknüpfung gilt diese Regel für jede Übersetzungseinheit gesondert, da intern verknüpfte Objekte für eine Übersetzungseinheit eindeutig sind. Für Objekte mit externer Verknüpfung gilt diese Regel für das gesamte Programm. Weitere Informationen zur Sichtbarkeit finden Sie unter Lebensdauer, Bereich, Sichtbarkeit und Verknüpfung.

Typspezifizierer stellen einige Informationen zu den Datentypen von Bezeichnern bereit. Der Standardtypbezeichner ist int. Weitere Informationen finden Sie im Artikel über Typbezeichner. Typspezifizierer können auch Typ-Tags, Namen von Strukturkomponenten und Union-Komponenten sowie Enumerationskonstanten definieren. Weitere Informationen finden Sie in den Artikeln über Enumerationsdeklarationen, Strukturdeklarationen und Union-Deklarationen.

Es gibt zwei type-qualifier -Terminals: const und volatile . Mit diesen Qualifizierern werden zusätzliche Eigenschaften von Typen angegeben, die nur relevant sind, wenn ein Zugriff auf Objekte dieses Typs über L-Werte erfolgt. Weitere Informationen zu const und volatile finden Sie unter Typqualifizierer. Eine Definition des l-Werts erhalten Sie im Artikel über L-Wert- und R-Wert-Ausdrücke.

Siehe auch

Zusammenfassung der C-Sprachsyntax
Deklarationen und Typen
Zusammenfassung der Deklarationen