Ни GCC, ни Clang не соответствуют стандарту C++ — и это структурно

Исследование демонстрирует, что ни GCC, ни Clang не соблюдают в полной мере стандарт ISO C++. Это не единичный баг, который можно исправить одним PR — структурный вывод о том, что оба компилятора, используемых в большинстве проектов C++ по всему миру, не соответствуют стандарту.

Конкретный случай, который ставит вопрос

Ты используешь GCC или Clang на протяжении многих лет. Твой код компилируется, работает, проходит тесты. И в июле 2026 года выходит исследование, которое утверждает, что твой доверенный компилятор не соответствует стандарту C++. Не частично — структурно.

Как такое возможно для двух компиляторов, используемых в миллионах проектов?

Что говорит исследование

Исследователи проанализировали соответствие GCC и Clang официальным спецификациям стандарта C++ (ISO/IEC 14882). Результат: оба компилятора демонстрируют поведение, не соответствующее стандарту, в некоторых категориях случаев — ситуации, когда компилятор делает одно, а норма — другое.

Исследование (доступно на sebsite.pw) подробно описывает выявленные категории несоответствий. Главный вывод: речь не идёт о единичных багах, которые можно исправить одним PR, а о структурных расхождениях, связанных с самой сложностью стандарта.

Почему так сложно быть полностью соответствующим

Стандарт C++ — это документ объёмом более 1800 страниц, постоянно эволюционирующий (C++11, C++14, C++17, C++20, C++23...). Реализовать 100 % определённого поведения — титаническая работа, особенно учитывая, что некоторые части стандарта сами по себе неоднозначны или допускают разные толкования в рамках комитета ISO.

Команды GCC и Clang уступают по численности масштабу задачи. Полная соответствие — это горизонт, а не достижимая точка в конкретный момент времени.

Что это меняет на практике

В 95 % повседневного кода на C++: ничего. Несоответствия затрагивают редкие уголки языка, до которых большинство разработчиков никогда не добирается.

Для разработчиков библиотек, фреймворков или обобщённого кода (тяжёлые шаблоны, концепты, метапрограммирование) это важный сигнал: поведение твоего кода может отличаться между GCC, Clang, MSVC и буквой стандарта. То, что компилируется и работает на одном компиляторе, может быть технически нелегальным согласно норме.

Что нужно запомнить

• Ни GCC, ни Clang не полностью соответствуют стандарту C++ — это структурная проблема, а не баг, который можно исправить одним PR
• Это не ставит под сомнение их надёжность для обычного кода
• Если ты пишешь обобщённый код или библиотеки: тестируй на нескольких компиляторах и используй Compiler Explorer (godbolt.org), чтобы сравнить поведение GCC, Clang и MSVC на одном и том же коде