[問題] class中動態分配記憶體的存活時間

[nicknick0630 (NICK)]

開發平台(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://www.ptt.cc/bbs/C_and_CPP/M.1517134024.A.1AF.html
推 jerryh001: 回傳出來的是複製品 另外第10行有寫錯
已修正
所以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
推 LPH66: addOne() 回傳的是 temp 的複製品, temp 被刪了沒錯
→ LPH66: 但那個複製品傳給了 b.operator = 去複製過去
→ phishingphi: C++17中這個case(應該)符合 guaranteed copy elison.
→ phishingphi: 見 P0135R1 或 [class.copy.elision]。但我自己的疑
→ phishingphi: 問是那個 new 會不會導致那個 criteria 不符合...
推 jerryh001: 你有寫copy ctor 所以arr是不同地址 你可以印出來看看
→ jerryh001: 另外delete後再存取是未定義行為 不管實際上讀不讀的到
→ jerryh001: 資料 都不應該做
感謝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
推 LPH66: 其實只要你有遵守好 rule of three/rule of five
→ LPH66: 把對應的東西通通實作正確那其實不管怎麼呼叫都沒問題