看过很多解释move的博客,感觉都没能说清楚,请君看完。
新特性的出现是为了解决现有的问题或者不足之处,move的出现就是为了解决某些场景下深拷贝的效率问题。
这个“某些场景”,如下:
string类的简单定义如下:
class string{
public:
//拷贝构造
string(const string& s){
delelte begin[];
begin = new char[s.size+1]
strcpy(begin,s.begin,s,size);
size = s.size;
}
//赋值构造
...
private:
int size ;
char* begin;
};
//case 1
string s1("abc");
string s2("def");
string s3 = s1 + s2 ;
//case2
string upper(const string& src){
string tmp ;
//upper
....
return tmp;
}
string s4 = upper(s2);
思考一下,case1中的s3 的赋值构造函数,接收的参数其实是表达式结果的临时对象,case2中s4接受的也是函数返回的临时对象(并不是tmp,而是编译器产生的临时对象)
在上述情况中的调用赋值构造函数都执行了new和delete,如果对象很大的话,这是一个耗时的操作,而我们知道,new对象是在栈空间的,直接把控制权转移到新对象即可,不需要先delete再重新new,于是c++11开始类的定义多了两个构造函数:移动拷贝构造函数、移动赋值构造函数,定义如下:
class string{
public:
//移动拷贝构造
string(string&& s){
delelte begin[];
//
begin = s.begin;
s.begin = nullptr;
size = s.size;
s.size = 0;
}
//移动赋值构造
private:
int size ;
char* begin;
};
这样在case1和case2的情况下,编译器默认会调用移动拷贝构造函数,解决了在这中场景下不必要的深拷贝问题。
我们再来描述这个概念:
在case1和case2中这些编译器产生的临时对象,我们是没办法修改的,这不同于我们自定义的对象,这样我们对这些对象称为右值,我们可以修改的那些称为左值,然后就多了右值引用和左值引用的的概念,右值引用我们上面移动用到了就是&&,右值引用不能使用const修饰的,因为我们要修改它。
以上就应该结束了。但是还有很多场景,我们还是希望调用移动拷贝(赋值)构造函数的,比如:
std::vector<int> v1 = v2 ;
这样的代码,随处可以见哦,如果v2是非常大的对象,然后我们也不需要继续使用v2了,我们当然不希望深拷贝,那就可以调用移动拷贝构造函数,怎么调用呢,强制调用,于是move出现了
std::vector<int> v1 = std::move(v2) ;
move的语义就是强制调用移动拷贝(赋值)构造函数。
ok,这样就很清楚了。
最后总结一下,move的使用习惯:
1.c++11以后,stl 都支持移动构造函数,支持move。
2.自定义的类,自己要实现移动构造函数,move才有效。
3.使用了move以后,原对象不可以继续使用了,这个原因就不用说了吧。