[问题] rvalue reference的讨论

楼主: w0005151 (蓝厅)   2016-10-09 18:12:14
先说说我对rvalue reference的理解
假设有一个class myClass内包含指向heap内存的指标变量
在实作以myClass为引数建构子的时候
可以实作出引数lvalue及rvalue reference的版本
我看的书是分别称作copy建构子跟move建构子
lvalue的版本代表引数不是一个暂时物件,之后还有可能会使用
因此新的物件必须要new出新的内存,再让内存内容与作为引数的物件一致
rvalue的版本代表引数是一个暂时物件,在建构子结束后就会解构掉
因此可以让新物件的指标直接与这个暂时物件的指标指向同个位置,免去new的动作
再让暂时物件的指标指向NULL以免呼叫解构子时将块内存delete掉
同样的道理也可以用在operator=上
现在有o1,o2,o3三个myClass的实例
若myClass也有多载operator+
o1=o2+o3;
这时o1.operator=()会呼叫rvalue的版本,因为o2.operator+(o3)是一个暂时物件
而operator+()因为回传的是一个暂时物件,回传后就会删除
所以回传型态必须是myClass,不能是myClass&
这时候就会用到建构子将o2.operator+(o3)复制后再传入o1.operator=()
但这次的建构子却是呼叫lvalue的版本的copy建构子
这边的原因我就不太理解,从书上看到是因为在o2.operator+(o3)中
这个回传的暂时物件是有名字的(假设他叫result)
所以会被视作lvalue而呼叫lvalue的copy建构子
若希望能呼叫move建构子,则应该在return时使用std::move(result)
请问各位前辈我这样的理解正确吗?
另外有一个问题请教,通常operator+() operator-()因回传的变量是区域变量
这些运算子会回传一个新的物件而不是区域变量reference
而operator=() 则因为结果不是个区域变量而可以回传lvalue reference
那又什么情况我们会回传rvalue reference吗?
不好意思再补充个问题
在java中若我有两个reference a,b
我可以用a=b让a指向与b相同的物件
但在C++中a=b却是会呼叫a指向的物件的operator=()
a实际上还是指向原来的物件(用取址运算子就可发现)
那有办法让a指向别的物件吗?
作者: pttworld (批踢踢世界)   2016-10-09 18:27:00
精华区资料多,z-5。
作者: Caesar08 (Caesar)   2016-10-09 20:10:00
板上有很多文章,你应该先看一下。另外,你现在用的move就会return rvalue reference
作者: steve1012 (steve)   2016-10-09 22:50:00
rvalue跟是不是暂时物件不是这直接关联的他的意思是 这块记忆我可以直接拿来用 所以我用它来con
作者: firose (guest也是也是也是也是也)   2016-10-10 07:47:00
印象最深刻的还是 local 被传回会被视为右值 (C++14)

Links booklink

Contact Us: admin [ a t ] ucptt.com