如果你是一名C程式設計師，你肯定很熟悉巨集，它們非常強大，如果正確使用可以讓你的工作事半功倍。然而，如果你在定義巨集時很隨意沒有認真檢查，那麼它們可能使你發狂，浪費N多時間。在很多的C程式中，你可能會看到許多看起來不是那麼直接的較特殊的巨集定義。下面就是一個例子：

在Linux核心和其它一些著名的C庫中有許多使用do{...}while(0)的巨集定義。這種巨集的用途是什麼？有什麼好處？

Google的Robert Love（先前從事Linux核心開發）給我們解答如下：

do{...}while(0)在C中是唯一的構造程式，讓你定義的巨集總是以相同的方式工作，這樣不管怎麼使用巨集（尤其在沒有用大括號包圍呼叫巨集的語句），巨集後面的分號也是相同的效果。

這句話聽起來可能有些拗口，其實用一句話概括就是：使用do{...}while(0)構造後的巨集定義不會受到大括號、分號等的影響，總是會按你期望的方式呼叫執行。

例如：

然後你可能這樣呼叫：

這將被巨集擴充套件為：

這的確是我們期望的正確輸出。下面看看如果我們這樣呼叫：

那麼擴充套件後可能就不是你所期望的結果。上面語句將擴充套件為:

顯而易見，這是錯誤的，也是大家經常易犯的錯誤之一。

幾乎在所有的情況下，期望寫多語句巨集來達到正確的結果是不可能的。你不能讓巨集像函式一樣行為——在沒有do/while(0)的情況下。

如果我們使用do{...}while(0)來重新定義巨集，即：

現在，該語句功能上等價於前者，do能確保大括號裡的邏輯能被執行，而while(0)能確保該邏輯只被執行一次，即與沒有迴圈時一樣。

對於上面的if語句，將會被擴充套件為：

從語義上講，它與下面的語句是等價的：

這裡你可能感到迷惑不解了，為什麼不用大括號直接把巨集包圍起來呢？為什麼非得使用do/while(0)邏輯呢？

例如，我們用大括號來定義巨集如下：

這對於上面舉的if語句的確能被正確擴充套件，但是如果我們有下面的語句呼叫呢：

巨集擴充套件後將變成：

大家可以看出，這就有語法錯誤了。

總結：Linux和其它程式碼庫裡的巨集都用do/while(0)來包圍執行邏輯，因為它能確保巨集的行為總是相同的，而不管在呼叫程式碼中使用了多少分號和大括號。