<p>这篇文章摘抄自: &lt;&lt;Linux设备驱动开发详解(第二版)&gt;&gt;，在这里记录下来方便自己和其他小伙伴查阅。<br/>在 Linux 内核中，经常会看到do{} while(0)这样的语句，许多人开始都会疑惑，认为do{} while(0)毫无意义，因为它只会执行一次，加不加do{}&nbsp; while(0)效果是完全一样的，其实 do {}while(0)的用法主要用于宏定义中。<br/>这里用一个简单点的宏来演示：<br/><span style="color: rgb(0, 112, 192);">#define SAFE_FREE(p) do{ free(p); p = NULL;} while(0)</span><br/>假设这里去掉 do...while(0)，即定义 SAFE_DELETE 为：<br/><span style="color: rgb(0, 112, 192);">#define SAFE_FREE(p) free(p); p = NULL;</span><br/>那么以下代码<br/><span style="color: rgb(0, 112, 192);">if(NULL != p)<br/>&nbsp;&nbsp;&nbsp;&nbsp;SAFE_DELETE(p)<br/>else<br/>&nbsp;&nbsp;&nbsp;&nbsp;.../* do something */</span><br/>会被展开为：<br/><span style="color: rgb(0, 112, 192);">if(NULL != p)<br/>&nbsp;&nbsp;&nbsp;&nbsp;free(p); p = NULL;<br/>else<br/>&nbsp;&nbsp;&nbsp;&nbsp;.../* do something */</span><br/>展开的代码中存在两个问题。<br/>（1）因为 if 分支后有两个语句，导致 else 分支没有对应的 if，编译失败。<br/>（2）假设没有 else 分支，则 SAFE_FREE 中的第二个语句无论 if 测试是否通过，都会执行。<br/>的确，将 SAFE_FREE 的定义加上{}就可以解决上述问题了，即：<br/><span style="color: rgb(0, 112, 192);">#define SAFE_FREE(p) { free(p); p = NULL;}</span><br/>这样，代码：<br/><span style="color: rgb(0, 112, 192);">if(NULL != p)<br/>&nbsp;&nbsp;&nbsp;&nbsp;SAFE_DELETE(p)<br/>else<br/>&nbsp;&nbsp;&nbsp;&nbsp;... /* do something */</span><br/>会被展开为：<br/><span style="color: rgb(0, 112, 192);">if(NULL != p)<br/>&nbsp;&nbsp;&nbsp;&nbsp;{ free(p); p = NULL; }<br/>else<br/>&nbsp;&nbsp;&nbsp;&nbsp;... /* do something */</span><br/>但是，在 C 程序中，每个语句后面加分号是一种约定俗成的习惯，那么，如下代码：<br/><span style="color: rgb(0, 112, 192);">if(NULL != p)<br/>&nbsp;&nbsp;&nbsp; SAFE_DELETE(p);<br/>else<br/>&nbsp;&nbsp;&nbsp; ... /* do something */</span><br/>将被扩展为:<br/><span style="color: rgb(0, 112, 192);">if(NULL != p)<br/>&nbsp;&nbsp;&nbsp;&nbsp;{ free(p); p = NULL; };<br/>else<br/>&nbsp;&nbsp;&nbsp;&nbsp;... /* do something */</span><br/>这样，else 分支就又没有对应的 if 了，编译将无法通过。假设用了 do {} while(0)，情况就不一样了，同样的代码会被展开为：<br/><span style="color: rgb(0, 112, 192);">if(NULL != p)<br/>&nbsp;&nbsp;&nbsp;&nbsp;do{ free(p); p = NULL;} while(0);<br/>else<br/>&nbsp;&nbsp;&nbsp;&nbsp;... /* do something */</span><br/>不会再出现编译问题。do while(0)的使用完全是为了保证宏定义的使用者能在不出现编译错误的情况下使用宏，它不对其使用者做任何假设。</p>