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++ Primer Plus 第6版 中文版 清晰有书签PDF+源代码

读C++ Primer 之构造函数陷阱

读C++ Primer 之智能指针

读C++ Primer 之句柄类

将C语言梳理一下，分布在以下10个章节中：

  1. Linux-C成长之路（一）：Linux下C编程概要
  2. Linux-C成长之路（二）：基本数据类型
  3. Linux-C成长之路（三）：基本IO函数操作
  4. Linux-C成长之路（四）：运算符
  5. Linux-C成长之路（五）：控制流
  6. Linux-C成长之路（六）：函数要义
  7. Linux-C成长之路（七）：数组与指针
  8. Linux-C成长之路（八）：存储类，动态内存
  9. Linux-C成长之路（九）：复合数据类型
  10. Linux-C成长之路（十）：其他高级议题

本文永久更新链接地址：

相关内容