Переопределение глобальных переменных, разрешенных в C?

Question

Почему этот код разрешен в C?

int x; 

int main() { 
    printf("%d\n", x); 
    return 0; 
} 

int x = 2; 

Он компилируется без предупреждений с помощью -Wall -std=c89 как с gcc и clang.

Ранее я считал, что int x при глобальном масштабе эквивалентен int x = 0. Я удивляюсь.

Answer 1

int x;, в области видимости файла, является предварительного определения и ответил @PSkocik и будет действовать как int x = 0; если определение с инициализацией не существует.

Я раньше считал, что int x в глобальном масштабе эквивалентен int x = 0.

Хитрости о «глобальном» int x; приобретает инициализируются с 0. инициализируются 0, если другой int x = constant; не существует в любом модуле компиляции.

Поэтому рекомендуется инициализировать явную инициализацию и не рассчитывать на инициализацию по умолчанию на 0 бит, когда объект нуждается в инициализации.

// Does an initialization exist, in some file -maybe? 
int x; 
// Better. If another file initializes `x`, good to see a compiler/linker error. 
int x = 0; 

Answer 2

int x; 

Является декларацией.

int x = 2; 

Это определение (которое также является декларацией).

Повторное объявление разрешено до тех пор, пока декларации совместимы (то же самое).

int x; 
int x; 

Будет работать. Повторное определение не допускается

int x = 2; 
int x = 2; 

Не сработает.
Использование без объявления перед ним или без определения отвергается