左值引用和右值引用
左值和右值:
左值都可以取地址,右值不能取地址
左值可以出现在赋值符号两侧,const左值不能被修改
右值不能出现在赋值符号左边
注意右值被引用后,对别名可以取地址和修改,不常用。
左值引用和右值引用:
左值引用只能引用左值,不能引用右值
const左值引用可以引用左值和右值
右值引用只能引用右值,不能引用左值
右值引用可以引用move后的左值
使用move()时候需要谨慎,因为他会移走资源
引用存在的意义
引用存在的意义就是在传参和传返回值时减少拷贝来提高效率。
但如果函数返回值是临时变量,不能返回引用。
引用做返回值,要求返回的内容出了该函数后生命周期未结束。
如果返回的内容出了函数就销毁了,那么这个内容的引用当然没有意义,这时候只能使用传值返回。
传值返回时会构造一个临时变量
不考虑编译器优化,上图的情景就是两次拷贝,如果拷贝的类型比较复杂,效率就很低。实际上编译器会优化成一次拷贝。
string to_string(int val)
{
string str;
while (val)
{
int i = val % 10;
str += ('0' + i);
val /= 10;
}
reverse(str.begin(), str.end());
return str;
}
再比如这个函数,执行
cout<<to_string(123);
如果编译器不优化,这是一次深拷贝,把返回值拷贝给临时对象。但是有了移动语义就不是这样了
移动语义
内置类型的表达式的右值叫纯右值
自定义类型表达式的右值叫做将亡值
将亡值顾名思义,即将消亡的值,移动语义就是把将亡值的资源转义走,从而减少拷贝。
上文这个函数
string to_string(int val)
{
string str;
while (val)
{
int i = val % 10;
str += ('0' + i);
val /= 10;
}
reverse(str.begin(), str.end());
return str;
}
cout<<to_string(123);
虽然str本质上是左值,但编译器会优化,把str识别为右值(将亡值)。
没有移动语义时,str深拷贝给临时变量,临时变量创建新的资源然后str销毁并且释放资源
移动语义就是把将亡值str的资源直接转移到临时变量中,减少了拷贝构造,提高效率
这是移动语义在传值返回中的作用。
移动语义在参数传递中也能减少拷贝,例如移动构造和移动赋值
拷贝构造和拷贝赋值函数中都有深拷贝
例如:
// 拷贝构造
string(const string& s)
:_str(nullptr)
, _size(0)
, _capacity(0)
{
string tmp(s._str);
swap(tmp);
}
// 拷贝赋值
string& operator=(const string& s)
{
string tmp(s);
swap(tmp);
return *this;
}
移动构造和移动赋值:如果传入的参数是将亡值,直接转移将亡值中的资源,不用深拷贝
例如:
// 移动构造
string(string&& s)
:_str(nullptr)
, _size(0)
,_capacity(0)
{
//this->swap(s);
swap(s);
}
// 移动赋值
string& operator=(string&& s)
{
swap(s);
return *this;
}
所以对于这段程序
string to_string(int val)
{
string str;
while (val)
{
int i = val % 10;
str += ('0' + i);
val /= 10;
}
reverse(str.begin(), str.end());
return str;
}
如果执行:
string s=to_string(123);
如果编译器没有优化,先用返回值str深拷贝给临时对象,临时对象是右值,调用移动构造构造s
编译器优化的结果就是把str识别为右值,先移动构造临时对象,再移动构造s,最终连续的移动构造优化成一次移动构造。
这就是移动语义在传参时的作用。
C++11容器文档中可以看到移动构造和移动赋值
vector为例:
插入接口增加了右值引用版本
swap的效率也提高了
总之,移动语义减少了拷贝,提高了效率
C++11新增默认成员函数
默认成员函数新增移动构造函数和移动赋值运算符重载
1.如果你没有自己实现移动构造函数,且没有实现析构函数 、拷贝构造、拷贝赋值重载。那么编译器会自动生成一个默认移动构造。默认生成的移动构造函数,对于内置类型成员会执行逐成员按字节拷贝,自定义类型成员如果实现了移动构造就调用,没有实现就调用拷贝构造。
2.默认移动赋值运算符重载和默认移动构造完全类似。
3.如果你提供了移动构造或者移动赋值,编译器不会自动提供拷贝构造和拷贝赋值。
万能引用和完美转发
模板里引用参数&&,左右值都可以传,叫做万能引用,但是传入的右值会退化成左值
template<typename T>
void fun(T&& t) {
cout<<"完美"<<endl;
}
如果希望传入的右值保持右值的属性,需要用到完美转发