Externe Definition für Bezeichner mit interner Bindung

Question

Ich habe 6.9.3

Es darf nicht mehr als eine externe Definition für jede Kennung mit interner Bindung in einer Übersetzungseinheit deklarierte die folgende Regel in C99-Standard lesen. Wenn ein mit interner Verknüpfung deklarierter Bezeichner in einem Ausdruck verwendet wird (anders als als Teil des Operanden eines Operators sizeof, dessen Ergebnis eine Ganzzahlkonstante ist), muss genau eine externe Definition für den Bezeichner in der Übersetzungseinheit vorhanden sein.

Meine Fragen:

(1) Was genau eine externe Definition ist?

(2) Warum verstößt der folgende Code nicht gegen diese Regel?

static int a = 1; 

int main() 
{ 
    a += 1; 
    return 0; 
} 

Answer 1

Ich glaube, dass Sie bei der Definition externe Definition sind verwirrend, die extern Schlüsselwort verwendet.

Die Definition wird in beiden C99/C11 in der Semantik Teil 6.9 geschrieben:

Diese werden als ‚‚externe‘beschrieben‘, weil sie erscheinen außerhalb jeder Funktion (und damit Dateiumfang haben).

In Ihrem Beispiel wird der Code nicht die Regel verletzt, weil Sie genau eine externe Defintion des Objekts mit interner Bindung, das heißt:

static int a = 1;