概念
在C++11中,区别表达式是左值或右值可以做这样的总结:当一个对象被用作右值的时候,用的是对象的值(内容);当对象被用作左值的时候,用的是对象的身份(在内存中的位置)。左值有持久的状态,而右值要么是字面常量,要么是在表达式求值过程中创建的对象,即左值持久,右值短暂
以上的定义来自于C++Primer(5th)第121页和第471页。可能令人困惑,看了接下来的例子就明白了
特性中的应用
decltype关键字
使用关键字decltype的时候,左值和右值有所不同。如果表达式的求值结果是左值,decltype作用于该表达式(不是变量)得到一个引用类型,例如,假定p的类型是int*,因为解引用运算符生成左值,所以decltype(*p)的结果是int&。另一方面,因为取地址运算符生成右值,所以decltype(&p)的结果是int**,也就是说,结果是一个指向整型指针的指针。
lambda表达式
lambda表达式是形如auto f = [ ]{ }的函数。
lambda可指定其捕获列表的类型,[&]表示捕获列表采用隐式引用捕获方式lambda函数体中所使用的来自所在函数的实体都采用引用方式使用,[=]表示采用值捕获方式。
拷贝控制
移动构造函数使用右值引用的形参
引用折叠和实参推断
引用折叠:在所有情况下(除了一个例外),引用会折叠成一个普通的左值引用类型。
注:引用折叠只能应用于间接创建的引用的引用,如类型别名或模板参数。
这两个规则导致了两个重要结果:
如果一个函数参数是一个指向模板类型参数的右值引用(如T&&),则他可以被绑定到一个左值。且
如果实参是一个左值,则推断出的模板实参类型将是一个左值引用,且函数参数将被实例化为一个普通的左值引用参数(T&)
也暗示了:我们可以将任意类型的实参传递给T&&类型的函数参数。
函数重载
我们知道,非常量可以初始化一个底层const,反过来却不行,所以第一种版本可以接收任何能转换成类型X的任何对象。第二种版本只可以传递非const右值,由于精确匹配规则,传递非const右值时,会调用第二种版本,尽管第一种版本也可以接受。
一般来说,我们不需要为函数操作定义接受一个const X&&或是一个普通的X&参数的版本。当我们希望从实参“窃取‘数据时,通常传递一个右值引用。为了达到这一目的,实参不能使const的。类似的,从一个对象进行拷贝的操作,不应该改变该对象,因此,通常不需要定义一个接受一个普通的X&参数的版本。