我正在研究一些在设置DEBUG标志时执行大量错误报告和日志记录的C代码,这有时会在未设置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,c); #else bar(a,c); #endif CHECK(x == SOME_VALUE);
#ifdef DEBUG int x = #endif bar(a,c); CHECK(x == SOME_VALUE);
但是,我觉得这不是一个干净,可读的解决方案.有没有更好的办法?请注意,出于性能原因,如果未定义DEBUG,则CHECK(expr)宏不应生成任何代码(编辑:因此,不应评估expr).
有没有比我上面概述的方式更优雅的方式?
解决方法
#ifdef DEBUG #define CHECK(x) x #else #define CHECK(x) ((void)sizeof((void)(x),0)) #endif
我认为这解决了所有可能的问题:
> sizeof确保表达式根本不被评估,因此它的副作用不会发生.这与仅调试构造的常见行为一致,例如assert
.
>((x),0)使用逗号运算符来吞下(x)的实际类型. This is to prevent VLAs from triggering evaluation.>(void)显式忽略(x)和sizeof的结果,因此不会出现“未使用的值”警告.