Linux Kernel之do{}while(0)

Linux内核代码在输出调试信息时候广泛采用了do{}while(0);这种结构。
譬如
#define handle_error(msg) \
do { perror(msg); exit(EXIT_FAILURE); } while (0)
可以保证无论在什么地方都可以正确的执行一次。

栗子：

如果你希望定义一个包含多行语句和一些局部变量的时候. 一般的定义方式只能这样:
#define exch(x,y) { int tmp; tmp=x; x=y; y=tmp; }
然而在某些情况下，这样并不能正常工作. 下面是包含两个分支的if语句:
if (x > y)
　　exch(x,y); // Branch 1
else
　　do_something(); // Branch 2

　　但这样却只能展开成单分支的if语句，如下:
　if (x > y) { // 单分支if
　　 int tmp;
　　 tmp = x;
　 　x = y;
　　 y = tmp;
　　}
　　; // 空语句
　　else //"parse error before else"
　　do_something();
所以将语句块放入 do 和 while (0)中间,就得到了一条单语句, 而不是被编译器判断为语句块

又一个栗子：

假设有这样一个宏定义
#define macro(condition) if(condition) dosomething();
if(temp)
macro(i);
else
doanotherthing();

展开后：

if(temp)
if(condition) dosomething();
else
doanotherthing();

这时的else不是与第一个if语句匹配，而是错误的与第二个if语句进行了匹配，编译通过了，但是运行的结果一定是错误的。

为了避免这个错误，我们使用do{….}while(0) 把它包裹起来，成为一个独立的语法单元，从而不会与上下文发生混淆。同时因为绝大多数的编译器都能够识别do{…}while(0)这种无用的循环并进行优化，所以使用这种方法也不会导致程序的性能降低。

此外，此种用法还能消除代码冗余。