作者zlw (洞房不敗)
看板C_and_CPP
標題Re: [問題] C++ FQA 文章中，有關 dangling refere …
時間Tue Feb 24 13:23:44 2009
感謝 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
1F：推 tinlans:常見的問題是，delete 完後再 new 得到的位址常常和剛剛 02/24 13:42
2F：→ tinlans:釋放出去的是同一個，結果造成那個新的空間在非預期的狀況 02/24 13:42
3F：→ tinlans:下被修改到。 02/24 13:42
不知道實務上，有經驗的設計者是怎麼處理這個問題？
我想到的是要做new的時候，建立一個新的物件對應這塊記憶體空間，比如 obj1
然後 obj1 裡面有一個STL的vector構成的動態陣列，存放所有指向這塊空間的指標
要做 delete 的時候，就把整個 obj1 裡的指標刪掉。
總之目的就是讓指向同樣記憶體空間的指標之間有關聯性存在
不過沒實際測試，不知道這個方法會不會太天真
※ 編輯: zlw 來自: 124.8.147.102 (02/24 14:07)
4F：推 tinlans:這樣做不划算，出問題的時候用 memory debug tool or lib 02/24 14:14
5F：→ tinlans:來抓就行；平常寫 code 都用 smart pointer 其實很少出事 02/24 14:14
6F：→ tinlans:，Linux 下的話，valgrind 這個工具可以幫你抓。 02/24 14:15
7F：→ zlw:感謝您的經驗分享，我會再去瞭解這些東西，謝謝 02/24 14:18