[問題] temporary 可以take reference 嗎?

看板 C_and_CPP
作者 amamoimi (佛仔)
時間 2024-04-11 20:27:08
留言 41 ( 5推 0噓 36→ )
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

留言

jack7775kimo 關鍵字:value category 04/11 21:24 1F
jack7775kimo cppreference上應該都能找到解釋 04/11 21:28 2F
jack7775kimo 以上是回答第二個問題;最初那個obj.f()問題是因為 04/11 21:38 3F
jack7775kimo RVO,所以obj.f()會拿到obj.a 不是暫時物件 04/11 21:39 4F
jack7775kimo 更正:就算compiler因沒有RVO而拿到暫時物件,也無妨 04/11 21:44 5F
謝謝! 那如果f改成{A obj2; return obj2;}還會有RVO嗎(改成這樣output跟原來一樣)
Dracarys 1. int&可以bind到A::g中的a,因為a是lvalue 04/11 21:46 6F
謝謝! 1.的 a是lvalue? 但是obj.f() 應該是temporary 那就不應該是lvalue不是嗎0.0
Dracarys 2. int& b = foo1(5)違法是因為foo1(5)是prvalue (pure 04/11 21:46 7F
嗯嗯所以lvalue reference應該還是是不能bind to xvalue 或是prvalue囉xd(混亂
Dracarys rvalue) 04/11 21:46 8F
Dracarys 3. foo2在C++20及以前都編得過,但是return的reference 04/11 21:46 9F
Dracarys 是dangle的,去印出來是未定義行為。C++23 P2266R3開始 04/11 21:46 10F
Dracarys ,a作為return的operand是xvalue,不能被bound to non- 04/11 21:46 11F
Dracarys const lvalue reference,int&改成int&&或const int&才 04/11 21:46 12F
Dracarys 編得過。 04/11 21:46 13F
Dracarys http://wg21.link/P2266R3 04/11 21:46 14F
wulouise 通常guideline是永遠不要這麼做,比較節省維護心力 04/11 22:10 15F
謝謝,也是沒有書會這樣寫xd
※ 編輯: amamoimi (1.200.14.226 臺灣), 04/11/2024 22:35:00
Dracarys Non-const lvalue reference只能bind to lvalue 04/11 23:10 16F
Dracarys 不能rvalue (含xvalue、prvalue) 04/11 23:10 17F
Dracarys a是不是lvalue跟obj.f()沒關係,通常寫一個變數名都是l 04/11 23:16 18F
Dracarys value expression ,例外我只想得到C++23改的那個case 04/11 23:16 19F
也就是說obj.f()本來是rvalue,但是到g裡就被當成成lvalue了嗎!?為什麼會這樣...
jack7775kimo 要看compiler廠商怎麼實作,但一般來說你這樣寫會有 04/12 07:53 20F
amamoimi 不知道為什麼我編輯之後推文整個亂掉了...j大的推文好 04/12 09:57 21F
amamoimi 像被截掉了,真的很不好意思@@ 04/12 09:57 22F
※ 編輯: amamoimi (180.217.14.80 臺灣), 04/12/2024 10:19:43
jack7775kimo 1)更正前述的obj.a應是obj 04/12 11:38 23F
jack7775kimo 2) 改code,意圖也跟著變了;原先f是拿到obj自己,新的 04/12 11:38 24F
jack7775kimo 是拿到obj的複製體. (但這不影響有沒有RVO) 04/12 11:40 25F
amamoimi 謝謝j大復原! 26F
※ 編輯: amamoimi (140.138.31.178 臺灣), 04/12/2024 12:56:17
Dracarys Value category是expression的屬性,obj.f()跟a是不同e 04/12 16:30 27F
Dracarys xpr.所以我前面才說沒關係 04/12 16:30 28F
amamoimi 那如果我說obj.f()是temporary,那以它呼叫g()時,g 04/12 16:59 29F
amamoimi 會把這個temporary object 當成有名字的物件,是嗎xd 04/12 16:59 30F
LPH66 再說一次, value category 是式子的屬性, 不是物件的屬性 04/13 14:36 31F
LPH66 即使在不同狀況下參照到同一個物件仍然可能是不同 category 04/13 14:37 32F
LPH66 (因此才會有延長物件壽命的規則, 因為 category 可能變化) 04/13 14:38 33F
firejox 可以先看這篇 #19gioP8j (C_and_CPP) 這樣會比較好理解 04/13 23:06 34F
amamoimi 謝謝文章!我覺得我應該懂我第一個例子為什麼valid了.. 04/14 06:49 35F
amamoimi .(其實學校學的c++都還是很原始的版本,但是每次遇到 04/14 06:49 36F
amamoimi 問題,好像都需要用到c++11(?的觀念去解決..)另外雖 04/14 06:49 37F
amamoimi 然value指的是expression,但是我怎麼覺得有好幾個地方 04/14 06:49 38F
amamoimi 他指的都是物件啊(或是參數、運算元,總之就是一個名 04/14 06:49 39F
amamoimi 詞(?) 04/14 06:49 40F
firejox 因為要考慮到123、true等常數的情況,所以表達上用value 04/14 19:20 41F

最新文章

Re: [耍廢] 藍色監獄出大事了
c_boo ake1234
2024-09-20 13:48:19
Re: [閒聊] 會為了比賽熬夜收看嗎
c_chat viaggiatore
2024-09-20 13:43:04
[討論] 如果莉涅特換成瑟拉絲的話?
2 4 c_chat kikiwatcher
2024-09-20 13:36:56
[東方] 大垂奶咲夜
c_chat orca1912
2024-09-20 13:36:02
[妮姬] 露姬的內衣迷信會是什麼?
1 6 c_chat kasumi5566
2024-09-20 13:35:35
[閒聊] 馬來西亞妖怪 巨乳鬼 Hantu Tetek
8 11 c_chat bluetuna601
2024-09-20 13:34:46
[閒聊] 會為了比賽熬夜收看嗎
4 13 c_chat ss8901234
2024-09-20 13:33:15
[閒聊] 遊戲王MD 我484遇到鬼了?
6 9 c_chat newrookie
2024-09-20 13:30:03
[問題] 說人羅傑算人身攻擊嗎
1 2 c_chatbm ss8901234
2024-09-20 13:27:33
[妮姬] 別人的愛麗絲跟我的愛麗絲
16 21 c_chat tsucomi69
2024-09-20 13:24:35
[馬娘] 中二時期喜歡隨處決鬥
2 2 c_chat baychu
2024-09-20 13:19:43