在C++11中提供了std::move方法,该方法为使用移动语义提供了方便,在使用该方法的过程中,它并没有拷贝任何对象,只是将对象的状态或者所有权从一个对象转移到了另外一个对象,因此,在实际的使用过程中,减少了对象的多次拷贝,从而提升了程序的性能。
1 拷贝和move区别
为了方便理解拷贝和move的区别,请看下图:
图1 拷贝和移动
在图1中,如果将SourceObject对象拷贝到DestObject的过程中,如果使用拷贝,则需要将Source对象也进行拷贝,但如果使用move方法,则只是将SourceObject移动到DestObject对象中,仅仅是对象所有权和状态的改变,并没有发生任何拷贝。在这一过程中,move唯一的功能是将一个左值引用转换为一个右值引用,使我们通过右值引用使用这个对象,从而实现移动构造。
2 拷贝和move实例
在实际编码过程中,C++11提供的move方法会将拷贝的代价降低到最小,例如在vector中插入元素时,就可以使用move语义,减少对像的拷贝:
int main ()
{
std::string foo = "foo-string";
std::string bar = "bar-string";
std::vector<std::string> myvector;
myvector.push_back (foo); // copies
myvector.push_back (std::move(bar)); // moves
std::cout << "myvector contains:";
for (std::string& x:myvector)
std::cout << ' ' << x; std::cout << '\n';
return 0;
}
程序运行结果如下:
myvector contains: foo-string bar-string
在上面的代码中vector插入了两个对象,第一个对象使用了拷贝,在插入容器后,依旧可以使用foo对象;第二个对象使用move,在插入容器后,就不在拥有对象,所以如果在上面的代码中,加一行如下输出,实际上是bar是打印不出任何内容的,如下:
std::cout<<"foo="<<foo<<" ,bar="<<bar<<std::endl;
3 move原型
move方法的原型如下:
template <typename T>
typename remove_reference<T>::type&& move(T&& t)
{
return static_cast<typename remove_reference<T>::type&&>(t);
}
从move方法的定义来看,move实际上并没有做任何事情,只是做了类型强制转换,当传入的参数为右值时,move实际上没有做任何事情,但是为了支持左值传参,让T&&满足万能传参,还是使用了引用折叠的方法,具体如下:
如果是X& &、X& && 和 X&& & 折叠后转换成为:X&;
如果是X&& && 折叠后转换成为:X&&。
所以,当t
为左值或者左值引用时,进过引用折叠,得到的类型是T&
。最后就是将左值转换为右值并返回了。
使用move传递左值时,还需要注意一点就是:td::move()
可以应用于左值,但是用后就表示当前的值不再需要了,如果后续使用了该值,则会产生意想不到的结果。
本文首次发布在公众号:CPP开发前沿