다른 컴파일러로 만든 (C) 객체 파일은 이진 호환 가능합니까?

C ++ 컴파일러는 서로 호환되지 않는다는 것을 알고 있습니다. 그러나 나는 C에 대해이 주제에서 아무것도 찾을 수 없었습니다. C 표준은 컴파일러가 구현할 수있는 충분한 공간을 남겨둔다는 것을 알고 있지만 대부분의 (모든?) 데이터 유형의 크기와 정렬은 최소한의 보장을 위해 구현 정의 저장입니다. 따라서 두 컴파일러 (또는 동일한 컴파일러의 두 버전)는 수많은 세부 사항에 동의하지 않을 수 있습니다.

다른 컴파일러로 컴파일 된 두 개의 객체 파일이 실제로 올바르게 링크된다는 보장이 없다고 생각하는 것이 맞습니까? 예를 들어, 포인터의 크기는 한 객체 파일에서 32 비트이고 다른 객체 파일에서 64 비트 일 수 있습니다. 그러나 그렇다면 왜 C 라이브러리가 때로는 사전 컴파일 된 형태로 배포됩니까? 내가했던 것과 같은 컴파일러 (예 : gcc) 또는 바이너리 호환성을 보장하기 위해 사용되는 사실상의 표준을 사용할 것이라는 기대가 있습니까? 그리고 외국어 인터페이스를 가진 다른 언어는 어떻게 C 객체 파일과 링크 할 때 올바르게 정렬되도록합니까?

일반적인 대답은 아니오입니다. C 언어 컴파일러는 서로 호환되지 않습니다. C 언어 표준은 어떤 종류의 이진 상호 운용성을 정의하지 않으며 대부분의 컴파일러 작성자는 시도조차하지 않습니다.

나는 그것을 자격이 필요합니다. C 컴파일러가 생성 한 객체는 런타임 라이브러리와 연결되어 실행 가능 파일이나 런타임 연결 가능 라이브러리를 생성해야합니다. C 런타임 라이브러리가 제공하는 가시적 기능은 호환 가능해야하지만 구현에 고유하고 상호 운용성을 방지하는 보이지 않는 기능도 있습니다.

이러한 호환성 부족은 동일한 컴파일러의 다른 버전으로 확장됩니다. 일반적으로 이전 버전과 최신 버전의 컴파일러로 컴파일 된 프로그램과 라이브러리는 함께 연결할 수 없으며 MSVC로 컴파일 된 프로그램과 라이브러리는 GCC에서 컴파일 한 것과 연결할 수 없습니다.

구체적이고 유용한 예외가 있습니다. 모든 플랫폼은 동적 연결 ABI (Application Binary Interface) 및 해당 ABI를 준수 할 수있는 모든 언어의 프로그램을 제공합니다. 따라서 일반적으로 MSVC (또는 다른 것)를 사용하여 DLL (Windows에서)을 빌드하고 다른 버전의 MSVC 또는 GCC에 의해 컴파일 된 프로그램에서 또는 그 반대로 호출 할 수 있습니다.

Windows에는 COM 및 .NET 어셈블리라는 두 가지 다른 ABI가 있으며 다양한 언어에 걸쳐 있습니다. 따라서 상호 운용성이 가능하지만 호환되지는 않습니다.

링커 맵을 비교하면 비 호환성의 정도를 쉽게 확인할 수 있습니다. GNU 사용 ld -M, MSVC 사용 link /map. 생성 된 두 파일을 연구하십시오. 두 옵션 모두 printf 및 main과 같이 사용자가 인식 할 수있는 이름을 갖지만 (옵션에 따라) 이름이 여러 방식으로 엉망이 될 수 있습니다. 그들은 또한 완전히 다른 이름을 가질 것입니다. 서로 다른 컴파일러에서 생성 한 객체 파일이 호환 되려면 모든 이름에 동의해야하며 절대 그렇지 않습니다. 동일한 컴파일러의 다른 버전조차도 항상 그렇게 할 수는 없습니다.

당신이 찾고있는 것은 ABI (Application Binary Interface)입니다.

C 언어는 ABI를 정의하지 않으므로 다른 컴파일러로 컴파일 된 C 파일이 서로 작동한다는 보장은 없습니다.

반면, 대부분의 플랫폼에서 OS는 ABI와 인터페이스하기위한 ABI를 정의하고 OS 및 프로세서 제품군을 대상으로하는 모든 컴파일러는 비 OS 구성 요소와 인터페이스하기 위해 동일한 ABI를 사용합니다. 따라서 실제로 다른 컴파일러에서 만든 C 개체는 서로 작동 할 수 있습니다.