为什么 (void)0 停止“声明无效”警告？答案

【问题标题】：Why does (void)0 stop "statement has no effect" warnings?为什么 (void)0 停止“声明无效”警告？
【发布时间】：2012-04-05 03:19:24
【问题描述】：

我有一个 trace() 宏，我用另一个宏打开和关闭，例如

#ifdef TRACE
    #define trace(x) trace_val(x, 0)
#else
    #define trace(x) 0
#endif

当我用未定义的TRACE 调用trace() 时，这会从gcc 生成warning: statement with no effect。经过一番搜索，我发现改变了

#define trace(x) 0

到

#define trace(x) (void)0

消除错误。我的问题是：为什么？有什么区别？

【问题讨论】：

标签： c macros

【解决方案1】：

强制转换为 void 表明程序员打算丢弃结果。警告的目的是表明该语句没有效果并不明显，因此提醒程序员注意这一点很有用，以防它是无意的。此处的警告毫无用处。

【讨论】：

这有点道理。这是语言语法的记录部分吗？
与其说是语言语法，不如说是特定的编译器。语言中没有规定警告，它们是编译器为了让事情变得更容易而做的额外措施。无论有没有编译器的警告，代码中的两种语法在语言级别都是有效的；它们的意思本质上是一样的，只是在一种情况下，它更“明显”（在非常非正式的意义上）是故意的。
此警告未在语言中规定。一些警告是，但这些警告是“这正式是一个错误，但我会让它溜走”。

【解决方案2】：

警告和解决方法是特定于编译器的。但是，您可以执行以下操作：

#define NOP do { } while(0)

#ifdef ENABLE_TRACE
    #define TRACE(x) trace_val(x, 0)
#else
    #define TRACE(x) NOP
#endif

这首先避免了潜在的问题。

【讨论】：