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+源代碼 http://www.linuxidc.com/Linux/2014-05/101227.htm

讀C++ Primer 之構造函數陷阱 http://www.linuxidc.com/Linux/2011-08/40176.htm

讀C++ Primer 之智能指針 http://www.linuxidc.com/Linux/2011-08/40177.htm

讀C++ Primer 之句柄類 http://www.linuxidc.com/Linux/2011-08/40175.htm

將C語言梳理一下，分布在以下10個章節中：

1. Linux-C成長之路（一）：Linux下C編程概要 http://www.linuxidc.com/Linux/2014-05/101242.htm
2. Linux-C成長之路（二）：基本數據類型 http://www.linuxidc.com/Linux/2014-05/101242p2.htm
3. Linux-C成長之路（三）：基本IO函數操作 http://www.linuxidc.com/Linux/2014-05/101242p3.htm
4. Linux-C成長之路（四）：運算符 http://www.linuxidc.com/Linux/2014-05/101242p4.htm
5. Linux-C成長之路（五）：控制流 http://www.linuxidc.com/Linux/2014-05/101242p5.htm
6. Linux-C成長之路（六）：函數要義 http://www.linuxidc.com/Linux/2014-05/101242p6.htm
7. Linux-C成長之路（七）：數組與指針 http://www.linuxidc.com/Linux/2014-05/101242p7.htm
8. Linux-C成長之路（八）：存儲類，動態內存 http://www.linuxidc.com/Linux/2014-05/101242p8.htm
9. Linux-C成長之路（九）：復合數據類型 http://www.linuxidc.com/Linux/2014-05/101242p9.htm
10. Linux-C成長之路（十）：其他高級議題