开发平台(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://webptt.com/cn.aspx?n=bbs/C_and_CPP/M.1529748654.A.1FC.html 我以为已经关掉RVO了耶 参照 https://goo.gl/3D5p3x 有在编译选项加 -fno-elide-constructors 根据内文贴的code连结，比较了一下问题一提到的两种写法产生的组语 (编译选项同内文所提) 发现main里面的组语一模一样 因此这部份结果应该如蓝魂、神崎亚莉亚所提 compiler对於两种写法的处理方式是一样的 这里( https://stackoverflow.com/a/8777310 )的回答也认为compiler是这样处理的 不过还是不太懂问题二的部份 甚麽情况下编译器会决定用mv ctor来把东西传回外界 又是甚麽时候会决定优先采用cp ctor啊? ※ 编辑: a58524andy (36.233.88.219), 06/23/2018 22:06:24 感谢推文各位 稍微整理对於回答二的意见如下 参考firose的连结 在case2中 // myClass g (myClass&& other); 在g函式里面 吾人不能直接把"other"这个expression当成rvalue看待 否则"other"这个expression在g呼叫其他函式的时候容易被玩坏 同时参考n3337 https://goo.gl/SXrM4E ch.5 pg.97 note.6 "an expression is an xvalue if it is [...] a cast to rvalue reference to object type," "other"这个expression在g里面应该被当成一个xvalue使用 至於这个xvalue expression传回时的行为则如loveflames所提 实际上"other"还是一个reference而不是一个non-static object 因此采用了cp ctor而没有采用mv ctor 如果有错的话烦请不吝指正@@ ※ 编辑: a58524andy (36.233.88.219), 06/24/2018 16:52:45