如何解决 GCC 警告“XXX 的地址永远不会为 NULL”？

Question

我正在开发一个 C 程序。有一个函数需要两个指针参数，称之为cmp()。出于说明原因，我在这里展示了 cmp() 的简化替代品：

int cmp(struct foo *a, struct foo *b)
{
    return a->bar == b->bar;
}

我想制作一个 NULL 检查宏，如下所示：

#define SAFE_CMP(a,b) (((a) != NULL && (b) != NULL) ? cmp((a),(b)) : 0)

我认为这完全没问题。然而，当同时使用 -Wall 和将警告视为错误的编译开关进行编译时，以下代码会很麻烦：

int baz(struct foo *a)
{
   struct foo b;
   /* ... */
   return SAFE_CMP(a, &b); 
}

因为 gcc 警告“b 的地址永远不会为 NULL” ”。

有什么办法可以解决这种情况吗？ 我最不想要的就是拥有诸如 SAFE_CMP_1(safe_arg,unsafe_arg) 和 SAFE_CMP_2(unsafe_arg,safe_arg) 等各种辅助宏。我想要一个适用于所有情况的辅助宏。

Answer 1

这似乎压制了我的警告：

#define SAFE_CMP(a,b) (((void *)(a) != NULL && (void *)(b) != NULL) ? cmp((a),(b)) : 0)

...但就我个人而言，我只会将 safe_cmp() 创建为函数本身。

int safe_cmp(struct foo *a, struct foo *b) {
    return (a && b) ? (a->bar == b->bar) : 0;
}

Answer 2

“我想要一个辅助宏
适用于所有情况。”

为什么？一种方法并不适用于所有情况。GCC 告诉您比较将总是得到某个结果，这是对您的帮助。堆栈变量的地址将永远不会为 NULL。我只会在 baz 中写出检查：

int baz(struct foo *a) {
   struct foo b;
   ...
   return a == NULL ? 0 : cmp(a, &b);
}

您也可以在 cmp 中执行此操作，这取决于您如何定义前置条件和后置条件

。宏（不适用于 baz）是 a 和 b 将被评估多次。

SAFE_CMP(p++, p1++);

Answer 3

gcc 选项 -Wno-address 似乎删除了警告。

Answer 4

当您收到此类警告时，请考虑您有双重 && 的可能性。 && if () 表达式中有错误