GCC处理常量初始化器中逗号运算符时疑似存在编译Bug

这不是GCC的Bug，是GCC严格遵循C语言标准的正常表现，旧版本Clang能通过编译反而是默认开启的非标准扩展行为。

所有写在函数外部的全局变量属于静态存储期对象，C语言标准对这类对象的初始化器有强制约束：初始化值必须是常量表达式。
而标准对常量表达式的语法限制写得非常明确：

常量表达式中不允许出现赋值运算符、自增/自减运算符、函数调用、逗号运算符，除非上述语法元素出现在不会被实际求值的子表达式（比如sizeof的操作数）中。

你写的(1, 2)本质是逗号运算符表达式，哪怕外层包裹了括号、哪怕两个操作数都是字面量常量，它从语法层面就不属于C标准定义的合法常量表达式，GCC抛出error: initializer element is not constant完全符合标准要求。

• 为什么int y = (1 + 2);可以正常编译？因为括号在这里只起到调整运算优先级的作用，括号内的加法表达式本身是合法的算术常量表达式，自然满足初始化要求，和逗号表达式的场景没有可比性。
• 为什么把y的声明移入main()函数内部后两个编译器都能正常编译？因为函数内部的局部变量是自动存储期对象，C标准不要求它的初始化值必须是编译期可确定的常量，运行时求值的表达式也可以作为初始值，逗号表达式在这里属于合法的运行时表达式，自然不会触发错误。
• 为什么去掉括号写int y = 1, 2;GCC的报错是合理的？因为这时候逗号根本不是逗号运算符，是变量声明的分隔符，代码会被解析为int y = 1; int 2;，后者是非法的变量声明，和我们讨论的带括号的逗号表达式场景完全无关。

你观察到的Clang可正常编译该代码的现象，是旧版本Clang默认开启的非标准兼容扩展：它不会严格检查常量表达式中的逗号运算符，只要逗号表达式的最终求值结果是常量，就允许作为静态存储期变量的初始值。如果给旧版本Clang加上严格遵循标准的编译参数-std=c11 -pedantic-errors，它会抛出和GCC完全一致的编译错误，目前新版本Clang也已经调整了默认行为，和GCC保持一致对该非法写法报错。

至于编译时附带的warning: expression result unused警告，是完全合理的提示：逗号运算符的规则是先求值左操作数、丢弃结果，再求值右操作数作为整个表达式的返回值，你写的(1, 2)中左操作数1的结果没有被任何地方使用，编译器自然会给出未使用表达式结果的提示。

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