在許多C/C++宏定義中我們會看到宏代碼包含在do while循環或者if else語句裏,例如:
#define M(X) do { f(X); g(X); } while (0)#define M(X) if (1) { f(X); g(X); } else
那麼這種用法有什麼好處呢?這種用法最大的好處是增強宏定義代碼的魯棒性,儘管使得程序稍稍變得更加複雜。爲了加快項目開發進度,現在一個工程的開發越來越需要相互合作與溝通交流,不管是利用別人的代碼庫還是寫一些頭文件供別人調用,都需要程序能夠按照編程者的意圖運行。但是對於這裏提到的宏定義來說,你並不知道別人會怎麼使用你的宏,如果定義不合理就會出現一些問題,例如下面這個宏定義:
#define M(X) f(x); g(x)
如果你這樣使用這個宏:
if (condition)
M(x);
else
F();
宏展開時會變成:
if (condition)
f(x); g(x);
else
F();
這樣就會出現語法錯誤,因爲else找不到對應的if語句。如果給宏添加一個大括號,則變成:
if (condition)
{f(x); g(x);};
else
F();
這樣也會出現語法錯誤,因爲大括號後多了分號。針對這個問題,可以利用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)單獨定義爲一個函數,而不是一個宏。最後需要注意的一點是宏定義要寫在一行,跨行需要加反斜槓'\'。