Re: [問題] C++ FQA 文章中，有關 dangling refere …

看板C_and_CPP (C/C++)作者zlw (洞房不敗)時間16年前 (2009/02/24 13:23)推噓2(2推 0噓 5→)

留言7則, 2人參與討論串3/3 (看更多)

感謝 Fenikso、tinlans 兩位前輩的解答，讓我對這個問題有比較具體的瞭解在此篇做個整理。 01 #include <iostream> 02 03 int &fun1(){ 04 int x1 = 1; 05 printf("x1 = %d, &x1 = %x\n", x1, &x1); 06 return x1; 07 } 08 09 void fun2(){ 10 int x2 = 2; 11 printf("x2 = %d, &x2 = %x\n", x2, &x2); 12 } 13 14 int main(void){ 15 16 int &y = fun1(); 17 18 printf("y = %d, &y = %x\n", y, &y); 19 20 fun2(); 21 22 printf("y = %d, &y = %x\n", y, &y); 23 24 return 0; 25 } ------------------------------------------------- 編譯器為 Visual Studio 2008，輸出結果如下： x1 = 1, &x1 = 12fe80 y = 1, &y = 12fe80 x2 = 2, &x2 = 12fe80 y = 2, &y = 12fe80 -------------------------------------------------- 因為 x1 在 fun1() 呼叫結束後確實消滅，所以 fun2() 裡的 x2 才會用了同樣的位址。如果 y 這個 reference 僅僅只是 x1 的別名，則在第18行 x1 已經消滅時， y 應該同樣無法存取才對。更不應該在執行毫不相干的 fun2() 後，內容值被更改。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 124.8.147.102

推

tinlans

02/24 13:42, , 1^F

02/24 13:42, 1^F

→

tinlans

02/24 13:42, , 2^F

02/24 13:42, 2^F

→

tinlans

02/24 13:42, , 3^F

02/24 13:42, 3^F

不知道實務上，有經驗的設計者是怎麼處理這個問題？我想到的是要做new的時候，建立一個新的物件對應這塊記憶體空間，比如 obj1 然後 obj1 裡面有一個STL的vector構成的動態陣列，存放所有指向這塊空間的指標要做 delete 的時候，就把整個 obj1 裡的指標刪掉。總之目的就是讓指向同樣記憶體空間的指標之間有關聯性存在不過沒實際測試，不知道這個方法會不會太天真 ※ 編輯: zlw 來自: 124.8.147.102 (02/24 14:07)