一、概念
在学习本节的时候,常常会因字面意思而导致错误认知,因此我们首先来理清一些概念
- 左值:一般来讲在等号左边的都是左值,是可以被修改的值
- 右值:在等号右边的值不一定是右值!!!右值是不可以被改变的值,例如常量、临时对象、表达式返回值等
- 左值引用:例如int& lr=a;优点:在传值和传参的位置时使用,可以减少拷贝次数,提高运行效率
- 右值引用:例如int&& rr=a;优点:在传值返回和传将亡值时使用,调用移动构造和移动赋值,减少拷贝次数,提高效率
- const左值引用可以引用右值,右值引用可以引用(move)左值
- 纯右值:右值的一种,用于识别临时变量和一些不与对象关联的值,例如一些常量
- 将亡值:右值的一种,声明周期将要结束的对象,例如在值返回时的临时对象
二.理解
1.首先看一段代码:
#include<iostream>
#include<assert.h>
using namespace std;
class String{
public:
//构造函数
String(const char* str = " ")
{
if (str == nullptr)
{
assert(false);
return;
}
_str = new char[strlen(str) + 1];
strcpy(_str, str);
}
//拷贝构造
String(const String& str)
:_str(new char[strlen(str._str)+1])
{
cout << "String(const String& str)" << endl;
strcpy(_str, str._str);
}
//赋值运算符重载
String& operator=(const String& str)
{
if (this != &str)
{
char* tmp = new char[strlen(str._str) + 1];
strcpy(tmp, str._str);
if (_str)
delete[] _str;
_str = tmp;
}
return *this;
}
//s1+=s2
String& operator+=(const String& str)
{
//this->append(str.c_str());
return* this;
}
//s1+s2 需要构造新对象
String operator+(const String& str)
{
String tmp(*this);
//tmp->append(str.c_str());
return tmp;
}
~String()
{
if (_str)
delete[] _str;
}
private:
char* _str;
};
int main()
{
String s1("hello");
String s2("hello");
String ret;
ret = s1 +s2;
}
运行结果为:
我们可以看到调用了两次拷贝构造函数,第一次是在调用加法时首先用s1拷贝构造一个对象tmp,第二次因为tmp对象出作用域会被销毁,所以函数返回时再调用一次拷贝构造函数
我们知道调用拷贝构造函数需要先开空间然后拷贝数据,会降低程序运行效率,因此我们需要想办法减少拷贝构造函数的使用次数,因此引入移动赋值和移动构造:
//移动构造
String(String&& str)
:_str(nullptr)
{
cout << "String(String&& str)" << endl;
swap(_str, str._str);
}
//移动赋值
String& operator=(String&& str)
{
cout << "String& operator=(String&& str)" << endl;
swap(_str, str._str);
return* this;
}
当加入移动构造和移动赋值后结果为:
通过结果我们可以发现减少了一次拷贝构造,变成了移动构造之后再移动赋值;s1+s2后的临时对象是要赋值给ret的,当赋值给ret后它就要销毁,因此我们可以将它当成将亡值,在返回的时候先调移动构造函数,将它和临时对象交换;临时对象也是一个将亡值,调用移动赋值,将它的资源和ret的交换,带走不用的资源。移动构造和移动赋值都是让将亡值带走不用的资源,减少了频繁开空间拷贝数据的开销,提高了效率。