c++右值引用及使用

一、几个基本概念

1.1右值

右值表示无法获取地址的对象，有常量值、函数返回值、lambda表达式等。无法获取地址，但不表示其不可改变，当定义了右值的右值引用时就可以更改右值。

1.2 右值引用

c++11中增加了右值引用，右值引用关联到右值时，右值被存储到特定位置，右值引用指向该特定位置，也就是说，右值虽然无法获取地址，但是右值引用是可以获取地址的，该地址表示临时对象的存储位置。语法如下：

int && iii = 10;

1.3 左值引用和右值引用的相互赋值

能将右值引用赋值给左值引用，该左值引用绑定到右值引用指向的对象，在早期的c++中，引用没有左右之分，引入了右值引用之后才被称为左值引用，所以说左值引用其实可以绑定任何对象。这样也就能理解为什么const左值引用能赋予常量值。

int&& iii = 10;
int& ii = iii;      //ii等于10，对ii的改变同样会作用到iii

 

二、右值引用和移动语义

在旧的c++中，出现了很多的不必须要的拷贝，因为在某些情况下，对象拷贝完之后就下来就销毁了。新标准引入了移动操作，减少了很多的复制操作，而右值引用正式为了支持移动操作而引入的新的引用类型。

 

2.1 标准库move函数

根据右值引用的语法规则，不能将右值引用绑定到一个左值上

c++11引入右值引用，并且提供了move函数，用来获得绑定到左值上的右值引用，此函数定义在头文件utility中。

Int &&iii = move(ii)

调用move之后，必须保证除了对ii复制或销毁它外，我们将不再使用它，在调用move之后，我们不能对移动源后对象做任何假设。

 

2.2 模板实参推断和引用

为了理解move函数的实现，首先需要理解模板实参推断和引用。

当左值引用作为参数时，看几个例子：

template<class T> void f1(T&) {}
f1(i)           //i是一个int，模板参数类型T是int
f1(ci)         //ci是一个const int，模板参数T是const int
fl(5)           //错误：传递给一个&参数的实参必须是一个左值

如果函数的参数是const的引用时：

template<class T> void f2(const T&) {}
f2(i)           //i是一个int，模板参数类型T是int，因为非const可以转化为const
f2(ci)         //ci是一个const int，模板参数T是int
f2(5)          //看前面，const的引用可以绑定右值，T是int

当参数是右值引用时，

template<class T> void f3(T&&) {}
f3(5)          // T是int

 

2.3 引用折叠和右值引用参数

按照道理来说，f3（i）是应该不正确的，因为无法将右值引用绑定到一个左值上，但是，c++中有两个正常绑定规则的例外，允许这种绑定。这两个例外规则是move正确工作的基础

例外1：右值引用的类型推断。当我们将一个左值传递给函数的右值引用作为参数时（函数参数为T&&），编译器推断模板类型参数为实参的左值引用类型，，因此，调用f3（i）时，T被推断为int&，而不是int。并且，模板函数中对参数的改变会反映到调用时传入的实参。

通常，我们不能直接定义一个引用的引用，但是同过类型别名（使用typedef）和模板间接定义是可以的。

例外2：引用折叠。当定义了引用的引用时，则这些引用形成了“折叠”，所有的情况下（除了一个例外），引用会折叠成一个普通的左值引用类型。这个例外就是右值引用的右值引用：

l  X&  &&、X&  &&、X&&  &都折叠成X&

l  类型X&&  &&折叠成X&&

//左值和const右值