作者w0005151 (蓝厅)
看板C_and_CPP
标题[问题] rvalue reference的讨论
时间Sun Oct 9 18:12:14 2016
先说说我对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指向别的物件吗?
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 58.114.218.24
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/C_and_CPP/M.1476007937.A.937.html
※ 编辑: w0005151 (58.114.218.24), 10/09/2016 18:20:03
1F:→ pttworld: 资料多,z-5。 10/09 18:27
2F:→ Caesar08: 板上有很多文章,你应该先看一下。另外,你现在用的move 10/09 20:10
3F:→ Caesar08: 就会return rvalue reference 10/09 20:10
4F:推 steve1012: rvalue跟是不是暂时物件不是这直接关联的 10/09 22:50
5F:→ steve1012: 他的意思是 这块记忆我可以直接拿来用 所以我用它来con 10/09 22:50
6F:→ firose: 印象最深刻的还是 local 被传回会被视为右值 (C++14) 10/10 07:47