C语言中宏定义多条语句 do { ... } while(0)
在查看 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语言梳理一下，分布在以下10个章节中：
- Linux-C成长之路（一）：Linux下C编程概要 http://www.linuxidc.com/Linux/2014-05/101242.htm
- Linux-C成长之路（二）：基本数据类型 http://www.linuxidc.com/Linux/2014-05/101242p2.htm
- Linux-C成长之路（三）：基本IO函数操作 http://www.linuxidc.com/Linux/2014-05/101242p3.htm
- Linux-C成长之路（四）：运算符 http://www.linuxidc.com/Linux/2014-05/101242p4.htm
- Linux-C成长之路（五）：控制流 http://www.linuxidc.com/Linux/2014-05/101242p5.htm
- Linux-C成长之路（六）：函数要义 http://www.linuxidc.com/Linux/2014-05/101242p6.htm
- Linux-C成长之路（七）：数组与指针 http://www.linuxidc.com/Linux/2014-05/101242p7.htm
- Linux-C成长之路（八）：存储类，动态内存 http://www.linuxidc.com/Linux/2014-05/101242p8.htm
- Linux-C成长之路（九）：复合数据类型 http://www.linuxidc.com/Linux/2014-05/101242p9.htm
- Linux-C成长之路（十）：其他高级议题