C/C++宏定義中 do｛...｝while(0)用法分析

在許多C/C++宏定義中我們會看到宏代碼包含在do while循環(huán)或者if else語句里，例如：

? #define M(X) do { f(X); g(X); } while (0)
? #define M(X) if (1) { f(X); g(X); } else
那么這種用法有什么好處呢？這種用法最大的好處是增強宏定義代碼的魯棒性，盡管使得程序稍稍變得更加復雜。為了加快項目開發(fā)進度，現(xiàn)在一個工程的開發(fā)越來越需要相互合作與溝通交流，不管是利用別人的代碼庫還是寫一些頭文件供別人調用，都需要程序能夠按照編程者的意圖運行。但是對于這里提到的宏定義來說，你并不知道別人會怎么使用你的宏，如果定義不合理就會出現(xiàn)一些問題，例如下面這個宏定義：
? #define M(X) f(x); g(x)
如果你這樣使用這個宏：
? if (condition)
? ?M(x);
? else
? ?F();
宏展開時會變成：
? if (condition)
? ?f(x); g(x);
? else
? ?F();
這樣就會出現(xiàn)語法錯誤，因為else找不到對應的if語句。如果給宏添加一個大括號，則變成：
? if (condition)
? ?{f(x); g(x);};
? else
? ?F();
這樣也會出現(xiàn)語法錯誤，因為大括號后多了分號。針對這個問題，可以利用do while(0)或者if else來解決，例如：
? #define M(X) ?do { f(X); g(X); } while (0)
或者：
? #define M(X) ?if (1) { f(X); g(X); } else
這樣調用后宏展開成：
? if (condition)?
? do { f(X); g(X); } while (0);
? else
? ?F();
或者：
? if (condition)?
? if (1) { f(x); g(x); } else;
? else
? ?F();
這種方式利用了分號在代碼中的作用，可以有效克服C預處理器的一些缺點。有些編程指南告訴你要減少使用預處理器，這里提到的一點就是他們擔心的一個原因。當然對于這種情況，你也可以把M(x)單獨定義為一個函數(shù)，而不是一個宏。最后需要注意的一點是宏定義要寫在一行，跨行需要加反斜杠''。