extern con definizione globale di variabile in c

Question

Ho il seguente codice sorgente che mi interessa.

#include <stdio.h> 
extern int foo; 
int foo = 32; 

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

Questo perfettamente normale pezzo di codice, e quando compilo con

gcc -Wall -Wextra -pedantic foo.c 

ottengo nessun avviso.

E sembra strano, perché una variabile è definita sia come esterna che globale nello stesso file. Sono abbastanza sicuro che è facile per il linker trovare il riferimento per la variabile esterna nello stesso file, ma non sembra un errore di codifica? E se sì, perché il compilatore non lo avverte?

Answer 1

Non c'è niente di strano. Prima hai fatto una dichiarazione di una variabile (hai promesso al compilatore che esistesse) e poi l'hai effettivamente definita. Non c'è nessun problema in questo.

Inoltre, per impostazione predefinita, tutte le variabili che non sono locali alle funzioni e non sono definite come static sono extern.

Answer 2

Sembra che tu abbia frainteso cosa fa extern. extern semplicemente rende la dichiarazione solo una dichiarazione anziché una definizione.

int i; //definition of i 
extern int i; //declaration of i 

È perfettamente normale avere più dichiarazioni della stessa variabile, ma una sola definizione dovrebbe essere presente nell'intero programma. Confronta questo con una funzione

void f(void); //declaration 
void f(void) //definition(and redeclaration) 
{ 
} //definition 

Per utilizzare una variabile o una funzione, è sufficiente la sua dichiarazione. La sua definizione può apparire ovunque nel programma (il linker lo troverà). Ovunque può essere lo stesso file, un altro file o anche una libreria esterna.

Answer 3

E sembra weired, perché una variabile è definita sia come esterna che globale nello stesso file.

extern int foo; 

dice: dichiara senza definire un oggetto di tipo int nome foo.

int foo = 32; 

dichiara e definisce un oggetto di tipo int denominato foo con linkage esterno.

Non c'è alcuna contraddizione ed è valido codice C.

Answer 4

La differenza è che il primo è una dichiarazione ->extern dichiara una variabile e dice che sarà disponibile da qualche parte. Puoi avere tutte le dichiarazioni che vuoi e quest'ultima è una definizione che deve esserci esattamente una volta.
Quindi non ci dovrebbero essere avvisi e nessun errore.

Answer 5

extern è un modo per dare visibilità ad una variabile che è definita altrove ...

extern è come una promessa ...

nell'esempio.h

extern int g;// promises that this will be in the object code to anything that includes example.h 

esempio. c

int g;