linux内核的 do{}while（0）语句

do{}while（0）的使用完全是为了保证宏定义的使用者能无编译错误地使用宏，它不对其使用者做任何假设。
例如：

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

假设这里去掉do...while（0），即定义SAFE_DELETE为：

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

那么对于以下代码：

if(NULL != p)
    SAFE_DELETE(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;}

这样，代码：

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

会被展开为：

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

但是，在C程序中，在每个语句后面加分号是一种约定俗成的习惯，那么，如下代码：

if(NULL != p)
	SAFE_DELETE(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 */

这样，不会再出现编译问题。

来源：宋宝华《Linux设备驱动开发详解》