C++11–移动构造函数

c++

class A_2
{
public:
	A_2() :m_ptr(new int(0))
	{
 
	}
 
	~A_2()
	{
		delete m_ptr;//出现异常
	}
 
private:
	int* m_ptr;
};
 
A_2 Get(bool flag)
{
	A_2 a;
	A_2 b;
	if (flag)
		return a;
	else
		return b;
}
 
int right_value_ref2()
{
	A_2 a = Get(false);  //运行报错,a按照默认的拷贝函数浅拷贝了Get()里的b，即a的m_ptr和b的m_ptr指向的是同一块内存。但由于Get()里的b是局部变量，函数结束后会被析构，此时a里面的m_ptr就成了野指针，在析构a的时候就会报错。
 
	return 0;
}
int main()
{
    right_value_ref2();
    system("pause");
    return 0;
}

在上面的代码中，默认构造函数是浅拷贝，a和b会指向同一指针m_ptr，在析构函数会导致重复删除该指针。

正确的做法是提供深拷贝的拷贝构造函数。

A_2(const A_2& a):m_ptr(new int(*a.m_ptr)) //深拷贝
{
	std::cout << "copy construct" << std::endl;
}

这样就可以保证拷贝构造时的安全性，但有时这种拷贝构造却是不必要的，上面代码中的拷贝构造就是不必要的。上面代码中的Get函数会返回临时变量，然后通过这个临时变量拷贝构造一个新的对象b,临时变量在拷贝构造完成之后就销毁了，如果堆内存很大，那么，这个拷贝构造的代价会很大，带来了额外的性能损耗。

有没有办法避免临时对象的拷贝构造呢？答案是肯定的。看下面的代码：

class A_2
{
public:
	A_2() :m_ptr(new int(0))
	{
		std::cout << "construct" << std::endl;
	}
 
	A_2(const A_2& a):m_ptr(new int(*a.m_ptr)) //深拷贝
	{
		std::cout << "copy construct" << std::endl;
	}
 
	A_2(A_2&& a) :m_ptr(a.m_ptr)
	{
		a.m_ptr = nullptr;
		std::cout << "move construct:" << std::endl;
	}
 
	~A_2()
	{
		std::cout << "destruct" << std::endl;
		delete m_ptr;
	}
 
private:
	int* m_ptr;
};
 
A_2 Get(bool flag)
{
	A_2 a;
	A_2 b;
	if (flag)
		return a;
	else
		return b;
}
 
int right_value_ref2()
{
	A_2 a = Get(false);
 
	return 0;
}

上面的代码中没有了拷贝构造，取而代之的是移动构造（Move Construct）。从移动构造函数的实现可以看到，它的参数是一个右值引用类型的参数A&&，这里没有深拷贝，只有浅拷贝，这样就避免了临时对象的深拷贝，提供了性能。这里的A&&用来根据参数是左值还是右值来建立分支，如果是临时值，则会选择移动构造函数。移动构造函数只是将临时对象的资源做了浅拷贝，不需要对其进行深拷贝，从而避免了额外的拷贝，提高性能。这也就是所谓的移动语义（move 语义），右值引用的一个重要目的是用来支持移动语义的。

​ 移动语义可以将资源（堆、系统对象等）通过浅拷贝方式从一个对象转移到另一个对象，这样能减少不必要的临时对象的创建、拷贝以及销毁，可以大幅度提高C++应用程序的性能，消除临时对象的维护(创建和销毁)对性能的影响。

原文地址：https://blog.csdn.net/weiqing00/article/details/80929788