作者nicknick0630 (NICK)
看板C_and_CPP
標題[問題] class中動態分配記憶體的存活時間
時間Sun Jan 28 18:07:01 2018
開發平台(Platform): (Ex: Win10, Linux, ...)
win10
編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
vs 2017
額外使用到的函數庫(Library Used): (Ex: OpenGL, ...)
無
問題(Question)：
小弟是C++新手也是第一次發文
請鞭小力一點><
我設計一個class Test中有宣告一個 int *arr
讓他在constructor中可以分配記憶體
像 arr=new int[10]
然後我也用了destructor
會把arr delete掉
另外我也設計了一個成員函式
會先複製本身數據到temp中
再把temp.arr記憶體中的值都加一
並回傳temp給另一個Test型態的變數
像 b=a.addOne();
我想問的是
b在使用operator=設值的時候
不是會用到a.addOne()回傳的東西嗎
但它在離開了addOne()函式的時候不是就應該會被destructor delete掉了嗎
為甚麼b還可以存取
餵入的資料(Input)：
無
預期的正確結果(Expected Output)：
錯誤結果(Wrong Output)：
程式碼(Code)：(請善用置底文網頁, 記得排版)
http://codepad.org/2QRdsFU5
補充說明(Supplement)：
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 58.114.157.44
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1517134024.A.1AF.html
1F：推 jerryh001: 回傳出來的是複製品 另外第10行有寫錯 01/28 18:16
已修正
所以b在用的是a.addOne()回傳值的複製品嗎?
但它的arr那邊不也是指向同一個位址
所以就算被delete掉也還是可以存取囉?
※ 編輯: nicknick0630 (58.114.157.44), 01/28/2018 18:29:46
※ 編輯: nicknick0630 (58.114.157.44), 01/28/2018 18:33:35
2F：推 LPH66: addOne() 回傳的是 temp 的複製品, temp 被刪了沒錯 01/28 19:39
3F：→ LPH66: 但那個複製品傳給了 b.operator = 去複製過去 01/28 19:40
4F：→ phishingphi: C++17中這個case(應該)符合 guaranteed copy elison. 01/28 20:20
5F：→ phishingphi: 見 P0135R1 或 [class.copy.elision]。但我自己的疑 01/28 20:21
6F：→ phishingphi: 問是那個 new 會不會導致那個 criteria 不符合... 01/28 20:21
7F：推 jerryh001: 你有寫copy ctor 所以arr是不同地址 你可以印出來看看 01/28 21:09
8F：→ jerryh001: 另外delete後再存取是未定義行為 不管實際上讀不讀的到 01/28 21:11
9F：→ jerryh001: 資料 都不應該做 01/28 21:11
感謝P大的提點
小弟我有有做了一些測試查看內存位址得到一些結論
b = a.addOne();
等同於 (這個步驟應該就是copy elision)
Test temp(a.addOne());
b=temp;
這邊 temp(a.addOne())
a.addOne()回傳的tem會在函式addOne() return的階段就傳入 temp(a.addOne())
等到複製完後(使用copy constructor)才執行destructor把tem.arr delete掉
所以也不會有delete 後再去存取的這個問題
如果不是這樣的話還請大大們跟我說哪裡錯@@
※ 編輯: nicknick0630 (58.114.157.44), 01/28/2018 23:00:09
10F：推 LPH66: 其實只要你有遵守好 rule of three/rule of five 01/29 01:21
11F：→ LPH66: 把對應的東西通通實作正確那其實不管怎麼呼叫都沒問題 01/29 01:21