C++编译器遇标准违规代码不终止编译会有哪些后果与风险？

编译器不终止编译的常见场景 #

像你用的MSVC，本身带了不少C++标准之外的语法扩展，遇到非标准代码时，它经常不会直接终止编译——要么给个警告就继续处理，要么直接按照自己的扩展规则解析代码。

核心风险与后果 #

• 彻底失去可移植性：比如你用了MSVC独有的__declspec(selectany)这种非标准属性，把代码拿到GCC或者Clang上编译，直接报错。甚至换个版本的MSVC，都可能因为扩展规则变化出问题。
• 隐藏未定义行为（UB）：很多违反标准的代码属于未定义行为范畴，编译器不会报错，但运行时的行为完全不可控。比如你写了int arr[5]; arr[10] = 0;这种数组越界，编译器可能不拦着，但运行时可能把其他变量的值改了，或者直接崩溃，甚至看起来“正常运行”但埋下定时炸弹。
• 调试难度拉满：非标准代码引发的问题，往往和代码逻辑看起来不沾边。比如你用了非标准的类型转换，结果某个变量的值莫名其妙变成了垃圾值，查半天都找不到原因——因为编译器的处理逻辑本身就不符合标准。
• 维护成本爆炸：如果项目里大量依赖这种非标准特性，后续换编译器、升级工具链时，会出现一堆编译错误，甚至运行时崩溃，要花大量时间返工修改。

能不能生成正常运行的可执行文件？ #

完全有可能。举几个实际例子：

• 很多人写void main()而非标准的int main()，MSVC会默认把它当成int main()处理，生成的程序能正常启动、运行、退出。
• 用MSVC的__forceinline扩展关键字强制内联函数，只要编译器能正确解析，生成的程序运行起来和预期一致。
• 但要明确：这种“正常”是完全依赖当前编译器的特定实现的，换个环境就可能直接失效。

运行时可能遇到的问题 #

• 直接崩溃：比如违反内存安全的非标准代码，比如访问空指针的成员变量，编译器没报错，但运行时直接触发访问违例崩溃。
• 逻辑错误：代码行为和预期不符，比如用了非标准的整数溢出处理，结果计算出来的数值完全不对，导致业务逻辑出错。
• 间歇性诡异bug：未定义行为引发的问题，有时候运行正常，有时候突然崩溃，或者数据被随机篡改——这种bug最难调试，因为没法稳定复现。
• 版本/平台兼容性问题：在不同版本的VS上运行结果不同，或者32位和64位系统上表现差异巨大，因为编译器对非标准代码的处理规则可能随版本更新而变化。

内容的提问来源于stack exchange，提问作者Navy