Clang为什么要抱怨“初始化元素”不是编译时常数。对于本地复合字面意思？

Question

使用以下代码，

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

int f2i(float x) {
  return REINT(int, x);
}

float i2f(int x) {
  return REINT(float, x);
}

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

Clang抱怨f2i2f“初始化器元素不是编译时常数”。这似乎很奇怪，因为复合文字“具有与 封闭块”（6.5.2.5p5），以及此类对象的初始化器列表中的元素不必是编译时常数。

Answer 1

在问题下的评论中，有人提到这是一个已知的错误，“这是一个旧的错误仍然无法修复” 。因此，在修复之前，您必须围绕它进行工作。

我可以找到触发器的最简单代码是错误是

int x = 3;
struct { __typeof__((int){x}) y; };

触发该错误是触发的：当以下内容：

• 具有非构恒定初始化的化合物字面形式，
• 在参数中使用
• 以__ typeof __ typeof __在任何一个在任何一个中声明成员变量的声明struct或A Union

当reint 在f2i和i2f中使用宏函数，它不会触发错误，因为参数x不是复合文字。这些功能中的x是具有原始类型的变量。

但是在f2i2f函数中，参数x传递给 ofter reint的调用包含复合文字。该复合文字是参数的一部分，用于__ type __，它用于定义 ofter union的定义。

因此，解决方法是避免嵌套reint宏。例如，f2i2f可以实现如下：

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