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