首先看一个小例子:
#include <iostream> #include <cstring> #include <cstdlib> #include <vector> using namespace std; int main() { string st = "I love xing"; vector<string> vc ; vc.push_back(move(st)); cout<<vc[0]<<endl; if(!st.empty()) cout<<st<<endl; return 0; }
结果为:
#include <iostream> #include <cstring> #include <cstdlib> #include <vector> using namespace std; int main() { string st = "I love xing"; vector<string> vc ; vc.push_back(st); cout<<vc[0]<<endl; if(!st.empty()) cout<<st<<endl; return 0; }
结果为:
这两个小程序唯一的不同是调用vc.push_back()将字符串插入到容器中去时,第一段代码使用了move语句,而第二段代码没有使用move语句。输出的结果差异也很明显,第一段代码中,原来的字符串st已经为空,而第二段代码中,原来的字符串st的内容没有变化。
好,记住这两端代码的输出结果之间的差异。下面我们简单介绍一下移动构造函数。在介绍移动构造函数之前,我们先要回顾一下拷贝构造函数。
我们都知道,C++在三种情况下会调用拷贝构造函数(可能有纰漏),第一种情况是函数形实结合时,第二种情况是函数返回时,函数栈区的对象会复制一份到函数的返回去,第三种情况是用一个对象初始化另一个对象时也会调用拷贝构造函数。
除了这三种情况下会调用拷贝构造函数,另外如果将一个对象赋值给另一个对象,这个时候回调用重载的赋值运算符函数。
无论是拷贝构造函数,还是重载的赋值运算符函数,我记得当时在上C++课的时候,老师再三强调,一定要注意指针的浅层复制问题。
这里在简单回忆一下拷贝构造函数中的浅层复制问题
首先看一个浅层复制的代码
#include <iostream> #include <cstring> #include <cstdlib> #include <vector> using namespace std; class Str{ public: char *value; Str(char s[]) { cout<<"调用构造函数..."<<endl; int len = strlen(s); value = new char[len + 1]; memset(value,0,len + 1); strcpy(value,s); } Str(Str &v) { cout<<"调用拷贝构造函数..."<<endl; this->value = v.value; } ~Str() { cout<<"调用析构函数..."<<endl; if(value != NULL) delete[] value; } }; int main() { char s[] = "I love BIT"; Str *a = new Str(s); Str *b = new Str(*a); delete a; cout<<"b对象中的字符串为:"<<b->value<<endl; delete b; return 0; }
输出结果为:
首先结果并不符合预期,我们希望b对象中的字符串也是I love BIT但是输出为空,这是因为b->value和a->value指向了同一片内存区域,当delete a的时候,该内存区域已经被收回,所以再用b->value访问那块内存实际上是不合适的,而且,虽然我运行时程序没有崩溃,但是程序存在崩溃的风险呀,因为当delete b的时候,那块内存区域又被释放了一次,两次释放同一块内存,相当危险呀。
我们用valgrind检查一下,发现,相当多的内存错误呀!
其中就有一个Invalid free 也就是删除b的时候调用析构函数,对已经释放掉对空间又释放了一次。
那么深层复制应该怎样写呢?
代码如下: