条件运算符未执行分支在编译时是否会引发未定义行为？

标准C的规定 #

按照C标准，全局/静态变量的初始化器必须是合法的常量表达式。对于三元运算符?:构成的常量表达式，标准要求所有分支都必须满足常量表达式的要求——哪怕编译时能确定某个分支绝对不会被执行，只要该分支包含未定义行为（如1/0、无效指针解引用*(int*)0）或者非合法常量表达式的内容，整个初始化表达式就不再符合标准，属于未定义行为。

也就是说，你给出的示例代码：

static const int GLOBAL_VARIABLE = sizeof(char) == 1 ? 1 : 1/0;

在标准C中是不被允许的，因为1/0本身不是合法的常量表达式，即便它永远不会被求值。

GCC的扩展行为 #

GCC对常量表达式的处理有专属扩展：如果编译器在编译时能明确判断三元运算符的条件是常量真/假，且某个分支绝对不会被执行，那么它会忽略该分支中的非合法常量表达式内容，不会触发编译错误。

这一点在GCC文档中__builtin_constant_p的示例也能体现——即便表达式不是常量表达式，只要编译时能确定不会被执行，初始化器就能被接受。但这种行为是GCC特有的，不具备可移植性：

• 换用Clang、MSVC等其他编译器，可能会直接对未执行分支中的未定义行为报错；
• 当条件变为编译时假值时，GCC会尝试求值该分支的内容，自然会触发编译错误，这也符合它的扩展逻辑。

总结 #

• 标准C要求常量表达式的所有分支都必须合法，未执行分支的未定义行为会导致整个表达式非法；
• GCC的宽松扩展允许编译时确定不会执行的分支存在非合法内容，但这不是可移植行为。

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