这篇文章主要给大家介绍了关于C++中移动构造函数及move语句的相关资料，文中通过示例代码介绍的非常详细，对大家学习或者使用C++具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧。
前言
本文主要给大家介绍了关于C++中移动构造函数及move语句的相关内容，分享出来供大家参考学习，下面话不多说了，来一起看看详细的介绍吧。
首先看一个小例子：
#include <iostream>
#include <cstring>
#include <cstdlib>
#include <vector>
using namespace std;
int main()
{
string st = "hello world";
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 = "hello world";
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[] = "hello world";
Str *a = new Str(s);
Str *b = new Str(*a);
delete a;
cout<<"b对象中的字符串为："<<b->value<<endl;
delete b;
system("pause");
return 0;
}
首先结果并不符合预期，我们希望b对象中的字符串也是hello world但是输出为空，这是因为b->value和a->value指向了同一片内存区域，当delete a的时候，该内存区域已经被收回，所以再用b->value访问那块内存实际上是不合适的，而且，虽然我运行时程序没有崩溃，但是程序存在崩溃的风险呀，因为当delete b的时候，那块内存区域又被释放了一次，两次释放同一块内存，相当危险呀。
我们用valgrind检查一下，发现，相当多的内存错误呀！
其中就有一个Invalid free 也就是删除b的时候调用析构函数，对已经释放掉对空间又释放了一次。
那么深层复制应该怎样写呢？
代码如下：
#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;
int len = strlen(v.value);
value = new char[len + 1];
memset(value,0,len + 1);
strcpy(value,v.value);
}
~Str()
{
cout<<"调用析构函数..."<<endl;
if(value != NULL)
{
delete[] value;
value = NULL;
}
}
};
int main()
{
char s[] = "hello world";
Str *a = new Str(s);
Str *b = new Str(*a);
delete a;
cout<<"b对象中的字符串为："<<b->value<<endl;
delete b;
system("pause");
return 0;
}
这次达到了我们预想的效果，而且，用valgrind检测一下，发现，没有内存错误！
所以，写拷贝构造函数的时候，切记要注意指针的浅层复制问题呀！
好的，回顾了一下拷贝构造函数，下面回到移动构造函数上来。
有时候我们会遇到这样一种情况，我们用对象a初始化对象b，后对象a我们就不在使用了，但是对象a的空间还在呀（在析构之前），既然拷贝构造函数，实际上就是把a对象的内容复制一份到b中，那么为什么我们不能直接使用a的空间呢？这样就避免了新的空间的分配，大大降低了构造的成本。这就是移动构造函数设计的初衷。
通俗一点的解释就是，拷贝构造函数中，对于指针，我们一定要采用深层复制，而移动构造函数中，对于指针，我们采用浅层复制。
但是上面提到，指针的浅层复制是非常危险的呀。没错，确实很危险，而且通过上面的例子，我们也可以看出，浅层复制之所以危险，是因为两个指针共同指向一片内存空间，若第一个指针将其释放，另一个指针的指向就不合法了。所以我们只要避免第一个指针释放空间就可以了。避免的方法就是将第一个指针（比如a->value）置为NULL，这样在调用析构函数的时候，由于有判断是否为NULL的语句，所以析构a的时候并不会回收a->value指向的空间（同时也是b->value指向的空间）
所以我们可以把上面的拷贝构造函数的代码修改一下：
#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;
v.value = NULL;
}
~Str()
{
cout << "调用析构函数..." << endl;
if (value != NULL)
delete[] value;
}
};
int main()
{
char s[] = "hello world";
Str* a = new Str(s);
Str* b = new Str(*a);
delete a;
cout << "b对象中的字符串为：" << b->value << endl;
delete b;
system("pause");
return 0;
}
修改后的拷贝构造函数，采用了浅层复制，但是结果仍能够达到我们想要的效果，关键在于在拷贝构造函数中，最后我们将v.value置为了NULL，这样在析构a的时候，就不会回收a->value指向的内存空间。
这样用a初始化b的过程中，实际上我们就减少了开辟内存，构造成本就降低了。
但要注意，我们这样使用有一个前提是：用a初始化b后，a我们就不需要了，最好是初始化完成后就将a析构。如果说，我们用a初始化了b后，仍要对a进行操作，用这种浅层复制的方法就不合适了。
所以C++引入了移动构造函数，专门处理这种，用a初始化b后，就将a析构的情况。
移动构造函数的参数和拷贝构造函数不同，拷贝构造函数的参数是一个左值引用，但是移动构造函数的初值是一个右值引用。（关于右值引用大家可以看我之前的文章，或者查找其他资料）。这意味着，移动构造函数的参数是一个右值或者将亡值的引用。也就是说，只用用一个右值，或者将亡值初始化另一个对象的时候，才会调用移动构造函数。而那个move语句，就是将一个左值变成一个将亡值。
#include <iostream>
#include <cstring>
#include <cstdlib>
#include <vector>
using namespace std;
class Str {
public:
char* str;
Str(char value[])
{
cout << "普通构造函数..." << endl;
str = NULL;
int len = strlen(value);
str = (char*)malloc(len + 1);
memset(str, 0, len + 1);
strcpy(str, value);
}
Str(const Str& s)
{
cout << "拷贝构造函数..." << endl;
str = NULL;
int len = strlen(s.str);
str = (char*)malloc(len + 1);
memset(str, 0, len + 1);
strcpy(str, s.str);
}
Str(Str&& s)
{
cout << "移动构造函数..." << endl;
str = NULL;
str = s.str;
s.str = NULL;
}
~Str()
{
cout << "析构函数" << endl;
if (str != NULL)
{
free(str);
str = NULL;
}
}
};
int main()
{
char value[] = "hello world";
Str s(value);
vector<Str> vs;
//vs.push_back(move(s));
vs.push_back(s);
cout << vs[0].str << endl;
if (s.str != NULL)
cout << s.str << endl;
system("pause");
return 0;
}
总结
以上就是这篇文章的全部内容，希望本文的内容对大家的学习或者工作具有一定的参考学习价值，如果有疑问大家可以留言交流，谢谢大家对脚本之家的支持。
2009
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
