【知識點梳理】

1、預設建構函式為淺拷貝

2、左值和右值

3、右值引用優化效能，避免深拷貝

4、移動建構函式

【正文】

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);  //執行報錯

	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++應用程式的效能，消除臨時物件的維護(建立和銷燬)對效能的影響。