将 0 转换为 void答案

【问题标题】：casting 0 to void将 0 转换为 void
【发布时间】：2011-10-23 13:57:55
【问题描述】：

在我的 C++ 实现（Visual Studio 2008 实现）中，我在 <cassert> 中看到以下行

#ifdef  NDEBUG
#define assert(_Expression) ((void)0)

我不明白需要将 0 强制转换为 void。在我看来，

#ifdef  NDEBUG
#define assert(_Expression) (0)

甚至干脆

#ifdef  NDEBUG
#define assert(_Expression) 0

可以，考虑到可以使用assert(expr) 的上下文。

那么，在这种情况下，int 类型的 0 而不是 void 类型的 0 有什么危险呢？有任何现实示例吗？

【问题讨论】：

顺便说一句，虽然这对许多人来说似乎是一个微不足道的问题，但实际上我偶尔会遇到经验不足的程序员问这个话题。它类似于（但不是重复）关于为什么宏通常包含在 do ... while(0) 构造中的问题。有时，一个人的“太明显而不会被打扰”是另一个人的“WTF？！？”。

【解决方案1】：

复杂表达式(void)0 的唯一目的是避免编译器警告。如果你只是有一个赤裸裸的、无用的表达式，编译器可能会警告一个无效的表达式。但是，通过明确地将某些内容转换为 void，您表明您打算这样做。

（想想如果编译器突然说“警告：表达式0;没有效果。”，当你所做的只是切换到发布模式时，用户会有多困惑。）

这也是 C 中的常见做法，您可以说 (void)printf("Hello"); 告诉编译器您有意选择忽略函数的返回值。

(void) 演员表不仅仅是特定实现的选择；它是 C 标准所要求的。引用 2011 ISO C 标准（类似的措辞出现在 1990 和 1999 版本中）：

如果NDEBUG被定义为源文件中的宏名其中 <assert.h> 被包括在内，assert 宏被简单地定义为

#define assert(ignore) ((void)0)

C++ 标准要求 <cassert> 标头的内容与标准 C <assert.h> 标头的内容相同。

【讨论】：