W C, dlaczego nie otrzymam błędu, gdy zadeklaruję zmienną globalną w innym typie danych w innym pliku?

Question

Próbowałem następujący kod:

File1.c:

int x; 

File2.c:

extern char x; 
main() 
{ 
    x=10; 
    .... 
    .... 
} 

i skompilowany jako

$ gcc File1.c File2.c

i nie dostałem żadnego błędu, ale oczekiwałem jednego.

Answer 1

W File.c obiecujesz kompilatorowi, że x ma typ char. Ponieważ każda jednostka tłumaczeniowa jest kompilowana osobno, kompilator nie ma możliwości zweryfikowania tego i przyjmuje twoje słowo. Łącznik nie wykonuje żadnej kontroli typów. Otrzymujesz nieprawidłowy program, który tworzy się bez błędów.

Dlatego należy używać plików nagłówkowych. Jeśli File1.c i File2.c oba otrzymają deklarację extern z x z tego samego nagłówka, wówczas wystąpi błąd podczas kompilowania File1.c (ponieważ definicja nie pasuje do deklaracji). [Wskazówka kapelusza @SteveJessop]