为何GCC无法处理结构体初始化器中sizeof条件三元式的复合字面量编译期求值？

先看这段代码：

struct Int {
    int i;
};
const struct Int i = {sizeof(int) ? (int){1} : 0};

这段代码在GCC中编译时会报错：

initializer element is not constant

但以下几种场景下代码可以正常编译：

• 使用Clang编译；
• 将sizeof(int)替换为0；
• 将(int){1}替换为1；
• 直接初始化int变量而非结构体成员，例如：int i = sizeof(int) ? (int){1} : 0;

针对这一现象，解答两个技术问题：

1. C标准是否允许这种初始化方式？ #

根据C11及后续版本的标准，文件作用域的对象必须使用常量表达式进行初始化。标准明确规定，常量表达式中不能包含复合字面量——哪怕复合字面量的内容是编译期可确定的常量。

在这个例子中，三元表达式的一个分支是(int){1}，这属于复合字面量，不属于常量表达式范畴，因此整个三元表达式不符合常量表达式的要求。严格来说，C标准不允许这种写法。

而Clang在这里做了非标准扩展，将编译期可确定的复合字面量视为常量表达式的一部分，所以能正常编译。

2. 为何GCC在部分场景下能正常编译？ #

GCC对常量表达式的检查逻辑会根据初始化场景的不同而调整：

• 当把sizeof(int)替换为0时，编译期会直接优化掉三元表达式的第一个分支，只保留0——这是合法的常量表达式，因此初始化通过。
• 当把(int){1}替换为1时，三元表达式的两个分支都是普通整数常量，整个表达式成为合法的常量表达式，符合标准要求。
• 当直接初始化int变量时，GCC对全局变量初始化的检查规则相对宽松，会将编译期可计算的表达式视为有效初始化值（这是GCC的扩展行为）；但初始化结构体成员时，GCC会严格遵循标准对常量表达式的定义，拒绝包含复合字面量的表达式，因此报错。

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