本文为笔者原创，如果错误，请指明，谢谢！


在查看 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(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) 的形式是一种较好的方法，也建议读者如果要使用宏定义来定义多条语句时，采用此方法。