Re: [問題] do{...}while(..)

[LPH66 (-858993460)]

※ 引述《wawaer398 (哇哈哈~)》之銘言：
: 開發平台(Platform): (Ex: VC++, GCC, Linux, ...)
: 突然想一個問題,我覺得很疑惑的
: 曾經不知在哪邊看過一段do..while的用法  如下
: do{
: ....
: .....
: }while(0)
: 這個不就是只做一次嗎??
: 為啥還要用do while包起來?
: 還是其中有什麼特別的含意嗎??
: @@?

: 推 falllian:有的Macro會用這個包起來                                05/05 01:54
我看過的用法都是在 macro 裡面用的...

事情是這樣的

假設某個 macro 是這樣寫的

#define swapint(x,y)    \
{                       \
    int temp;           \
    temp = x;           \
    x = y;              \
    y = temp;           \
}

然後有段使用它的程式是這麼寫的:

if(condition)
    swapint(a,b);
else
    swapint(a,c);

一切看起來似乎都沒問題

但是 macro 展開之後變成這樣了:

if(condition)
{
    int temp;
    temp = a;
    a = b;
    b = temp;
};
else
{
    int temp;
    temp = a;
    a = c;
    c = temp;
};

因為 macro 展開會代換掉的地方只到 () 結束  ; 留下來了  所以變成這樣

但這個留下來的 ; 卻會造成 compile error

(compiler 會告訴你他不知道這個 else 是做什麼的

 因為 compiler 把那個 ; 理解為一個空敘述

 因此它會認為前面的 if 結束了  就向你抱怨說這個 else 不知道來做什麼)

要解決這個問題有兩種方法

一個是使用時別寫分號

但這樣一來這程式會變成

if(condition)
    swapint(a,b)
else
    swapint(a,c)

怎麼看怎麼彆扭

(只要是寫了一段時間的 C 的人

 看到後面沒有 ; 的敘述大概總會有種衝動把 ; 加上去 XD)

另一種就是這種寫法:

#define swapint(x,y)    \
do                      \
{                       \
    int temp;           \
    temp = x;           \
    x = y;              \
    y = temp;           \
} while(0)

這樣在展開之後會變成

if(condition)
do
{
    int temp;
    temp = a;
    a = b;
    b = temp;
} while(0);
else
do
{
    int temp;
    temp = a;
    a = c;
    c = temp;
} while(0);

compiler 看起來就是 if(...) do{}while(0); else do{}while(0);

變成合法的敘述了

注意的是為了不讓同樣的事情再度發生

macro 定義裡的 while(0) 後面是沒有分號的

展開後的分號是上面提到過留下來的那個分號

--
也就是這是為了別讓 compiler 抱怨而出現的寫法

所以自從有了 inline 之後這種東西就漸漸消失了....

--
いああオレたちには見えてるモノがあるbデ きっと誰にも奪われないモノがあるはずさ
け  開口一番一虚一実跳梁跋扈形影相弔yュL羊頭狗肉東奔西走国士無双南柯之夢  歪も
ぶ    　意味がないと思えるコトがある ラPきっとでも意図はそこに必ずある    んの
く  依依恋恋空前絶後疾風怒濤有無相生 ラH急転直下物情騷然愚者一得相思相愛  だが
ろ                    無意味じゃない ラ6あの意図が                        恋た
で  有為転変死生有命蒼天已死黄天當立 !!6五里霧中解散宣言千錯万綜則天去私  のり

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.230.62
推 BSpowerx:長知識推m(_ _)m
推 wawaer398:長知識+1  感謝
推 peefly:其實 #1C9hMqYD 有問過相同的問題XD
推 saxontai:推超詳細的佛心解說！
推 loveme00835:馬上被 ?: 強暴 http://goo.gl/WK1Kr XDD 我都稱這種
→ loveme00835:方法是邪魔歪道, 根本不想了解它...
→ loveme00835:應該是說使用情境為 function 而不是 subroutine 的情
→ loveme00835:況, 想怎麼惡搞都只能治標而已, 我程式碼用錯..orz
推 lf21201:長知識!!!
→ LPH66:是啊  所以現在能用 inline 就用吧
推 VictorTom:小弟常見到的另一個用法就是原文推文講的,
→ VictorTom:拿來(在某種程度內)取代goto; 用break強制跳到{}尾端@@"
推 softwind:GOOD! Linux kernel 幾乎都是這樣寫 安心用吧...
→ softwind:版主 你的sample 要用()再包一層歐~ 因為他沒有 return
→ softwind:value ...  gcc extension 有這種寫法...
→ softwind:同樣的 在Linux kerenl和Android framework也是大量使用
→ softwind: gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html
→ loveme00835:0.0
推 xatier:長知識推
推 eyhuang:長知識!!!