do{} while(0)

在C语言中，偶尔会看到do{}while(0)这样的语句。 其实这样的句法更多的是在 Linux 内核中，而且主要是用于宏定义中。

举例说明：

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

摘录自《Linux设备驱动开发详解》 3.5.3小节，原书作者：宋宝华老师。

如有侵权，或者不当，请及时与我联系，我定会立即处理。