Clang为何针对局部复合字面量报初始化元素非编译时常量错误

你对C标准的理解完全正确，这个报错是旧版本Clang的语义分析逻辑缺陷导致的，不符合C标准的要求：

1. 将f2i2f中的嵌套宏完全展开后，实际等价代码如下：

   float f2i2f(float x) {
     return (union { int x; float t; }) {
       (union { float x; int t; }){x}.t
     }.t;
   }
   

   两层复合字面量都定义在函数块作用域内，按照C标准6.5.2.5p5的规则，都属于关联到当前代码块的自动存储期对象，初始化列表不需要使用编译时常量，本不应该触发该报错。
2. Clang的误判触发逻辑是：当复合字面量的类型是表达式位置当场声明的匿名结构体/联合体类型，且它的初始化器本身是另一个复合字面量的成员访问结果时，旧版本Clang会错误地将外层复合字面量标记为静态存储期。而静态存储期的复合字面量按标准要求初始化器必须是编译时常量，内层复合字面量的取值是运行时计算的，自然抛出“初始化元素不是编译时常量”的错误。
3. f2i、i2f两个函数不触发报错的原因是，它们的复合字面量初始化器是函数形参，不涉及其他复合字面量的成员访问，不会触发这段误判逻辑。同版本的GCC不存在该问题，可以正常编译原代码。
4. 这个逻辑缺陷在Clang 16及之后的版本已经被修复，使用高版本Clang可以直接编译通过你最初写的代码。

不需要改动复合字面量实现类型重解释的核心逻辑，两种简单改法即可绕开误判：

• 方案1：拆分嵌套调用，先把内层转换的结果存入局部临时变量，再做外层转换：

  float f2i2f(float x) {
    int tmp = REINT(int, x);
    return REINT(float, tmp);
  }
  

  这种写法兼容性最好，所有支持C99及以上标准的编译器都能正常处理。开启O2及以上优化等级时，编译器会将两次转换直接优化为寄存器位操作，不会产生额外的临时变量开销，和原写法生成的机器码完全一致。
• 方案2：修改宏定义，给传入的初始化值套一层括号完成值退化，绕开Clang对复合字面量左值的特殊检测逻辑：

  #define REINT(T, X) (union {__typeof__(X) x; T t;}){(X)}.t
  

  这种改法不需要调整所有宏调用的位置，且不会改变原宏的行为：即使传入的X是带副作用的表达式（比如自增、函数调用），也只会被求值一次，和原逻辑完全等价。

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