C++11移动语义

前言

之前我们已经知道了在类里开辟数组后，每一次传值返回和拷贝是，都会生成一个临时变量

class Arr
{
public:
	//构造
	Arr() {/*具体实现*/ };
	//拷贝
	Arr(const Arr& ar) {/*具体实现*/ };
	//重载+
	Arr operator+(const Arr& ar) { /*具体实现*/Arr temp_arr(ar); return temp_arr; };
private:
	int* _a;
};

int main()
{
	Arr arr1;
	Arr arr2;
	Arr arr3(arr1 + arr2);

	return 0;
}

说明：本段代码仅提供大致思路

图解：

在operator+中：temp_arr在按照值返回时，必须创建一个临时对象2，临时对象2创建好之后，temp_arr就被销毁了，最后使用返回的临时对象2构造arr3，arr3构造好之后，临时对象2就被销毁了。仔细观察会发现：temp_arr、临时对象2、arr3每个对象创建后，都有自己独立的空间，而空间中存放内容也都相同，相当于创建了三个内容完全相同的对象，对于空间是一种浪费，程序的效率也会降低，而且临时对象确实作用不是很大。

为此我们提出

移动语义

将一个对象中的资源转移到另一个对象中的方式

拷贝构造对每一个对象都会新开一个空间并赋值相同内容

移动语义则会让对象直接去指向原式内容

实现移动语义则必须使用右值引用

class Arr
{
public:
	//构造
	Arr() {/*具体实现*/ };
	//拷贝
	Arr(const Arr& ar) {/*具体实现*/ };
	//重载+
	Arr operator+(const Arr& ar) { /*具体实现*/Arr temp_arr(ar); return temp_arr; };
	//新增构造,完成移动语义
	Arr(Arr&& ar) {/*具体实现*/ }
private:
	int* _a;
};

因为temp_arr对象的生命周期在创建好临时对象后就结束了，即将亡值，C++11认为其为右值，在用temp_arr构造临时对象时，就会采用移动构造，即将temp_arr中资源转移到临时对象中。而临时对象也是右值，因此再用临时对象构造arr3时，也采用移动构造，将临时对象中资源转移到arr3中，整个过程，只需要创建一块堆内存即可，既省了空间，又大大提高程序运行的效率。

将亡值-》自定义类型的右值

纯右值-》内置类型的右值

注意：

1. 移动构造函数的参数千万不能设置成const类型的右值引用，因为资源无法转移而导致移动语义失效。

2. 在C++11中，编译器会为类默认生成一个移动构造，该移动构造为浅拷贝，因此当类中涉及到资源管理时，用户必须显式定义自己的移动构造。

实例

class String
{
public:
	String(const char* str = "")
	{
		if (nullptr == str)
			str = "";
		_str = new char[strlen(str) + 1];
		strcpy(_str, str);
	}

	String(const String& s)
		: _str(new char[strlen(s._str) + 1])
	{
		strcpy(_str, s._str);
	}
	//移动语义
	String(String&& s)
		: _str(s._str)
	{
		s._str = nullptr;
	}

	String& operator=(const String& s)
	{
		if (this != &s)
		{
			char* pTemp = new char[strlen(s._str) + 1];
			strcpy(pTemp, s._str);
			delete[] _str;
			_str = pTemp;
		}
		return *this;
	}

	String operator+(const String& s)
	{
		char* pTemp = new char[strlen(_str) + strlen(s._str) + 1];
		strcpy(pTemp, _str);
		strcpy(pTemp + strlen(_str), s._str);
		String strRet(pTemp);
		return strRet;
	}

	~String()
	{
		if (_str) delete[] _str;
	}
private:
	char* _str;
};
int main()
{ 
	String s1("hello");
	String s2("world");
	String s3(s1 + s2);
	return 0;
}

图解移动语义过程

从上往下看

因为strRet对象的生命周期在创建好临时对象后就结束了，即将亡值，C++11认为其为右值，在用strRet构造临时对象时，就会采用移动构造，即将strRet中资源转移到临时对象中。而临时对象也是右值，因此在用临时对象构造s3时，也采用移动构造，将临时对象中资源转移到s3中，整个过程，只需要创建一块堆内存即可，既省了空间，又大大提高程序运行的效率。