Porządek "statycznej" definicji i "zewnętrznej deklaracji" w jednostce tłumaczeniowej

Question

Nie jestem w stanie zrozumieć, dlaczego to nie działa.

extern int i; 

int main() 
{ 
    printf(" %d ", i); 
} 

static int i =3; 

Również to nie działa:

extern int i; 

static int i =3; 

int main() 
{ 
    printf(" %d ", i); 
} 

Ale jeśli static zmienna jest zdefiniowana przed extern declaration to działa:

static int i =3; 

extern int i; 

int main() 
{ 
    printf(" %d ", i); 
} 

Jak rozumiem z extern int i mówi, że jest i obecny gdzieś indziej i tutaj jak to wygląda (int i)

Ale gdzieś indziej środki:

1) Może później punkt w jednostce same translacji jako global variable.

2) Może, w niektórych jednostkach translacyjnych other.

Myślałem, że (1) będzie ważny, mimo że static int i = 3 ograniczył zakres i do bieżącej jednostki tłumaczeniowej, w której jest zdefiniowany.

Czy nie jest to static int i =3global (mam na myśli przynajmniej to, że jest widoczny w jednostce tłumaczeniowej), mimo że ma ograniczony zakres do swojej jednostki tłumaczeniowej? Dlaczego więc kompilator nie może go znaleźć?

Kiedy skompilować dwie pierwsze wersje pojawia się następujący błąd kompilacji czas:

error: static declaration of ‘i’ follows non-static declaration 
note: previous declaration of ‘i’ was here 

Jestem w stanie zrozumieć ten komunikat o błędzie. Ponadto, dlaczego narzeka na to jako statyczne declaration czy nie jest to również definition?

Answer 1

C11 6.2.2 Powiązania identyfikatorów Sekcja 4

For an identifier declared with the storage-class specifier extern in a scope in which a prior declaration of that identifier is visible,31) 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.

Więc druga deklaracja pójdą pierwsze, z powrotem do swoich przykładach 1 i 2 przykład i będzie miał extern pamięci masowej klasy. Kompilator uważa, że ​​to błąd.

Podczas gdy w trzecim przykładzie, i będzie static, ponieważ static pokazuje pierwszy. To nie powinno być problemu.

Oraz w sekcji 7 C11 6.2.2 Powiązania identyfikatorów

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

Więc lepiej nie zadeklarować taką samą zmienną zarówno static i extern w tej samej jednostce tłumaczeniowej.

Answer 2

Cóż, zmienną jest extern lub static. Pamiętaj, że static na poziomie globalnym ogranicza widoczność tylko do bieżącej jednostki tłumaczeniowej, natomiast extern wskazuje, że jest ona widoczna dla różnych jednostek tłumaczeniowych.

Answer 3

Nie ma sensu zadeklarować czegoś jako static i ponownie jako extern. Jest to niezdefiniowane zachowanie, więc nie rób tego.