Ni GCC ni Clang 都不完全符合 C++ 标准 —— 而且这是结构性的问题

一项研究表明，GCC 和 Clang 均未完全遵循 ISO C++ 标准。这并非一个可通过单次 PR 修复的孤立错误，而是对全球大多数 C++ 项目所使用的两大编译器的结构性问题的总结。

具体案例引发的问题

你多年来一直使用GCC或Clang。你的代码能编译、运行并通过测试。而一项于2026年7月发布的研究显示，你信赖的编译器并不符合C++标准。不是一点点——而是结构性的不符合。

对于两个被数百万项目使用的编译器来说，这怎么可能？

研究内容

研究人员分析了GCC和Clang对官方C++标准（ISO/IEC 14882）的符合性。结果显示：两个编译器在某些类别的情况下存在不符合标准的行为——即编译器的行为与标准规定不一致。

该研究（可在 sebsite.pw 查看）详细列出了已识别的不符合类别。主要结论是：这不是通过一个PR就能修复的孤立bug，而是与标准本身的复杂性相关的结构性差异。

为何完全符合如此困难

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修复的bug
• 这并不影响它们在常规代码上的可靠性
• 如果你编写通用代码或库：请在多个编译器上测试，并使用Compiler Explorer (godbolt.org) 对比GCC、Clang和MSVC在相同代码片段上的行为