PTT數位生活區 / C_and_CPP (C/C++)

[問題] temporary 可以take reference 嗎？

看板C_and_CPP (C/C++)作者 (佛仔)時間2周前 (2024/04/11 20:27), 2周前編輯推噓5(5推 0噓 35→)
留言40則, 6人參與, 2周前最新討論串1/1
c++新手最看了一些文章，發現一個問題，舉個例子： #include <iostream> class A{ public: int a=5; int& g(){ return a; } A f(){ return *this; } }; int main() { A obj; std::cout<<obj.f().g(); return 0;} 因為obj.f()的lifetime會持續到 std::cout<<obj.f().g(); 這個line結束，所以g取obj.f().a的reference是ok的 但我還是覺得很疑惑，對temporary object 取reference 一般是不行的吧？ 舉例來說 int foo1(int a){ return a;} int main(){ int& b=foo(5);} 如果說foo(5)會存在直到 int& b=foo(5) 這行結束，那這個code不是應該也ok嗎 或是 int& foo2(int a){ return a;} int main(){ int b=foo2(5); std::cout<<foo2(5);} 同理這個不是也應該ok了嗎.. 這個是可以compile,但是不會cout出東西 把他丟去compiler explorer的話會發現foo2會直接回傳0（？） 我覺得越來越不懂了，求解@@ 謝謝大家 ---- Sent from BePTT on my OPPO CPH1943 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.200.14.226 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1712838430.A.E4C.html
→
04/11 21:24, 2周前 , 1F
關鍵字:value category
04/11 21:24, 1F
→
04/11 21:28, 2周前 , 2F
cppreference上應該都能找到解釋
04/11 21:28, 2F
→
04/11 21:38, 2周前 , 3F
以上是回答第二個問題;最初那個obj.f()問題是因為
04/11 21:38, 3F
→
04/11 21:39, 2周前 , 4F
RVO,所以obj.f()會拿到obj.a 不是暫時物件
04/11 21:39, 4F
→
04/11 21:44, 2周前 , 5F
更正:就算compiler因沒有RVO而拿到暫時物件,也無妨
04/11 21:44, 5F
謝謝！ 那如果f改成{A obj2; return obj2;}還會有RVO嗎（改成這樣output跟原來一樣）
推
04/11 21:46, 2周前 , 6F
1. int&可以bind到A::g中的a，因為a是lvalue
04/11 21:46, 6F
謝謝！ 1.的 a是lvalue? 但是obj.f() 應該是temporary 那就不應該是lvalue不是嗎0.0
→
04/11 21:46, 2周前 , 7F
2. int& b = foo1(5)違法是因為foo1(5)是prvalue (pure
04/11 21:46, 7F
嗯嗯所以lvalue reference應該還是是不能bind to xvalue 或是prvalue囉xd（混亂
→
04/11 21:46, 2周前 , 8F
rvalue)
04/11 21:46, 8F
→
04/11 21:46, 2周前 , 9F
3. foo2在C++20及以前都編得過，但是return的reference
04/11 21:46, 9F
→
04/11 21:46, 2周前 , 10F
是dangle的，去印出來是未定義行為。C++23 P2266R3開始
04/11 21:46, 10F
→
04/11 21:46, 2周前 , 11F
，a作為return的operand是xvalue，不能被bound to non-
04/11 21:46, 11F
→
04/11 21:46, 2周前 , 12F
const lvalue reference，int&改成int&&或const int&才
04/11 21:46, 12F
→
04/11 21:46, 2周前 , 13F
編得過。
04/11 21:46, 13F
→
04/11 21:46, 2周前 , 14F
04/11 21:46, 14F
→
04/11 22:10, 2周前 , 15F
通常guideline是永遠不要這麼做，比較節省維護心力
04/11 22:10, 15F
謝謝，也是沒有書會這樣寫xd ※ 編輯: amamoimi (1.200.14.226 臺灣), 04/11/2024 22:35:00
推
04/11 23:10, 2周前 , 16F
Non-const lvalue reference只能bind to lvalue
04/11 23:10, 16F
→
04/11 23:10, 2周前 , 17F
不能rvalue （含xvalue、prvalue）
04/11 23:10, 17F
推
04/11 23:16, 2周前 , 18F
a是不是lvalue跟obj.f()沒關係，通常寫一個變數名都是l
04/11 23:16, 18F
→
04/11 23:16, 2周前 , 19F
value expression ，例外我只想得到C++23改的那個case
04/11 23:16, 19F
也就是說obj.f()本來是rvalue，但是到g裡就被當成成lvalue了嗎！？為什麼會這樣...
→
04/12 07:53, 2周前 , 20F
要看compiler廠商怎麼實作,但一般來說你這樣寫會有
04/12 07:53, 20F
→
04/12 09:57, 2周前 , 21F
不知道為什麼我編輯之後推文整個亂掉了...j大的推文好
04/12 09:57, 21F
→
04/12 09:57, 2周前 , 22F
像被截掉了，真的很不好意思@@
04/12 09:57, 22F
※ 編輯: amamoimi (180.217.14.80 臺灣), 04/12/2024 10:19:43
→
04/12 11:38, 2周前 , 23F
1)更正前述的obj.a應是obj
04/12 11:38, 23F
→
04/12 11:38, 2周前 , 24F
2) 改code,意圖也跟著變了;原先f是拿到obj自己,新的
04/12 11:38, 24F
→
04/12 11:40, 2周前 , 25F
是拿到obj的複製體. (但這不影響有沒有RVO)
04/12 11:40, 25F
→ amamoimi: 謝謝j大復原! ※ 編輯: amamoimi (140.138.31.178 臺灣), 04/12/2024 12:56:17
推
04/12 16:30, 2周前 , 26F
Value category是expression的屬性，obj.f()跟a是不同e
04/12 16:30, 26F
→
04/12 16:30, 2周前 , 27F
xpr.所以我前面才說沒關係
04/12 16:30, 27F
→
04/12 16:59, 2周前 , 28F
那如果我說: obj.f()是temporary，那以它呼叫g()時，g
04/12 16:59, 28F
→
04/12 16:59, 2周前 , 29F
會把這個temporary object 當成有名字的物件，是嗎xd
04/12 16:59, 29F
推
04/13 14:36, 2周前 , 30F
再說一次, value category 是式子的屬性, 不是物件的屬性
04/13 14:36, 30F
→
04/13 14:37, 2周前 , 31F
即使在不同狀況下參照到同一個物件仍然可能是不同 category
04/13 14:37, 31F
→
04/13 14:38, 2周前 , 32F
(因此才會有延長物件壽命的規則, 因為 category 可能變化)
04/13 14:38, 32F
→
04/13 23:06, 2周前 , 33F
可以先看這篇 #19gioP8j (C_and_CPP) 這樣會比較好理解
04/13 23:06, 33F
→
04/14 06:49, 2周前 , 34F
謝謝文章！我覺得我應該懂我第一個例子為什麼valid了..
04/14 06:49, 34F
→
04/14 06:49, 2周前 , 35F
.（其實學校學的c++都還是很原始的版本，但是每次遇到
04/14 06:49, 35F
→
04/14 06:49, 2周前 , 36F
問題，好像都需要用到c++11(？的觀念去解決..）另外雖
04/14 06:49, 36F
→
04/14 06:49, 2周前 , 37F
然value指的是expression，但是我怎麼覺得有好幾個地方
04/14 06:49, 37F
→
04/14 06:49, 2周前 , 38F
他指的都是物件啊（或是參數、運算元，總之就是一個名
04/14 06:49, 38F
→
04/14 06:49, 2周前 , 39F
詞（？）
04/14 06:49, 39F
→
04/14 19:20, 2周前 , 40F
因為要考慮到123、true等常數的情況，所以表達上用value
04/14 19:20, 40F
‣ 更多 amamoimi 的文章
文章代碼(AID): #1c5zSUvC (C_and_CPP)
C_and_CPP 近期熱門文章
更多 近期熱門文章 >>
PTT數位生活區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 amamoimi 的文章
文章代碼(AID): #1c5zSUvC (C_and_CPP)