右值引用与移动构造函数.docxVIP

问题背景 #include?iostream?? ??? using?namespace?std;?? ??? vectorint?doubleValues?(const?vectorint?v)?? {?? ????vectorint?new_values(?v.size()?);?? ????for?(auto?itr?=?new_values.begin(),?end_itr?=?new_values.end();?itr?!=?end_itr;?++itr?)?? ????{?? ????????new_values.push_back(?2?*?*itr?);?? ????}?? ????return?new_values;?? }?? ??? int?main()?? {?? ????vectorint?v;?? ????for?(?int?i?=?0;?i??100;?i++?)?? ????{?? ????????v.push_back(?i?);?? ????}?? ????v?=?doubleValues(?v?);?? }?? 先来分析一下上述代码的运行过程。 vectorint?v;?? for?(?int?i?=?0;?i??100;?i++?)?? {?? ????v.push_back(?i?);?? }?? 以上5行语句在栈上新建了一个vector的实例，并在里面放了100个数。 v?=?doubleValues(?v?)?? 这条语句调用函数doubleValues,函数的参数类型的const reference，常量引用，那么在实参形参结合的时候并不会将v复制一份，而是直接传递引用。所以在函数体内部使用的v就是刚才创建的那个vector的实例。 但是 vectorint?new_values(?v.size()?);?? 这条语句新建了一个vector的实例new_values，并且复制了v的所有内容。但这是合理的，因为我们这是要将一个vector中所有的值翻倍，所以我们不应该改变原有的vector的内容。 v?=?doubleValues(?v?);?? 函数执行完之后，new_values中放了翻倍之后的数值，作为函数的返回值返回。但是注意，这个时候doubleValue(v)的调用已经结束。开始执行 = 的语义。 赋值的过程实际上是将返回的vectorint复制一份放入新的内存空间，然后改变v的地址，让v指向这篇内存空间。总的来说，我们刚才新建的那个vector又被复制了一遍。 但我们其实希望v能直接得到函数中复制好的那个vector。在C++11之前，我们只能通过传递指针来实现这个目的。但是指针用多了非常不爽。我们希望有更简单的方法。这就是我们为什么要引入右值引用和转移构造函数的原因。 左值和右值 在说明左值的定义之前，我们可以先看几个左值的例子。 int?a;?? a?=?1;?//?here,?a?is?an?lvalue?? 上述的a就是一个左值。 临时变量可以做左值。同样函数的返回值也可以做左值。 int?x;?? int?getRef?()??? {?? ????????return?x;?? }?? ??? getRef()?=?4;?? 以上就是函数返回值做左值的例子。 其实左值就是指一个拥有地址的表达式。换句话说，左值指向的是一个稳定的内存空间（即可以是在堆上由用户管理的内存空间，也可以是在栈上，离开了一个block就被销毁的内存空间）。上面第二个例子，getRef返回的就是一个全局变量（建立在堆上），所以可以当做左值使用。 与此相反，右值指向的不是一个稳定的内存空间，而是一个临时的空间。比如说下面的例子： int?x;?? int?getVal?()?? {?? ????return?x;?? }?? getVal();?? 这里getVal()得到的就是临时的一个值，没法对它进行赋值。下面的语句就是错的。 getVal()?=?1;//compilation?error?? 所以右值只能够用来给其他的左值赋值。 右值引用 在C++11中，你可以使用const的左值引用来绑定一个右值，比如说： const?int?val?=?getVal();//right?? int?val?=?getVal();//error?? 因为左值引用并不是左值，并没有建立一片稳定的内存空间，所以如果不是const的话你就可以对它的内容进行修改，而右值又不能进行赋值，所以就会出错。因此只能用const的左值引用来绑定一个右值。 在C++11中，我们可以显示地使用“右值引用”来绑定一个右值,语法是。因为指定了是右值引用，所以无论是否const都是正确的。 const?string?na