1. 什么是左值与右值:
-
左值:指表达式结束后依然存在的持久对象。可以取地址,可以通过内置(不包含重载) & 来获取地址,我们可以将一个右值赋给左值。
-
右值:表达式结束就不再存在的临时对象。不可取地址,不可以通过内置(不包含重载) & 来获取地址。由于右值不可取地址,因此我们不能将任何值赋给右值。
比如使用 = 进行赋值时,= 的左边必须为左值,右值只能出现在 = 的右边。
2. 左值引用和右值引用
左值引用:
左值引用可以区分为常量左值引用和非常量左值引用。
- 非常量左值引用只能绑定到非常量左值,不能绑定到常量左值和右值。如果绑定到非常量右值,就有可能指向一个已经被销毁的对象。
- 常量左值引用能绑定到非常量左值,常量左值和右值;
右值引用:
- 右值引用 (Rvalue Referene) 是 C++ 11 中引入的新特性 , && 作为右值引用的声明符。通过右值引用的声明,该右值相当于 “重获新生”,其生命周期与右值引用类型变量的生命周期一样, 只要该变量还活着,该右值临时量将会一直存活下去。
- 但是被引用的右值还是一个右值,保留右值的特性(只能出现在=右边)。而声明为右值引用的变量是左值
int && a = b; // b是一个临时变量 。那么b还是右值,a是左值。
- 右值引用只能绑定到右值。如果要想绑定一个左值到右值引用,通常需要std::move()将左值强制转换为右值。
3. 作用是什么?
右值引用两个主要功能:
-
消除两个对象交互时不必要的对象拷贝,节省运算存储资源,提高效率。
右值引用具有移动语义,将资源(堆、系统对象等)通过浅拷贝从一个对象转移到另一个对象这样就能减少不必要的临时对象的创建、拷贝以及销毁。比如类的移动构造函数和移动赋值运算符。
-
能够更简洁明确地定义泛型函数
auto&&或者函数参数类型自动推导的T&&是一个未定的引用类型,它可能是左值引用也可能是右值引用类型,这取决于初始化的值类型。这种变化叫做引用折叠。
- 实现移动语意(move()) 和 完美转发(forward())
4. 什么是引用折叠?
引用折叠的规律:
多重引用最终折叠成左值引用或者右值引用。
有两种引用(左值和右值),所以就有四种可能的引用+引用的组合(左值 + 左值,左值 + 右值,右值 + 左值,右值 + 右值)。如果引用的引用出现在允许的语境,该双重引用会折叠成单个引用,规则如下:
- 所有的右值引用叠加到右值引用上仍然还是一个右值引用;T&& && 折叠成 T&&
- 所有的其他引用类型之间的叠加都将变成左值引用。T& &&,T&& &, T&& 折叠成 T&。
也就是说,往auto && x
中传入右值就是右值引用,传入非右值就是左值引用。这样的规律在模板类型推导中也同样适用。但是只适用于这种非定的引用类型。
再看看下面两个反例:
{
....
int x = 0, y = 0;
decltype(x)&& v3 = y; // error.因为decltype(x)&&不是非定的引用类型,而是右值引用,只能绑定右值
...
template<typename T>
void fun(const T&& param);
int x=10;
fun(x); // error, x是左值,const T&& param不是未定引用类型,是一个右值引用。
...
}
5. 移动语意std::move()
和完美转发std::forward()
是如何实现的?
std::move()
:可以将左值转换为右值。使用这个函数并不能移动任何东西,而是和移动构造函数一样都具有移动语义,将对象的状态或者所有权从一个对象转移到另一个对象,只是转移,没有内存拷贝
template <typename T>
typename remove_reference<T>::type&& move(T&& t)
{
return static_cast<typename remove_reference<T>::type &&>(t);
}
实现流程:
- 首先利用万能模板将传入的参数 t。传入右值t就是右值引用,传入左值就是左值引用。
- 通过 remove_refrence 移除引用,得到参数 t 具体的类型 type;
- 最后通过 static_cast<> 进行强制类型转换,返回 type && 右值引用。
list<string> ls;
ls.push_back("hello");
ls.push_back("world");
......
list<string> ls1 = ls; // 需要拷贝, 效率低
list<string> ls2 = move(ls);//ls2通过移动赋值运算符构造,
ls在内存中的资源被ls2拿走,而ls被置为空。
std::forward()
: 保证了在转发时左值右值特性不会被更改,实现完美转发。主要解决引用函数参数为右值时,传进来之后有了变量名就变成了左值。
forward 与 move 最大的区别是,move 在进行类型转换时,利用 remove_reference 将外层的引用全部去掉,这样可以将 t 强制转换为指定类型的右值引用,而 forward 则利用引用折叠的技巧,巧妙的保留了变量原有的属性。