宏定义中的do { } while(0)语句

do { } while(0)
在 Linux 内核中,经常会看到 do{}while(0)这样的语句,许多人开始都会疑惑,
认为 do{}while(0)毫无意义,因为它只会执行一次,加不加 do{}while(0)效果是完全一
样的,其实 do{}while(0)主要用于宏定义中。
这里用一个简单点的宏来演示:

[html] view plain copy

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

假设这里去掉 do...while(0),即定义 SAFE_DELETE 为:

[html] view plain copy

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

那么以下代码:

[cpp] view plain copy

1. if(NULL != p)  
2. SAFE_DELETE(p)  
3. else  
4. ...//do something  

会被展开为:

[cpp] view plain copy

1. if(NULL != p)  
2. free(p); p = NULL;  
3. else  
4. ...//do something  

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

[html] view plain copy

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

这样,代码

[html] view plain copy

1. if(NULL != p)  
2. SAFE_DELETE(p)  
3. else  
4. ...//do something  
5. 会被展开为:  
6. if(NULL != p)  
7. { free(p); p = NULL; }  
8. else  
9. ...//do something  

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

[html] view plain copy

1. if(NULL != p)  
2. SAFE_DELETE(p);  
3. else  
4. ...//do something  
5. 将被扩展为:  
6. if(NULL != p)  
7. { free(p); p = NULL; };  
8. else  
9. ...//do something  

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

[html] view plain copy

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

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