6

我正在编写一些 C 代码，这些代码在设置标志时会执行大量错误报告和日志记录DEBUG，这有时会在未设置标志的情况下编译时产生未使用的变量警告DEBUG。

#ifdef DEBUG
#define CHECK(expr) foo(expr)
#else
#define CHECK(expr)
#endif /* DEBUG */

int x = bar(a, b, c); /* bar has to be called for both DEBUG begin defined and undefined */ 
CHECK(x == SOME_VALUE); /* Produces an "unused variable" warning if DEBUG is undefined

编辑：只是一点提醒（不确定它是否有任何后果）：CHECK宏的参数是一个表达式，而不是单个变量。

对于这种模式，摆脱未使用的变量警告的最佳方法是什么？

我尝试过/虽然：

#ifdef DEBUG
int x = bar(a, b, c);
#else
bar(a, b, c);
#endif
CHECK(x == SOME_VALUE);

然后，为了避免将调用写入bar（在实际调用中更复杂）两次：

#ifdef DEBUG
int x = 
#endif
bar(a, b, c);
CHECK(x == SOME_VALUE);

但是，我觉得这不是一个干净易读的解决方案。有没有更好的办法？请注意，出于性能原因，如果未定义，CHECK(expr)宏不应生成任何代码（编辑：因此不应评估）。DEBUGexpr

有没有比我上面概述的更优雅的方法？

4

3 回答 3

8 
#ifdef DEBUG
    #define CHECK(x) x
#else
    #define CHECK(x) ((void)sizeof((void)(x),0))
#endif

我认为这解决了所有可能的问题：

  • sizeof确保表达式根本不被计算，因此它的副作用不会发生。这与仅调试构造的通常行为一致，例如assert.
  • ((x), 0)使用逗号运算符吞下(x). 这是为了防止 VLA 触发评估。
  • (void)显式忽略结果，(x)因此sizeof不会出现“未使用值”警告。
于 2016-05-24T11:41:51.320 回答
4

如果我正确理解了您的问题，您可以执行类似的操作

#ifdef DEBUG
.
.
#else
#define CHECK(expr) ((void)(expr))
#endif /* DEBUG */

摆脱警告。

于 2016-05-24T11:10:00.753 回答
0

有了这个解决方案，就不需要中间变量了。

#define DEBUG

#define DOCHECK(a) printf("DOCHECK %d\n", a)

#ifndef DEBUG
#define CHECK(a, b) a
#else
#define CHECK(a, b) do {int x = a; DOCHECK(x == b);} while (0)
#endif

int bar(int x, int y)
{
  return x+y;
}    

int main()
{
  CHECK(bar(2,3), 2+3);
  return 0;
}
于 2016-05-24T11:38:32.713 回答