作者klsdf (静雨澪)
看板C_and_CPP
标题[问题] 右值参照问题
时间Wed Sep 28 21:20:59 2016
开发平台(Platform): (Ex: VC++, GCC, Linux, ...)
VC++
问题(Question)：
关於右值参照跟右值的生命周期
预期的正确结果(Expected Output)：
class test暂存值被move进DerivedRef中的T&，等DerivedRef被解构後才会消失。
错误结果(Wrong Output)：
class test暂存值执行完後就被直接解构。
程式码(Code)：(请善用置底文网页, 记得排版)
any template:
http://codepad.org/XT2ed7Hc
test main code:
http://codepad.org/CZhy27AQ
补充说明(Supplement)：
目前自行在网路上找any在C++ 11的实作的code，
但看到的Sample Code并没有使用右值参照来储存的，
想请教板上的各位前辈是否是我实作的方法有误还是实作上理论是不可行的？
因为我原本的想法是在:
any = test();
test()会回传一个右值暂存值，move进DerivedRef的T &，
可以减少不必要的物件复制，但结果看起来执行完後暂存值就解构了，
T&收到的是不合法的Ref，导致Exception，
烦请各位前辈指教小弟观念错误的地方，谢谢。
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.24.74.158
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/C_and_CPP/M.1475068863.A.439.html
1F：→ Caesar08: 你拿lvalue reference去接rvalue reference09/28 21:29
2F：→ Caesar08: 应该是const T &才对09/28 21:30
3F：→ Caesar08: 不过any内部不应该是reference，他应该是要自己有object09/28 21:32
4F：→ Caesar08: 所以应该是T才对，才符合&->copy，&&->move09/28 21:33
5F：→ Caesar08: 等等，你说的是C++17的any吗？09/28 21:34
是boost::any，我知道C++ 17有要列入，不过目前我开发上是用C++ 11，
如果底层是用Derived这个物件储存T是没问题的，我网路上看到的范本也都是这个，
DerivedRef是我自己写出来测试，原因就如同我上面说的，
取得暂存值的所有权减少不必要的复制，如是实际具名的物件就使用Derived，
不具名的暂存物件就使用DerivedRef，
有试着改为const T&，一样执行完any = test()後就解构了。
※ 编辑: klsdf (218.161.8.163), 09/28/2016 21:55:55
6F：→ Caesar08: 因为用reference去接，test()执行完就会呼叫destructor09/28 21:59
7F：→ Caesar08: reference不会延长object的生命时间09/28 21:59
想请问一下如果是
const auto &tref = test();
为什麽呼叫完後没有解构的问题,
我"自己理解"是Compiler知道这个右值被右值参照catch住
等到tref的scope结束後才把test()做解构,
小弟想了解一下右值的观念问题, 烦请指教 QQ
因为C++11也是工作上遇到才开始自学的 就是有用到什麽才学什麽 QQ
8F：→ Caesar08: 唯一的办法就是用T来接 09/28 22:00
9F：→ Caesar08: 难道你要的是&->reference，&&->move？09/28 22:00
这边我看不太懂
是指我的Any(U&)跟Any(U&&)之後如果是Any(U&&)就是呼叫move?
如果是这指个我想实作的方式的确是这样
我的code上any的建构式也是分成U&是呼叫Derived, U&&呼叫DerivedRef
10F：→ Caesar08: 不具名的暂存物件，阿你不把他存起来，等等就解构了09/28 22:04
11F：→ Caesar08: 你可以用template<class T>Any(U&& value)，但要用T存 09/28 22:06
12F：推 CoNsTaR: 你没办法回传 rvalue reference 啊09/28 22:18
13F：→ CoNsTaR: 但是你可以传 lvalue reference 或是闭包进去直接用 09/28 22:18
这边我看不太懂是指什麽东西回传rvalue ref
14F：→ pttworld: dynamic_cast<DerivedRef<T>*> (ptr.get());09/28 22:43
15F：→ pttworld: 以上只是过程是跑出果，要看想练习什麽。09/28 22:43
想练习右值跟右值参照的应用 应该这麽说吧
※ 编辑: klsdf (218.161.8.163), 09/28/2016 23:40:06
16F：→ Caesar08: reference不管是lvalue reference还是rvalue reference09/28 23:49
17F：→ Caesar08: 都不会延长被reference的object的生命周期09/28 23:49
18F：→ Caesar08: 你的test()在const auto &tref = test();之後，仍然解构09/28 23:50
19F：→ Caesar08: 如果你写的是template<class T>...(T &&val)09/28 23:55
20F：→ Caesar08: 这叫做"forwarding reference"或"universal reference"09/28 23:55
21F：→ Caesar08: 并不是写&&，之後就会都用move或是copy09/28 23:57
这篇文章我会好好研读的
谢谢Caesar大的指导
我现在知道用const T&的问题了
但就我的认知如果是直接用const auto& =test() 去接了话
可以活在do while一个round里(用VC run的结果是这样）
但用DerivedRef接看起来是下一行就结束周期
这就是我不了解的地方
23F：→ firose: DerivedRef 就算被 const T& 也不能活超过 do-block 09/29 12:40
24F：→ firose: 说错, 是 test(), 只是这里问题是它能活多久?09/29 12:41
我的疑问是它太早死了QQ
※ 编辑: klsdf (110.28.6.220), 09/29/2016 18:38:07
※ 编辑: klsdf (110.28.6.220), 09/29/2016 18:38:38