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