如何添加静态断言以检查变量是否为静态？

如何解决如何添加静态断言以检查变量是否为静态？

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

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

不正确：

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

我使用GCC for C（没有C ++）。     

解决方法

您可以使用以下技巧：

#define ASSERT_LOCAL_STATIC(v) static void *p_ ## v = &v

void fn()
{
    int nonstatic_var = 0;
    static int static_var = 0;

    ASSERT_LOCAL_STATIC(static_var);
    ASSERT_LOCAL_STATIC(nonstatic_var);
}

对于非静态变量，GCC发出错误“初始化元素不是常量”。     ,您可以通过使用它们的地址来区分静态变量和局部变量： 静态变量存储在.BSS或.DATA节中 局部变量存储在堆栈中 例如我系统上以下程序的输出

#include <stdio.h>

void f0() {
    int x = 0;
    printf(\"%p\\n\",&x);
}

void f1() {
    static int x = 0;
    printf(\"%p\\n\",&x);
}

int main() {
        f0();
        f1();

        return 0;
}

这是：

0x7fff1dc718dc
0x600900

每个部分和堆栈的放置位置取决于平台的ABI，但您可以使用块局部变量的地址来形成条件：

#include <stdio.h>

#define check(var) { \\
        int ___ = 0; \\
        printf(\"%s (%p): %s\\n\",#var,&var,(&var > &___)?\"local\":\"static\"); \\
}

void f0() {
    int x = 0;
    check(x);
}

void f1() {
    static int y = 0;
    check(y);
}

int main() {
        f0();
        f1();

        return 0;
}

输出：

x (0x7fff4b965afc): local
y (0x600978): static

警告：我不建议您使用此“技巧”。仅此而已：一个技巧，在最不适当的情况下会失败。只要正确地记录您的宏，然后让使用它的人员处理滥用它的后果即可。     ,只需按照大多数C库使用的方式进行操作即可：告诉用户您的宏适用于静态变量，而其他任何行为都可能是不确定的/意外的。 就像您还可以将NULL指针传递给

strdup()

等一样，这只会导致segfault而不导致任何不强制执行的问题。     ,我认为您无法在ISO C中区分这些情况。但是由于您已经提到使用GCC，因此可能会有一些有用的内置伪函数。它们的名称都以ѭ8开头，因此您应该阅读GCC文档中的列表。 http://www.google.com/search?q=gcc+builtin 好吧，我只是通读了整个内置部分，却没有找到任何东西。因此，我认为这实际上是不可能的。 出于好奇，您打算如何使用该宏？