GCC 给出的初始化元素不是常量，ARMCC 不是

Question

在 libfixmath 中有the following macro magic:

#define F16C(i, m) \
( (fix16_t) \
    ( \
      (( #i[0] ) == '-') \
        ? -FIXMATH_COMBINE_I_M((unsigned)( ( (i) * -1) ), m) \
        : FIXMATH_COMBINE_I_M((unsigned)i, m) \
    ) \
)

这样用了几十次：

F16C(3,1415)

初始化各种事物，从结构到数组和临时对象。

在 ARMCC 中运行良好。但是我正在迁移到 ARM GCC，它给了我以下错误，但不是在所有实例上，主要是在进行 const 结构初始化时。

error: initializer element is not constant

这与使用非常数作为初始化器有关。这是可以理解的。
但是这个宏被赋予了两个整数字面量。没有比这更稳定的了！

我是否遗漏了什么，或者是否有我不知道的 GCC 扩展来完成这项工作？

更新：macro called by this 中有一个 sizeof(#token)。

注意：与 ARMCC 相比，GCC 可以正确解析 F16() 宏并且不会创建 fplib 调用。只是提醒那些将来发现自己遇到此问题的人。

Answer 1

根据 Godbolt，它 works in gcc 8.2 但在 7.3 中失败。

但是，如果您将( #i[0] ) == '-') 替换为(i) < 0，则它在lower versions too 中有效。

我觉得奇怪的是这个库的作者选择使用( #i[0] ) == '-') 来测试宏参数是否为负，因为如果参数不是整数文字，它将失败。

（更新）根据OP的评论，(i) < 0不能使用的原因是它也需要将-0归类为否定。

以下是 GCC 的一些不同方法：

// does not work on gcc
#define IS_NEG(x) ((#x)[0] == '-')

// works, but fails the "-0" case
#define IS_NEG(x) (x < 0)

// works on gcc (although, it matches '-' at any idx)
#include <string.h>
#define IS_NEG(x) (strchr(#x, '-') != NULL)

奇怪的是，strchr seems to be allowed 在 gcc 5.4 或更高版本上创建编译时常量的用法。