Zakres blokowania C standard

Question

Następujące identyfikatory nie mają powiązania: identyfikator deklarowany jako coś innego niż obiekt lub funkcja; identyfikator deklarowany jako parametr funkcji; Identyfikator zakresu bloków dla obiektu zadeklarowanego bez specyfikatora klasy pamięci extern.

{ 
    static int a; //no linkage 
} 

dla identyfikatora zadeklarowanej z magazynowania klasy specyfikatora extern w zakresie, w którym przed zgłoszenia tego identyfikatora jest widoczne, w przypadku gdy odpowiednie zgłoszenie określa wewnętrzną lub zewnętrzną wiązania, wiązanie identyfikatora w późniejsza deklaracja jest taka sama jak powiązanie określone na wcześniejszej deklaracji. Jeśli nie jest widoczna żadna wcześniejsza deklaracja lub , jeśli wcześniejsza deklaracja nie zawiera żadnego powiązania, , wówczas identyfikator ma połączenie zewnętrzne.

{ 
    static int a; //no linkage 
    extern int a; //a should get external linkage, no? 
} 

Błąd GCC: extern deklaracja następujące oświadczenie bez powiązania

Czy ktoś może mi wyjaśnić dlaczego ten błąd?

Dziękuję

Answer 1

Twoje przypuszczenie jest poprawne: druga deklaracja a ma powiązanie zewnętrzne. Jednak pojawia się błąd, ponieważ kod jest niezgodny ograniczenie w §6.7:

3 If an identifier has no linkage, there shall be no more than one declaration of the identifier (in a declarator or type specifier) with the same scope and in the same name space, except for tags as specified in 6.7.2.3.

Oznacza to, że kiedy już zadeklarował a mieć żadnego powiązania, nie można redeclare go ponownie w tym samym zakresie.

---

Ważny przykładem tej zasady jest wywoływana jest:

int a = 10; /* External linkage */ 

void foo(void) 
{ 
    int a = 5; /* No linkage */ 

    printf("%d\n", a); /* Prints 5 */ 

    { 
     extern int a; /* External linkage */ 

     printf("%d\n", a); /* Prints 10 */ 
    } 
} 

Answer 2

if the prior declaration specifies no linkage

oznacza

if the prior declaration specifies not a sign of linkage

i nie

if the prior declaration specifies that it has no linkage

Jest to mylące i niejednoznaczne; nie jest to zwykły sposób na napisanie normy ...