[問題] #define function 傳 array

[kkroy (☆㊣↖煞氣ㄟ阿喂↘ξ★)]

請問各位大大，我定義一個 #define function 如下:

#define func(tmp) do{ \
    int* bitmap =  (int*)tmp; \
    for(int i=0; i<3; i++) bitmap[i]+=2; \
}while(0)


宣告一個 struct:

struct AAA{
    int bitmap[3]={0,1,2};
};

這時候，我搞不懂如果我在 main 裡 呼叫 func()，因為只是做程式碼替換，

不做型別檢查，所以以下兩種呼叫，執行結果都正確，但是想不通為什麼!?


Case1: 我認為正確的呼叫方式!

int main() {
    AAA obj;
    for(int i=0; i<3; i++)
        cout<< obj.bitmap[i] <<endl;
    cout <<endl;

    func(obj.bitmap);

    for(int i=0; i<3; i++)
        cout<< obj.bitmap[i] <<endl;
    cout <<endl;
}

執行結果:
0
1
2

2
3
4

沒啥問題!~

Case2: 我認為錯誤的呼叫方式:

int main() {
    AAA obj;
    for(int i=0; i<3; i++)
        cout<< obj.bitmap[i] <<endl;
    cout <<endl;

    // 再取址一次
    func(&obj.bitmap);

    for(int i=0; i<3; i++)
        cout<< obj.bitmap[i] <<endl;
    cout <<endl;
}

怎麼結果還是:
0
1
2

2
3
4


沒錯耶!?????

結果顯示跑出來的結果竟然都正確? 為什麼?


把 #define 換回傳統 function call / function return:

void func(int* tmp){
    int* bitmap =  (int*)tmp;
    for(int i=0; i<3; i++) bitmap[i]+=2;
}


這樣就符合期待了，只有 Case 1 能正確運作，Case 2 在compile階段就換判錯。

請問有誰知道是怎回事嗎?

感恩!~





--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 59.120.24.158
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1514544425.A.978.html
※ 編輯: kkroy (59.120.24.158), 12/29/2017 18:53:48
推 Killercat: 手邊沒編譯器 不過你可以用gcc -E選項展開macro看看
推 soso7885: 兩個都是傳array第一位元位址進去
※ 編輯: kkroy (59.120.24.158), 12/29/2017 18:56:05
→ kkroy: 可是 case 2 取址兩次了不是嗎?
推 LPH66: 位址一樣型別不一樣, 但你的 macro 版裡用了指標轉型
→ LPH66: 把這個差別給蓋掉了
→ LPH66: 你有仔細看函式版的錯誤訊息就會知道 &obj.bitmap 的型別是
→ LPH66: int(*)[3], 即「指向一個長度為 3 的 int 陣列的指標」
→ kkroy: 可是 case2，不是取第一個bitmap array位置的位置嗎？
→ kkroy: 應該是double pointer ，我的理解是 int** 的型態吧？
推 loveflames: case 2傳int陣列的位址，經過轉型，就得到指向int的
→ loveflames: 指標
→ loveflames: case 1是int陣列轉型成int指標
→ kkroy: 了解! 感謝兩位L大的解答~
→ loveflames: 陣列可以退化成指標，說穿就是這個