前言
之前我们已经知道了在类里开辟数组后,每一次传值返回和拷贝是,都会生成一个临时变量
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中,整个过程,只需要创建一块堆内存即可,既省了空间,又大大提高程序运行的效率。