作者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/cn.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