C++ 개발자 중 다수가 간과하는 진실을 상기시켜 주는 Hacker News의 상위 게시물이 올라왔습니다: GCC나 Clang 모두 표준을 100% 구현하지 못하고 있습니다. 실전 해부.

Ni GCC ni Clang은 C++ 표준을 완전히 준수하지 않는다

sebsite.pw에 게시된 글과 해커 뉴스에 올라온 글이 C++ 개발자 중 많은 이들이 무시하고 싶어 하는 사실을 상기시킨다: GCC(GNU Compiler Collection)와 Clang(LLVM 프로젝트의 프론트엔드)라는 두 대형 오픈소스 컴파일러가 C++ 표준을 완전히 준수하지 않는다는 사실이다. 두 컴파일러 모두 한 번도 100% 준수한 적이 없다.

배경

C++ 표준(ISO/IEC 14882)은 2,000페이지가 넘는 분량의 책이다. C++17, C++20, C++23, 준비 중인 C++26 등 새로운 버전이 나올 때마다 구현자들은 따라잡아야 할 기능을 추가한다. 실질적으로 어떤 컴파일러도 표준을 100% 구현하지 않으며, 준수 현황 표에는 항상 "기능 X 부분 지원" 또는 "기능 Y 미구현"이라는 항목이 있다. 최신 정보는 cppreference.com의 "Compiler support" 페이지에서 확인할 수 있다.

글에서 제기하는 문제

해당 글의 저자는 GCC와 Clang이 표준에서 벗어나는 경우를 지적한다: 표준에서 금지하는 프로그램을 허용하거나, 반대로 완벽히 표준에 맞는 프로그램을 거부하는 경우가 발생한다는 것이다. 버그의 성격(프론트엔드, ABI, 최적화기)에 따라 영향은 "잘못된 진단"에서 "조용히 잘못된 코드"까지 다양하다.

시니어 개발자라면 더는 "자신의 컴파일러에 버그가 있는가?"라는 질문에 답할 필요가 없다 — 답은 예이며, 이는 2,000만 줄이 넘는 어떤 소프트웨어와도 마찬가지다 — 중요한 것은 어디가 위험한지, 그리고 실제 사용 시 어떤 부분이 위험한지 아는 것이다.

이런 상황이 발생했을 때 해야 할 일

1. 두 컴파일러에서 재현하기: GCC가 "에러"라고 하고 Clang이 "OK"라고 한다면 십중팔구 둘 중 하나가 틀린 것 — 잘못된 쪽을 isolating하는 데 유용하다.
2. Compiler Explorer(godbolt.org)에서 여러 버전의 GCC/Clang/MSVC를 병렬로 비교: 몇 번의 클릭으로 한 번에 5개의 백엔드를 비교할 수 있다.
3. bugzilla.gcc.gnu.org 또는 bugs.llvm.org에 신고하기 — 유지보수 담당자들은 반응이 빠르며, 보통 며칠 안에 triage가 완료된다.
4. 문제가 되는 구문을 패치할 때까지 -std=c++17으로 고정하거나 격리하여 회피하기.

기억해야 할 점

C++ 표준은 성경이 아니며, 컴파일러는 성인이 아니다. 여러분의 코드가 GCC 15에서는 컴파일되지만 Clang 20에서는 되지 않는다고 해서 "기적"이 아니다 — 그저 두 개의 구현, 두 가지 해석, 너무나도 방대한 표준일 뿐이다. 실용적으로 접근하고 godbolt를 열어두어라.