不干人事的表达式：(void)0

assert是C语言的一个宏。在<assert.h>中可以找到它的定义：

#ifdef NDEBUG
    #define assert(_Expression) ((void)0)
#else /* !defined (NDEBUG) */
    // 省略
    ...
#endif /* !defined (NDEBUG) */

其用法在“捕捉错误的assert”一文中已有说明。

决定assert是否发挥作用的是程序的预处理部分有无#define NDEBUG，如果有则assert宏就会不起作用。

这是怎么实现的呢？

关键就在于上面代码中的这条语句：

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

这是一个宏替换，它定义了一个名为 assert 的宏，它接受一个参数_Expression。如果NDEBUG被定义了，assert宏将被替换为一个表达式((void)0)。

(void)0做了什么呢？基本上，他干了些事，却表现得什么也没干。

因为他干的无声无息，春风化雨般就把assert废了。

void是一个数据类型：空类型。它想对世界表达的不是“我是这样一个类型”，而是“我什么类型都不是”。(void)就像(int)一样，表示强制类型转换，后面的0是一个整型数。因此(void)0的意思是将整数0转换为void类型。

为什么要这样搞呢？因为它要实现一个目的：生成一个没有值的表达式。

1．俺要表达式

如果要废了assert，最简单的方式应该是把它定义为一个空的宏：

#define assert(_Expression)

这样他真的是完全躺平了。

然而，我们希望他还能多做一点儿：你可以不干人事，但你不能不拉人SH。

比如下面的代码：

#include <stdio.h>
//取消下一行的注释assert()将不起作用
// #define NDEBUG
#include <assert.h>
//加上下面代码会导致编译错误
#define assert(_Expression)
int main() {
    int array[4] = {39, 51, 52, 19};
    int index1 = 0;
    int index2 = 1;
    // 在逗号表达式中使用assert来检查index是否越界
    int value = (assert(index1 >= 0 && index1 < 4), assert(index2 >= 0 && index2 < 4), \
                 printf("越过%d\n", array[index1]), array[index2]);

    printf("才发现%d等候\n", value);

    int index3 = 5;
    int resut = (assert(index3 >= 0 && index3 < 4), \
                printf("愤怒暴走%d号路线\n", array[index3]));

    return 0;
}

程序编译会报错：

error: expected expression before ',' token（逗号前需要有表达式）

可见，如果将assert(_Expression)定义为空，它一旦用于逗号表达式就会产生编译错误。这就是要生成表达式的原因，而0是最简单的表达式，不用它还用谁呢？

要使程序通过编译，只需将#define assert(_Expression)这行代码注释掉即可。

2．俺要没有值

assert的作用是在调试期间捕捉错误，打印错误信息。也就是说，它是为调试而生的，显然不应该让调试产生的值影响正式代码的运行。正是出于这个考虑，干脆老子心一横先把你阉了。