在查看 FreeBSD 和 linux 系统代码时，不难发现其中会出现很多的宏定义，它们中包含了多条语句。为确保语句被完整执行，会使用 do { ... } while(0) 来包含所有要执行的语句。如：
#define MYPRINT(a, b) \
do { \
printf(#a " = %d\n", (a)); \
printf(#b " = %d\n", (b)); \
} while (0)
采用这种方法，可以准确地确保语句被完整执行，目前笔者还没想到有哪些情况会使其出现问题。
另外，由于do { ... } while(0) 中的语句被花括号包含，所以会形成一个块，一个作用域。这时可以在花括号里的最前面声明变量，变量的生命周期就是花括号的范围。
如果没有 do while ，那么语句可能会被部分地执行，如
#define MYPRINT2(a, b) \
printf(#a " = %d\n", (a)); \
printf(#b " = %d\n", (b)); \
if (a + b > 0) MYPRINT2(a, b);
那么将被扩展为
if (a + b > 0) printf("a" " = %d\n", a); printf("b" " = %d\n", b);
后面的printf总会被执行，明显不合。
而如果改用 if (1) { ... } 的形式，如
#define MYPRINT3(a, b) \
if (1) { \
printf(#a " = %d\n", (a)); \
printf(#b " = %d\n", (b)); \
}
的形式，也可能出现 else 匹配问题，如
if (a + b > 0)
MYPRINT3(a, b);
else
printf("a + b <= 0\n");
就会被扩展为
if (a + b > 0)
if (1) {
printf("a" " = %d\n", a);
printf("b" " = %d\n", b);
} else
printf("a + b <= 0\n");
最后的printf将不会被执行。
当然，如果采用 if (1) { ... } else {} 的形式，那应该也是可行的，不存在以上两种方法的问题。不过显然不够简洁。
综合上述，采用 do { ... } while (0) 的形式是一种较好的方法，也建议读者如果要使用宏定义来定义多条语句时，采用此方法。
C++ Primer Plus 第6版 中文版 清晰有书签PDF+源代码
将C语言梳理一下，分布在以下10个章节中：
Linux-C成长之路（十）：其他高级议题