[問題] 關於Rvalue與RVO

[DeepFapping (鳳凰)]

------
#先說明，回傳時通常傳參考就沒這些問題，故意這樣寫只是想搞懂
現在覺得C++好難= =，腦袋已經混亂了，求指點明晰
------

最近學到move constructor以後，看了看Rvalue的定義，試了下code，
發現VC++與G++的行為不同，下面有我寫的簡單的code，希望能得到解
答，如果不好回答，希望能有連結或關鍵字讓我查詢。

我猜可能是function return object沒學好，先舉例說明我的想法:

class A{
    A& append(int value){
        //...append value to A
        return *this;
    }

    A(const A& a){
        //...copy a to *this
    }
}

A a;
A b = a.append(1);

以上面這行來說，會有兩個動作
1.使用a.append(1)時的return，
  A& temp = *this;
2.使用b.A(const A& a)時，
  const A& a = temp;

如果對的話往下看才有意義，我下面的傳參數
都是靠這個邏輯傳的。

接下來看code:
https://pastebin.com/rx9xuAa3

附上VC++與G++的截圖結果。
左邊是VisualStudio2019，右邊是G++7.2.0。
https://i.imgur.com/6pn0XzZ.png

以這個例子來說，我覺得兩者output都不對= ="
我認為的答案如下:
Constructor a            //A b(objName);
Deep copy when initial.  //A temp = b; return時
Destructor a             //出copy()時，解構a

------------------------------------

Constructor b            //A b(objName);
Shadow copy when initial.//A temp = b; RVO的關係，改成move
Deep copy when initial.  //A c(temp); 用C來初始化建構

------------------------------------
                         //main結束時全部解構
Destructor default       //因為我複製時沒改到_objName，預設
Destructor a             //最上面的a

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.163.83.72 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1617959898.A.4D0.html
※ 編輯: DeepFapping (118.163.83.72 臺灣), 04/09/2021 17:19:36
→ nh60211as: 是不是還有Copy elision要考慮，我現在沒辦法測試
→ DeepFapping: 臥槽，剛查了一下，我沒學過這東西，所以這是編譯器
→ DeepFapping: 優化的問題，設中斷點也看不到的結果，不知遇到這種
→ DeepFapping: 問題要如何學習？感謝。以試過，g++結果跟Visual C
→ DeepFapping: ++一樣了，但是仍然跟我想的不一樣= ="
→ Lipraxde: 先從怎麼把所有相關的優化關掉開始學
推 s4300026: 左邊的啊
推 g0010726: 樓樓上說的關掉優化在c++17後應該也沒用了 有些rvo變成
→ g0010726: 強制的 規則可以在cppreference翻一下
→ g0010726: 抱歉 應該說 copy elision 比較準確
→ Lipraxde: 是嗎？我有點忘記以前試的時候是不是用 c++17 了。
→ a27417332: Copy Elision或RVO發生的時候根本連Move都不會有
→ a27417332: 另外，右值引用通常是不會加const的，跟初衷矛盾
→ a27417332: 第一個分隔線前的Deep Copy實際上也沒複製到member，
→ a27417332: 但你好像期待他會輸出解構a？
→ hunandy14: 應該單純只是兩家的 複製省略 策略不同而已
推 MartinJ40: 優化條件不一樣阿 vs開用release跑就變右邊
→ MartinJ40: 沒有不一樣阿
→ MartinJ40: function return會變成move所以不要在return call move
→ MartinJ40: effective modern c++有寫 所以右邊是正確的
→ MartinJ40: 抱歉不是move 是copy elision
→ MartinJ40: 編譯器的實作是c會就地變成reference指向RVO
→ MartinJ40: rvo生命週期就變成c的生命週期
→ MartinJ40: 推 g0010726: 樓樓上說的關掉優化在c++17後應該也沒用
→ MartinJ40: 跟優化無關