在《右值引用》中我们介绍了右值引用的语法和一些注意事项,而本文所介绍的移动语义与右值引用密不可分。
不必要的深拷贝
在 C++ 中如果类中含有堆内存,就需要类的编写者提供深拷贝的拷贝构造函数,如果使用默认构造函数(浅拷贝),会导致堆内存的重复删除(或者说指针悬挂)。但是,在很多情况下是深拷贝又是不必要,比如下面的情况:
#include
using namespace std;
class People{
public:
People() :m_ptr(new int(0)){}
People(const People& p):m_ptr(new int(*p.m_ptr)){}
~People() {
delete m_ptr;
}
private:
int* m_ptr;
};
People Get(bool flag){
People p1;
People p2;
if (flag)
return p1;
else
return p2;
}
int main(){
People p = Get(false);
return 0;
}
在上面的示例中,我们可以看到为了保证程序的安全性 ,在类 People 中声明了拷贝构造函数。
然而在很多情况下,拷贝构造是不必要的。比如上面的代码,Get 函数拷贝一个临时变量,然后通过临时变量构造了一个新的对象 p2,而临时变量在拷贝构造完成之后就销毁了。
有了上面的问题,C++11 就顺势提出了移动语义的概念。
移动语义
要想了解移动语义,还是得从深拷贝入手,来看下面的例子:
#include
using namespace std;
class People{
public:
People(): d(new int(0)) {
cout << “Construct:” << ++n_cstr << endl;
}
People(const People & h): d(new int(*h.d)){
cout << “Copy construct:” << ++n_cptr <<
endl;
}
~People() {
cout << "Destruct: " << ++n_dstr << endl;
}
int * d ;
static int n_cstr;
static int n_dstr;
static int n_cptr;
};
int People::n_cstr = 0;
int People::n_dstr = 0;
int People::n_cptr = 0;
People GetTemp() {
return People();
}
int main(){
People p =
GetTemp();
return 0;
}
在上面的代码中 GetTemp返回一个
People 变量的函数,其中使用了一些静态变量来记录构造函数、拷贝构造函数以及析构函数的次数。请看输出结果(为防止编译器优化gcc 下请使用编译选项 g++ test.cpp -fno-elide-constructors):
Construct:1
Copy construct:1
Destruct: 1
Copy construct:2
Destruct: 2
Destruct: 3
上面的输出结果表明构造函数被调用了一次,这是在GetTemp函数中People()表达式显式地调用了构造函数而打印出来的。而拷贝构造函数则被调用了两次。这两次一次是从GetTemp函数中People()生成的变量上拷贝构造出一个临时值,以用作GetTemp的返回值,而另外一次则是由临时值构造出main中变量p 调用的。对应地,析构函数也就调用了3次。
根据上面的结果试想:假如类 People中除了有一个int类型的指针,还存在一个指向非常大的堆内存数据的指针,那么拷贝构造的过程就会非常昂贵
而在上面的代码中,临时对象在语句结束后被析构,会释放它所包含的堆内存资源,而 p 在拷贝构造的时候又会被分配内存,这样做其实是没有必要的。如下图所示:
拷贝
构造
我们从上面的图示中可以看到,使用移动拷贝构造给 p 分配内存时,需要产生一个临时对象,而这个临时对象除了给
p 赋值外并没有其他的用处。那么我们可不可以在使用临时对象构造 p 的时候不分配内存?而是直接使用临时对象呢?这就是本文所说的移动语义所实现的功能。
移动语义在 C++11 中被形象的描述为 “steal”(偷)。移动语义主要方法是使用指针,在临时对象创建完成后,不再像拷贝构造那样再为 p 开辟一块空间,而是使用指针指向临时对象。如下图所示:
移动
构造
我们可以清楚的看到,使用了移动语义后,不需要在进行深拷贝,提高了性能。除次之外我们还可以知道,移动语义的实现是离不开移动构造的,下面我们就来介绍移动构造的语法和使用时的注意事项。
移动构造
在上文中我们提到,移动语义的实现离不开移动构造,而移动构造又和右值引用密切相关,请参阅《右值引用》。
我们先来看看一下移动构造的语法格式,紧接上文的示例,请看下面的代码:
#include
using namespace std;
class People{
public:
People(): d(new int(0)) {
cout << “Construct:” << ++n_cstr << endl;
}
People(const People & h): d(new int(*h.d)){ //拷贝构造
cout << “Copy construct:” << ++n_cptr <<
endl;
}
People(People && p): d(p.d) {
p.d = nullptr; //移动构造
cout << “Move construct:” << ++n_mvtr <<
endl;
}
~People() {
delete d;
cout << "Destruct: " << ++n_dstr << endl;
}
int * d ;
static int n_cstr;
static int n_dstr;
static int n_cptr;
static int n_mvtr;
};
int People::n_cstr = 0;
int People::n_dstr = 0;
int People::n_cptr = 0;
int People::n_mvtr = 0;
People GetTemp() {
return People();
}
int main(){
People p =
GetTemp();
return 0;
}
上面的代码就是利用移动构造实现移动语义的过程,其中移动构造就是如下部分:
People(People && p): d(p.d) {
p.d = nullptr; //移动构造
cout << “Move construct:” << ++n_mvtr <<
endl;
}
我们可以看到移动构造和拷贝构造的不同:移动构造接受右值引用作为参数。如果参数是右值引用类型的参数 T&&,就会调用移动构造函数。上面的程序输出如下;
Construct:1
Move construct:1
Destruct: 1
Move construct:2
Destruct: 2
Destruct: 3
移动构造只是将临时对象的资源做了浅拷贝,不需要对其进行深拷贝,从而避免了额外的拷贝,提高了性能,这就是移动语义。