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

[zlw (洞房不敗)]

感謝 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:常見的問題是，delete 完後再 new 得到的位址常常和剛剛
→ tinlans:釋放出去的是同一個，結果造成那個新的空間在非預期的狀況
→ tinlans:下被修改到。
不知道實務上，有經驗的設計者是怎麼處理這個問題？

我想到的是要做new的時候，建立一個新的物件對應這塊記憶體空間，比如 obj1

然後 obj1 裡面有一個STL的vector構成的動態陣列，存放所有指向這塊空間的指標

要做 delete 的時候，就把整個 obj1 裡的指標刪掉。

總之目的就是讓指向同樣記憶體空間的指標之間有關聯性存在

不過沒實際測試，不知道這個方法會不會太天真
※ 編輯: zlw             來自: 124.8.147.102        (02/24 14:07)
推 tinlans:這樣做不划算，出問題的時候用 memory debug tool or lib
→ tinlans:來抓就行；平常寫 code 都用 smart pointer 其實很少出事
→ tinlans:，Linux 下的話，valgrind 這個工具可以幫你抓。
→ zlw:感謝您的經驗分享，我會再去瞭解這些東西，謝謝