当 0 作为参数传递时，GCC 可以发出警告吗？

Question

有人告诉我，您可以在代码中添加一些特殊指令，以使 GCC 在检测到 0 作为参数传递时（这意味着在编译时可能）发出警告。

我已经找过了，但没能找到。这是真的吗？

Answer 1

有一个 函数属性 您可以使用它来警告空指针：

void foo(void *data) __attribute__((nonnull));

int main(void)
{
    foo(0);
    return 0;
}

$ gcc -Wall -c t.c
t.c: In function ‘main’:
t.c:5:5: warning: null argument where non-null required (argument 1) [-Wnonnull]

I不过，我不知道有任何内置的东西可以检查整数类型是否为 0。

不过，您可能会在 Linux 内核的各种 BUILD_BUG_* 宏中找到适合您需要的内容。它们位于 include/linux/kernel.h 中。 （此处交叉引用。）