Ни одна статья, поднятая на первую страницу Hacker News, не напоминает о правде, которую многие разработчики на C++ предпочитают игнорировать: ни GCC, ни Clang не реализуют 100 % стандарт. Практический разбор.

Ни GCC, ни Clang не полностью соответствуют стандарту C++

Статья, опубликованная на sebsite.pw и поднятая на Hacker News, напоминает о правде, которую многие C++-разработчики предпочитают игнорировать: два крупнейших open source компилятора в мире, GCC (GNU Compiler Collection) и Clang (frontend проекта LLVM), не полностью соответствуют стандарту C++. Ни один из них никогда не соответствовал на 100 %.

Контекст

Стандарт C++ (ISO/IEC 14882) — это том объёмом более 2000 страниц. Каждая новая версия (C++17, C++20, C++23, разрабатываемый C++26) добавляет новые функции, которые разработчики должны реализовать. На практике ни один компилятор не реализует 100 % стандарта в срок; в таблицах соответствия всегда есть пометки вроде «feature X частично поддерживается» или «feature Y не реализована». Актуальный список можно найти на cppreference.com (страница «Compiler support»).

О чём говорит статья

Автор статьи обращает внимание на случай, когда и GCC, и Clang отходят от стандарта: либо они принимают программу, которую стандарт запрещает, либо отвергают программу, полностью соответствующую стандарту. Точная природа бага (frontend, ABI, оптимизатор) определяет его влияние — от «неверного диагноза» до «некорректного кода без предупреждений».

Для опытного разработчика вопрос не в том, есть ли баг в компиляторе — ответ очевиден (да, как и в любом ПО из 20+ миллионов строк), — а в том, где находятся зоны риска и какие из них встречаются на практике.

Что делать, когда это происходит

1. Проверять на обоих компиляторах: если GCC выдаёт «ошибку», а Clang — «OK», высока вероятность, что один из них не прав — это помогает выявить виновника.
2. Использовать Compiler Explorer (godbolt.org) с несколькими версиями GCC, Clang и MSVC одновременно: несколько кликов — и можно сравнить 5 бэкендов разом.
3. Сообщать на bugzilla.gcc.gnu.org или bugs.llvm.org — разработчики оперативно реагируют, и сортировка багов часто занимает несколько дней.
4. Обходить проблему, фиксируя -std=c++17 или изолируя проблемную конструкцию, пока баг не исправлен.

Кратко

Стандарт C++ — не Библия, а компиляторы — не святые. Если ваш код компилируется на GCC 15, но не на Clang 20, это не «чудо» — просто две реализации, два толкования, слишком большой стандарт. Будьте прагматичны, держите godbolt открытым.