移动语义

在《右值引用》中我们介绍了右值引用的语法和一些注意事项，而本文所介绍的移动语义与右值引用密不可分。

不必要的深拷贝

在 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

移动构造只是将临时对象的资源做了浅拷贝，不需要对其进行深拷贝，从而避免了额外的拷贝，提高了性能，这就是移动语义。