内核中的do .....while(0)

看内核中的代码，有很多处用到:
do
{
}while(0);

开始感到疑惑，为什么要用这个，这样写不就写复杂了吗，今天看到《linux 设备开发详解》中的解释后，才恍然大悟。
简单宏演示：

#define SAFE_FREE(p) do{ free(p); p = NULL;}while(0)

若这里去掉了do...while(0),即定义SAFE_FREE为:

#define SAFE_FREE(p) free(p); p = NULL;

那么以下代码:

if (NULL != p)
    SAFE_FREE(p)
else
    ... //do something

会被展开为:

if (NULL != p)
    free(p); p = NULL;
else
    ... //do something

这时代码会编译不过，存在两个问题:
(1) if 分支后有两个语句，导致else分支没有对应的if,编译失败；
(2) 假设没有else分支，则SAFE_FREE中的第二个语句无论if测试是否通过都会执行。
将SAFE_FREE的定义加上{}就可以解决上述问题了,即:

#define SAFE_FREE(p) {free(p); p = NULL;}

但是，大家习惯在调用SAFE_FREE后加上;即：

if (NULL != p)
        SAFE_FREE(p)
    else
        ... //do something

将被扩展为:

if (NULL != p)
{free(p); p = NULL;}；
else
... //do something

这样，else分支就又没有对应的if了，编译将无法通过。假设用了 do{}while(0)，情况就不一样了，同样的代码会被展开为:

if (NULL != p)
do{free p; p = NULL;}while(0);
else
...//do something

不会再出现编译问题了。do{}while(0)的使用完全是为了保证宏定义的使用者能无编译错误地使用宏，它不对其使用者做任何假设。