[완료] 초기화하지 않은 전역 변수의 중복 문제

C 언어에 대해 질문하신 것 같으니 우선 C 부터 설명드리겠습니다.
본래 전역 변수라는 것을 다른 소스 파일에서 정의된 것을
사용하려 할 때, extern int c; 와 같이 extern 으로 선언을 해야 원칙입니다.
그렇지 않으면 이 것은 외부 전역 변수와 충돌되는 것입니다.
하지만, 우리의 상식과는 달리 에러를 내보내지 않습니다.
이는 마치
외부 함수 선언부에서는 extern 을 생략해도 되고,
외부 변수 선언부에서는 extern 을 해야한다는 원칙에 위배되는 듯 합니다.

그럼 본격적으로 질문에 대한 답을 드리겠습니다.
왜 초기화를 두군데에서 할 때만 에러를 내는가.
본래 컴파일러는 원칙에 충실해야 하지만, C 의 메카니즘이 복잡하다 보니 초보 개발자들을 위한 배려가 존재합니다.
컴파일러가 개발자에게 하는 배려 중 하나는, 많이 알려진 타입 유추입니다.
기본적으로 C 컴파일러는 타입유추 기능은 거의 없습니다. 다만 타입 암시적 변환를 에러없이 처리한다는 것이죠.
하지만 C++ 및 대다수의 함수형 언어는 타입 유추가 존재합니다.
타입을 명시적으로 쓰지 않더라도 사용자 소스 코드를 분석하여 타입을 유추합니다.
(사실 C++ 함수형 언어와 달리 완벽한 타입유추는 아닙니다. 일반적으로는 템플릿 인자에 대해서만 유추가 가능합니다.)

하지만 여기서 언급되어야 할 것은 타입유추가 아닌 코드유추입니다.
비록, extern 이 없더라도 초기화가 된 변수를 실제 변수가 정의된 부분이라 보고,
초기화가 이루어지지 않은 부분의 변수를 extern 선언된 부분이라 유추하는 것입니다.

하지만 두개 모두 초기화를 하게 되면, 어느 것도 extern 선언된 부분이 존재하지 않는 것이며,
둘 다 전역에 실존하는 변수라는 말이 되버립니다.
하지만, 같은 네임스페이스에 변수명이 동일하다는 것은 모순입니다.
따라서 에러를 발생합니다.

요약하자면, 오직 전역에 변수는 하나만이 실존합니다. 나머지는 코드 유추에 의해서 extern 선언으로 가정됩니다.

그렇다면, 의문이 생길텐데요. 모두 초기화를 하지 않은 경우는?
이 경우 a.c 이나 b.c 둘 중 아무데나 정의, 선언을 하던지 아무런 상관이 없기 때문에
컴파일러/링커 재량에 의해 해결됩니다.
오히려 컴파일러의 배려가 때로는 개발자에게 혼란을 주는 부분이라 할 수 있겠습니다.

이상입니다 ^^;

이 질문에서 컴파일러/링커에 대한 자세한 논의까지는 필요없을 것 같아 생략했습니다.
도움이 되신다면 좋겠습니다.

------

추가로 C++ 은 C 언어와 달리 강한 타입 / 코드 체킹을 요구합니다.
extern 키워드는 필수입니다. C++ 로 컴파일 하신다면, 둘 중 하나는 반드시 extern 으로 해야하는 것을
아실 수 있을 것입니다.