右值引用
什么是左值和右值
左值是指表达式结束后依然存在的持久对象,右值是指表达式结束时就不再存在的临时对象。
区分左值与右值的便捷方法是:看能不能对表达式取地址,如果能,则为左值,否则为右值。所有的具名变量或对象都是左值,而右值不具名。
在C++11中,右值由两个概念组成:
- 纯右值。比如非引用返回的临时变量、运算表达式产生的临时变量、原是字面量(10、20、‘a’)、和lambda表达式等。
- 将亡值。将亡值是C++11新增的,与右值引用相关的表达式,比如将要被移动的对象、T&&函数返回值、std::move返回值和转换为T&&的类型的转换函数的返回值。
因此我们可以总结:C++11中所有的值必属于左值、将亡值、纯右值之一,其中将亡值、纯右值都属于右值。 同时C++11引入了新的类型,右值引用,标记为T &&。
对比左值、右值
右值引用就是对一个右值进行引用的类型。因为右值没有名字,我们只能通过引用的方式找到它。
强调一下:无论声明左值引用还是右值引用都必须立即进行初始化,因为引用类型本身并不拥有所绑定对象的内存,只是该对象的一个别名。通过右值引用的声明,该右值又“重获新生”,其生命周期与右值引用类型变量的生命周期一样,只要该变量还活着,该右值临时量将会一直存活下去。
universal references 未定的引用类型
这个例子可以看出,param有时是左值,有时是右值,因为在上面的例子中有&&。
未定引用类型(universal references),必须被初始化,它是左值还是右值取决于它的初始化,如果&&被一个左值初始化,它就是一个左值;如果他被一个右值初始化,它就是一个右值。
只有 T &&这样的引用才是未定的引用类型,其他单反具体一点的形式如const T && 、Test<T> && 就都是右值引用。
移动语义
如果希望把一个左值赋值给一个右值引用该怎么做呢?这里引入移动语义std::move()
int a = 10;
int &&b = std::move(a);
std::move可以将一个左值转换成右值
配合右值引用避免深拷贝
move是将对象的状态所有权从一个对象转移到另一个对象,只是转移,没有内存拷贝。 move实际上并不能移动任何东西,**它唯一的功能是将一个左值强制转换为一个右值引用,**使我们可以通过右值引用使用该值,以用于移动语义。强制转换为右值的目的是为了方便实现移动构造
这种move语义是很有用的,比如一个对象中有一些指针资源或者动态数组,在对象的赋值或者拷贝时就不需要拷贝这些资源了。
forward完美转发
现存在一个函数
Template<class T>
void func(T &&val);
根据前面所描述的,这种引用类型既可以对左值引用,亦可以对右值引用。
但要注意,引用以后,这个val值它本质上是一个左值! 看下面例子
int &&a = 10;
int &&b = a;
注意这里,a是一个右值引用,但其本身a也有内存名字,所以a本身是一个左值,再用右值引用引用a这是不对的。
因此我们有了std::forward() 完美转发,这种T &&val 中的val是左值,但如果我们用std::forward (val),就会按照参数原来的类型转发;
int &&a = 10;
int &&b = std::forward<int>(a);
这样是正确的!
大家分析一下下面的打印结果稍作巩固:
template <class T>
void Print(T &t)
{
cout << "L" << t << endl;
}
template <class T>
void Print(T &&t)
{
cout << "R" << t << endl;
}
template <class T>
void func(T &&t)
{
Print(t);
Print(std::move(t));
Print(std::forward<T>(t));
}
int main()
{
func(1);
int x = 10;
int y=20;
func(x);
func(std::forward<int>(y));
return 0;
}
运行结果如下 L1 R1 R1 L10 R10 L10 L20 R20 R20
解释: func(1) :由于1是右值,所以未定的引用类型T&&v被一个右值初始化后变成了一个右值引用,但是在func()函数体内部,调用PrintT(v) 时,v又变成了一个左值(因为在std::forward里它已经变成了一个具名的变量,所以它是一个左值),因此,示例测试结果第一个PrintT被调用,打印出“L1" 调用PrintT(std::forward(v))时,由于std::forward会按参数原来的类型转发,因此,它还是一个右值(这里已经发生了类型推导,所以这里的T&&不是一个未定的引用类型,会调用void PrintT(T&&t)函数打印 “R1”.调用PrintT(std::move(v))是将v变成一个右值(v本身也是右值),因此,它将输出”R1" func(x)未定的引用类型T&&v被一个左值初始化后变成了一个左值引用,因此,在调用PrintT(std::forward(v))时它会被转发到void PrintT(T&t).
收工!!
参考文献
图论C11中的新特性 . 图论教育
|