[問題] 關於c++11 ctor行為

看板C_and_CPP (C/C++)作者a58524andy (a58524andy)時間7年前 (2018/06/23 18:10)推噓6(7推 1噓 43→)

留言51則, 9人參與討論串1/2 (看更多)

開發平台(Platform): (Ex: Win10, Linux, ...) win10 1803 WSL@Debian 編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出) g++ (Debian 6.3.0-18+deb9u1) 6.3.0 20170516 c++11 額外使用到的函數庫(Library Used): (Ex: OpenGL, ...) <iostream> 問題(Question)：有兩個相似的case，煩請參照外部連結閱讀；編譯以及執行的選項如下 $ g++ -c my_PTT_post.cc --std=c++11 -O0 -Wall -fno-elide-constructors $ g++ -o test my_PTT_post.o $ ./test 想要使用這些編譯選項以免除NRVO/RVO，方便觀察ctor呼叫行為兩個case的差異僅在於 // case1，pass by value myClass g (myClass other); // case2，pass by rvalue reference myClass g (myClass&& other); 以下是case1的結果以及個人的理解 (myClass g( myClass other ); ) ctor // ctor without parameter inside function f mv ctor // returned object of f steal the rvalue created by ctor mv ctor // obj1 steal RHS of "=" sign; RHS is a rvalue expression ctor // ctor without parameter inside function f inside function g mv ctor // returned object of f steal the rvalue created by ctor mv ctor // parameter of g steal what returned by f, which is rvalue inside g // now inside function g mv ctor // returned object of g steal the glvalue in g, which is at the end of its lifespan mv ctor // obj2 steal RHS of "=" sign, which is a rvalue expression 以下是case2的結果以及個人的理解 (myClass g( myClass&& other ); ) ctor // ctor without parameter inside function f mv ctor // returned object of f steal the rvalue created by ctor mv ctor // obj1 steal RHS of "=" sign; RHS is a rvalue expression ctor // ctor without parameter inside function f inside function g mv ctor // returned object of f steal the rvalue created by ctor inside g // g takes rvalue reference, so we step into g directly cp ctor // returned object of g is a copy of the rvalue reference in g mv ctor // obj2 steal RHS of "=" sign; RHS being a rvalue expression 不懂的地方有2: 1. operator =以及obj1/obj2原本自己的ctor怎麼都沒有被呼叫呢? 還是case1、case2當中(應該要)呼叫ctor without parameter以及operator =的寫法 myClass obj1 = f(); myClass obj2 = g(f()); 實際上等同沒有用到ctor w/o parameter、operator =，僅用到mv/cp ctor myClass obj1(f()); myClass obj2(g(f())); 的這個寫法呢? 2. case2當中，最後有一個copy ctor被呼叫了這個copy ctor應該是為了把g吃進來的rvalue reference return回外面但是為甚麼需要用到copy ctor呢? 除非使用者故意用了std::move()把expression轉成rvalue丟進g 不然這個reference所代表的東西應該會是馬上就要過期的rvalue 一般情況下如同case1呼叫mv ctor可以省一些資源吧? 餵入的資料(Input)： nope 預期的正確結果(Expected Output)：如問題描述錯誤結果(Wrong Output)：應該是我有哪裡搞錯了QQ 程式碼(Code)：(請善用置底文網頁, 記得排版，禁止使用圖檔) case1: https://godbolt.org/g/hBX1yw case2: https://godbolt.org/g/nXqyYc 補充說明(Supplement)：煩請各位指點 m(_ _)m -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.233.88.219 ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1529748654.A.1FC.html

→

bluesoul

06/23 18:50, 7年前 , 1^F

06/23 18:50, 1^F

噓