相关疑难解决方法(0)

Linux内核邮件列表中讨论了一个宏,该宏测试其参数是否为整数常量表达式,并且本身是一个整数常量表达式.

Martin Uecker提出的一种不使用内置函数的特别聪明的方法(从glibc的tgmath.h中获取灵感)是:

#define ICE_P(x) (sizeof(int) == sizeof(*(1 ? ((void*)((x) * 0l)) : (int*)1)))

1如果参数是整数常量表达式,0则此宏扩展为值的整数常量表达式,否则.但是,它依赖于sizeof(void)允许(和不同于sizeof(int)),这是一个GNU C扩展.

是否可以在没有内置函数的情况下编写这样的宏而不依赖于语言扩展？如果是,它会评估其论点吗？

有关上面显示的宏的解释,请参阅:Linux Kernel的__is_constexpr宏

我有一个仅适用于静态局部变量的宏（因为它使用内联汇编表示法来提取有关变量的数据）。我需要一种方法来强制宏的输入确实是静态局部变量：

正确的：

func f()
{
    static int x;
    my_macro(x);
}

不正确：

func f()
{
    int x;
    my_macro(x);
}

我使用 GCC 来处理 C（没有 C++）。