Warum generiert dieser Code keinen Fehler bei der erneuten Deklaration?

Question

Hier ist eine extern und eine static Variable mit dem gleichen Namen. Der Ausgang druckt die statische Variable a = 10. Warum gibt es keinen Syntaxfehler und wie würde ich bei Bedarf auf a zugreifen?

#include<stdio.h> 
extern int a; 
static int a=10; 

main() 
{ 
    printf("%d\n",a); 
} 

Answer 1

Der C-Standard erlaubt das Gegenteil, extern nach static:

6.2.2 Linkages of identifiers
....
³ If the declaration of a file scope identifier for an object or a function contains the storage-class specifier static , the identifier has internal linkage.

⁴ For an identifier declared with the storage-class specifier extern in a scope in which a prior declaration of that identifier is visible, if the prior declaration specifies internal or external linkage, the linkage of the identifier at the later declaration is the same as the linkage specified at the prior declaration. If no prior declaration is visible, or if the prior declaration specifies no linkage, then the identifier has external linkage.

Zugleich heißt es:

⁷ If, within a translation unit, the same identifier appears with both internal and external linkage, the behavior is undefined.

BTW, die C++ Standard es explizit macht:

7.1.1 Storage class specifiers
....

static int b; // b has internal linkage 
extern int b; // b still has internal linkage 

....

extern int d; // d has external linkage 
static int d; // error: inconsistent linkage