C語言-宏定義中使用do{...} while(0)到底圖個啥

在 Linux 內(nèi)核中，經(jīng)常會看到do{} while(0)這樣的語句，許多人開始都會疑惑，認(rèn)為do{} while(0)毫無意義，因為它只會執(zhí)行一次，加不加do{} while(0)效果是完全一樣的，其實do {}while(0)的用法主要用于宏定義中。

這里用一個簡單的宏來演示：

#defineSAFE_FREE(p)do{free(p);p=NULL;}while(0)

假設(shè)這里去掉do...while(0)，即定義SAFE_DELETE為：

#defineSAFE_FREE(p)free(p);p=NULL;

那么以下代碼：

if(NULL!=p)
SAFE_DELETE(p)
else
.../*dosomething*/

會被展開為：

if(NULL!=p)
free(p);p=NULL;
else
.../*dosomething*/

展開的代碼中存在兩個問題。

(1)、因為 if 分支后有兩個語句，導(dǎo)致 else 分支沒有對應(yīng)的 if，編譯失敗。

(2)、假設(shè)沒有 else 分支，則 SAFE_FREE 中的第二個語句無論 if 測試是否通過，都會執(zhí)行。

的確，將SAFE_FREE的定義加上{}就可以解決上述問題了，即：

#defineSAFE_FREE(p){free(p);p=NULL;}

這樣，代碼：

if(NULL!=p)
SAFE_DELETE(p)
else
.../*dosomething*/

會被展開為：

if(NULL!=p)
{free(p);p=NULL;}
else
.../*dosomething*/

但是，在 C 程序中，每個語句后面加分號是一種約定俗成的習(xí)慣，那么，如下代碼：

if(NULL!=p)
SAFE_DELETE(p);
else
.../*dosomething*/

將被擴展為:

if(NULL!=p)
{free(p);p=NULL;};
else
.../*dosomething*/

這樣，else 分支就又沒有對應(yīng)的 if 了，編譯將無法通過。假設(shè)用了do {} while(0)，情況就不一樣了，同樣的代碼會被展開為：

if(NULL!=p)
do{free(p);p=NULL;}while(0);
else
.../*dosomething*/

不會再出現(xiàn)編譯問題。do while(0)的使用完全是為了保證宏定義的使用者能在不出現(xiàn)編譯錯誤的情況下使用宏，它不對其使用者做任何假設(shè)。

審核編輯：劉清