轉載自:http://www.cnblogs.com/lanxuezaipiao/p/3535626.html
使用do{...}while(0)構造后的宏定義不會受到大括號、分號等的影響,總是會按你期望的方式調用運行。
#define foo(x) bar(x); baz(x)
然后你可能這樣調用:
foo(wolf);
這將被宏擴展為:
bar(wolf); baz(wolf);
這的確是我們期望的正確輸出。下面看看如果我們這樣調用:
if (!feral)
foo(wolf);
那么擴展后可能就不是你所期望的結果。上面語句將擴展為:
if (!feral)
bar(wolf);
baz(wolf);
顯而易見,這是錯誤的,也是大家經常易犯的錯誤之一。
幾乎在所有的情況下,期望寫多語句宏來達到正確的結果是不可能的。你不能讓宏像函數一樣行為——在沒有do/while(0)的情況下。
如果我們使用do{...}while(0)來重新定義宏,即:
#define foo(x) do { bar(x); baz(x); } while (0)
現在,該語句功能上等價于前者,do能確保大括號里的邏輯能被執行,而while(0)能確保該邏輯只被執行一次,即與沒有循環時一樣。
對于上面的if語句,將會被擴展為:
if (!feral)
do { bar(wolf); baz(wolf); } while (0);
從語義上講,它與下面的語句是等價的:
if (!feral) {
bar(wolf);
baz(wolf);
}
這里你可能感到迷惑不解了,為什么不用大括號直接把宏包圍起來呢?為什么非得使用do/while(0)邏輯呢?
例如,我們用大括號來定義宏如下:
#define foo(x) { bar(x); baz(x); }
這對于上面舉的if語句的確能被正確擴展,但是如果我們有下面的語句調用呢:
if (!feral)
foo(wolf);
else
bin(wolf);
宏擴展后將變成:
if (!feral) {
bar(wolf);
baz(wolf);
};
else
bin(wolf);
大家可以看出,這就有語法錯誤了。