linux宏定义变量loop,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个章节中：