花了一天时间研究了一下c++11右值移动,理解了后就简单了。
当一个右值可移动,且该右值"用完即亡",则执行 x = y 时,y的值被移动到x里, y清空。
可移动的右值其实里面存的是指针,所谓移动是执行的指针值拷贝(浅拷贝),然后回收被拷贝走值的指针。
做一个简单的测试,用一个函数返回一个可移动的右值,并赋值于一个左值,看左值的值是否发生了移动或内存地址转移。
// 产生一个临时可移动的右值
vector<int> make_rvalue()
{
vector<int> tmp{4,5,6};
// 函数返回的右值tmp[0]的值与地址
cout << "tmp[0] = " << tmp[0] << ", &tmp[0] = " << &tmp[0] << endl;
return tmp;
}
int main()
{
vector<int> v{1,2,3};
// 移动前的v[0]值与内存地址
cout << "v[0] = " << v[0] << ", &v[0] = " << &v[0] << endl;
// 赋值移动
v = make_rvalue();
// 移动后的v[0]值与内存地址
cout << "v[0] = " << v[0] << ", &v[0] = " << &v[0] << endl;
return 0;
}结果:
如图所示结果,v[0] 的地址 在移动后变成了tmp[0] 的地址, 移动成功。
也可以用std::move()函数把一个可移动的左值变成可移动的临时右值。
如果x与y都是左值,x=y有时执行的是深拷贝,比如vector<string>(可做一个简单测试证明),因为里面存着较大的字符串,要交换x与y的值,执行浅拷贝当然效率更高,所以可以通过把左值变成临时右值的方式实现“浅移动”.
tmp = std::move(x);
x = std::move(y);
y = std::move(tmp);
这样就把x,y里面的指针值交换了。
但我们自定义的一些对象,x = y有时是浅拷贝,比如里面一个成员是指针,这样会造成两个指针指向同一个对象,可能会造成内存泄漏。
这时需要重新定义"="运算符, 让它改成深拷贝。