据我所知，如果至少条件和执行的分支是编译时常量，则可以在编译时计算三元?:运算符。但是，如果其中一个 unexecuted 参数会调用未定义的行为呢？在运行时，未执行的分支不会导致未定义的行为，因为在这种情况下，C将break thoroughly。
但是，这适用于编译时吗？

static const int GLOBAL_VARIABLE = sizeof(char) == 1 ? 1 : 1/0;
// sizeof(char) is guaranteed to be 1 so the 1/0 is never evaluated

字符串
这是否保证会导致定义的行为？这似乎在GCC上有效。正如预期的那样，将表达式更改为编译时false值不会编译，因为编译器将尝试评估1/0，这是未定义的行为，无论是在编译还是运行时。如果我将1/0更改为其他无效的构造，如*(int *)0，则行为不会改变。
我的问题是，在编译时上下文中，未定义/无效/非编译时构造（不包括语法错误）可能出现在三元运算符的未执行分支中的这种行为将不会导致问题，这是GCC特有的还是可移植的？
根据docs GCC有__builtin_constant_p()：

static const int table[] = {
  __builtin_constant_p (EXPRESSION) ? (EXPRESSION) : -1,
  /* … */
};

型
这是一个可接受的初始化器，即使 EXPRESSION 不是常量表达式，...
这个__builtin_constant_p()的例子表明GCC明确地允许我所要求的，但是标准C允许吗？
Can code that will never be executed invoke undefined behavior?是一个不同的问题，因为问题中列出的代码在main()函数的if语句中。我的问题是特别关于编译时值，例如全局/静态变量的初始化器等。