[問題] 右值參照問題

看板C_and_CPP作者 (靜雨澪)時間9年前 (2016/09/28 21:21), 9年前編輯推噓1(1推 0噓 23→)
留言24則, 4人參與, 最新討論串1/1
開發平台(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://www.ptt.cc/bbs/C_and_CPP/M.1475068863.A.439.html
→
09/28 21:29, , 1F
你拿lvalue reference去接rvalue reference
09/28 21:29, 1F
→
09/28 21:30, , 2F
應該是const T &才對
09/28 21:30, 2F
→
09/28 21:32, , 3F
不過any內部不應該是reference，他應該是要自己有object
09/28 21:32, 3F
→
09/28 21:33, , 4F
所以應該是T才對，才符合&->copy，&&->move
09/28 21:33, 4F
→
09/28 21:34, , 5F
等等，你說的是C++17的any嗎？
09/28 21:34, 5F
是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
→
09/28 21:59, , 6F
因為用reference去接，test()執行完就會呼叫destructor
09/28 21:59, 6F
→
09/28 21:59, , 7F
reference不會延長object的生命時間
09/28 21:59, 7F
想請問一下如果是 const auto &tref = test(); 為什麼呼叫完後沒有解構的問題, 我"自己理解"是Compiler知道這個右值被右值參照catch住 等到tref的scope結束後才把test()做解構, 小弟想瞭解一下右值的觀念問題, 煩請指教 QQ 因為C++11也是工作上遇到才開始自學的 就是有用到什麼才學什麼 QQ
→
09/28 22:00, , 8F
唯一的辦法就是用T來接
09/28 22:00, 8F
→
09/28 22:00, , 9F
難道你要的是&->reference，&&->move？
09/28 22:00, 9F
這邊我看不太懂 是指我的Any(U&)跟Any(U&&)之後如果是Any(U&&)就是呼叫move? 如果是這指個我想實作的方式的確是這樣 我的code上any的建構式也是分成U&是呼叫Derived, U&&呼叫DerivedRef
→
09/28 22:04, , 10F
不具名的暫存物件，阿你不把他存起來，等等就解構了
09/28 22:04, 10F
→
09/28 22:06, , 11F
你可以用template<class T>Any(U&& value)，但要用T存
09/28 22:06, 11F
推
09/28 22:18, , 12F
你沒辦法回傳 rvalue reference 啊
09/28 22:18, 12F
→
09/28 22:18, , 13F
但是你可以傳 lvalue reference 或是閉包進去直接用
09/28 22:18, 13F
這邊我看不太懂是指什麼東西回傳rvalue ref
→
09/28 22:43, , 14F
dynamic_cast<DerivedRef<T>*> (ptr.get());
09/28 22:43, 14F
→
09/28 22:43, , 15F
以上只是過程是跑出果，要看想練習什麼。
09/28 22:43, 15F
想練習右值跟右值參照的應用 應該這麼說吧 ※ 編輯: klsdf (218.161.8.163), 09/28/2016 23:40:06
→
09/28 23:49, , 16F
reference不管是lvalue reference還是rvalue reference
09/28 23:49, 16F
→
09/28 23:49, , 17F
都不會延長被reference的object的生命週期
09/28 23:49, 17F
→
09/28 23:50, , 18F
你的test()在const auto &tref = test();之後，仍然解構
09/28 23:50, 18F
→
09/28 23:55, , 19F
如果你寫的是template<class T>...(T &&val)
09/28 23:55, 19F
→
09/28 23:55, , 20F
這叫做"forwarding reference"或"universal reference"
09/28 23:55, 20F
→
09/28 23:57, , 21F
並不是寫&&，之後就會都用move或是copy
09/28 23:57, 21F
→
09/29 00:04, , 22F
#19gioP8j看這篇吧
09/29 00:04, 22F
這篇文章我會好好研讀的 謝謝Caesar大的指導 我現在知道用const T&的問題了 但就我的認知如果是直接用const auto& =test() 去接了話 可以活在do while一個round裡(用VC run的結果是這樣） 但用DerivedRef接看起來是下一行就結束週期 這就是我不瞭解的地方
→
09/29 12:40, , 23F
DerivedRef 就算被 const T& 也不能活超過 do-block
09/29 12:40, 23F
→
09/29 12:41, , 24F
說錯, 是 test(), 只是這裡問題是它能活多久?
09/29 12:41, 24F
我的疑問是它太早死了QQ ※ 編輯: klsdf (110.28.6.220), 09/29/2016 18:38:07 ※ 編輯: klsdf (110.28.6.220), 09/29/2016 18:38:38
‣ 更多 klsdf 的文章
文章代碼(AID): #1NwyE_Gv (C_and_CPP)