GCC对const变量作为常量表达式的场景化处理不一致问题问询

GCC两个场景判定逻辑不一致的原因 #

该现象并非GCC对n是否为常量表达式的判定存在双标，本质是两个场景在GCC中走了完全独立的检查规则：

• 静态存储变量初始化场景：GCC有单独的历史扩展，放宽了C标准要求的「静态存储变量初始化器必须为常量表达式」的限制，只要const修饰的整型变量编译期可确定取值，就允许用于静态变量初始化。该规则和“变量是否符合C标准定义的常量表达式”没有绑定关系，你观察到的-pedantic模式下无告警属于GCC的已知bug，和规则设计无关。
• 文件作用域数组大小场景：GCC没有对该场景做同类扩展。C标准明确禁止文件作用域出现可变修改类型（VLA），且GCC本身也没有实现静态存储周期的VLA特性，因此对数组大小的判定严格遵循C标准要求：仅标准定义的整数常量表达式可作为文件作用域的数组长度。const int类型变量本身不属于C标准规定的整数常量表达式，因此直接触发报错。

你此前的误解核心是将「GCC允许n用作静态初始化器」等同于「GCC判定n为常量表达式」，实际上两个场景的检查逻辑完全独立，不存在内在矛盾。

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