C++11的左值引用与右值引用总结

时间：2021-07-12 16:29:14

概念

在C++11中，区别表达式是左值或右值可以做这样的总结：当一个对象被用作右值的时候，用的是对象的值（内容）；当对象被用作左值的时候，用的是对象的身份（在内存中的位置）。左值有持久的状态，而右值要么是字面常量，要么是在表达式求值过程中创建的对象，即左值持久，右值短暂

以上的定义来自于C++Primer（5th）第121页和第471页。可能令人困惑，看了接下来的例子就明白了

[cpp] view plain copy
  1. int &&rr1 = 42;//正确，字面常量是右值
  2. int &&rr2 = rr1;//错误，表达式rr1是左值

特性中的应用

decltype关键字

使用关键字decltype的时候，左值和右值有所不同。如果表达式的求值结果是左值，decltype作用于该表达式（不是变量）得到一个引用类型，例如，假定p的类型是int*，因为解引用运算符生成左值，所以decltype（*p）的结果是int&。另一方面，因为取地址运算符生成右值，所以decltype（&p)的结果是int**，也就是说，结果是一个指向整型指针的指针。

lambda表达式

lambda表达式是形如auto f = [ ]{ }的函数。

lambda可指定其捕获列表的类型，[&]表示捕获列表采用隐式引用捕获方式lambda函数体中所使用的来自所在函数的实体都采用引用方式使用，[=]表示采用值捕获方式。

[cpp] view plain copy
  1. /*f1的sz是隐式值捕获，f2的sz是隐式引用捕获
  2. auto f1 = [=](const string &s)
  3. { return s.size() >=sz; }
  4. auto f2 = [&](const string &s)
  5. { return s.size() >=sz; }

拷贝控制

移动构造函数使用右值引用的形参

[cpp] view plain copy
  1. class Foo
  2. {
  3. //移动构造函数
  4. Foo(Foo&&);
  5. };

引用折叠和实参推断

    实参推断，按照实参和形参匹配的规则。
    引用折叠:
           通常情况下，我们不能将一个右值引用绑定到一个左值上，但是C++语言在正常绑定规则外定义了两个例外规则，允许这种绑定。

第一个例外规则影响右值引用的参数推断如何进行：当我们将一个左值传递给函数的右值引用参数，且此右值引用指向模板类型参数（如T&&)，编译器推断模板类型参数为实参的左值引用类型。

[cpp] view plain copy
  1. //编译器推断T类型是int&（左值引用），而非int
  2. template <typename T> void f(T&&);
  3. int i = 0;
  4. f（i）;

引用折叠：在所有情况下（除了一个例外），引用会折叠成一个普通的左值引用类型。

[html] view plain copy
  1. 即：对于一个给定类型X
  2. <ol>
  3. <li>X& & ,X& && ,X&& &都折叠成类型X&<li>
  4. <li>类型X&& &&折叠成X&&<li>
  5. </ol>

注：引用折叠只能应用于间接创建的引用的引用，如类型别名或模板参数。

这两个规则导致了两个重要结果：

如果一个函数参数是一个指向模板类型参数的右值引用（如T&&)，则他可以被绑定到一个左值。且

如果实参是一个左值，则推断出的模板实参类型将是一个左值引用，且函数参数将被实例化为一个普通的左值引用参数（T&)

也暗示了：我们可以将任意类型的实参传递给T&&类型的函数参数。

函数重载

    重载函数定义两个版本，一个版本接受一个指向const的左值引用，第二个版本接受一个指定非const的右值引用。即可接受所有可转换成当前类型的对象

[cpp] view plain copy
  1. void Foo(const X&);
  2. void Foo(X&&);

我们知道，非常量可以初始化一个底层const，反过来却不行，所以第一种版本可以接收任何能转换成类型X的任何对象。第二种版本只可以传递非const右值，由于精确匹配规则，传递非const右值时，会调用第二种版本，尽管第一种版本也可以接受。

一般来说，我们不需要为函数操作定义接受一个const X&&或是一个普通的X&参数的版本。当我们希望从实参“窃取‘数据时，通常传递一个右值引用。为了达到这一目的，实参不能使const的。类似的，从一个对象进行拷贝的操作，不应该改变该对象，因此，通常不需要定义一个接受一个普通的X&参数的版本。

相关文章