int

}右值也是一个表示数据的表达式如字面常量、表达式返回值、函数返回值不能是左值引用返回。

右值可以出现在赋值符号的右边但是不能出现在赋值符号的左边右值不能取地址。

int

C11中新增了右值引用的特性为了区分把C11之前的引用称为左值引用。

左值引用

但是有const修饰左值引用就能保证被引用的数据不会被修改了所以const左值引用可以引用右值

int

10;//10是右值,不能被左值引用//const左值引用既可以引用左值也可引用右值const

int

move函数是C11提供的一个函数被move后的左值就能被赋值给右值引用

int

为什么要有const右值引用我们知道右值引用不可改变那const右值引用有什么作用

右值不可以取地址但是右值取别名后会导致右值被存储到特定位置且可以取到该位置的地址也就是说不能取字面量10的地址但是rr1引用后可以对rr1取地址如果不想rr1被修改那就可以用const

int

y;rr1;//可以被修改//rr2;//不可以被修改coutrr1endl;coutrr2endl;return

}所以const右值引用的意义在于右值不可修改不可取地址右值引用之后开空间存储下来对于引用而言是左值可以取地址可以改变这是为了移动构造去移动换取资源具体移动构造可见后面。

1.左值引用意义

1.做函数参数减少拷贝提高效率可做输出型参数2.做函数返回值减少拷贝提高效率。

引用返回可修改返回对象

如果函数的返回的是一个局部的对象该对象出了函数作用域就被销毁了这种情况下就不能用左值引用作为返回值了只能以传值的方式返回深拷贝这是左值引用的缺陷。

templateclass

hwc::to_string(-1234);此时如果调用就会调用string的拷贝构造函数

**所以C11自然就会出手引出了右值引用右值引用的意义之一就是为了补齐左值引用的这个短板传值返回的拷贝问题。

**其二对于插入一些插入右值数据也可以减少拷贝。

2.右值引用和移动语义

移动构造移动构造也是一个构造函数该构造函数的参数是右值引用移动构造实际就是把传入右值的资源转移过来避免了深拷贝所以称为移动构造就是移动别人的资源来进行构造

//拷贝构造

tmp(s._str);swap(tmp);//this-swap(tmp)}//移动构造string(string

s)//右值引用:_str(nullptr),_size(0),_capacity(0){cout

string(const

s2(s1);//拷贝构造//move之后变成右值。

将亡值hwc::string

没有移动构造之前拷贝构造采用const左值引用来接收所以无论是左值还是右值都会调用拷贝构造

有了移动构造之后采用的是右值引用接收如果传入右值就会调用移动构造

string的拷贝构造是深拷贝而移动构造是通过swap函数移动资源所以调用移动构造的代价消耗更小

如果返回局部对象时会先用这个局部对象拷贝构造出一个临时对象然后再用这个临时对象来拷贝构造我们接收返回值的对象

编译器会优化成只需要一次拷贝构造

ps:右值引用swap()的是将亡值拷贝构造中不能直接swap,因为对象不是将亡值

int

移动赋值就是一个赋值运算符重载函数参数是右值引用类型移动赋值就是将传入右值的资源转移过来这样就避免了深拷贝这也是移动赋值的由来。

//operatorstring

没有移动赋值前原先operator采用的是const左值引用接收参数所以无论赋值时传入左值还是右值都会调用原来的operator。

但是移动赋值采用了右值引用接收参数所以如果赋值时传入的是右值那么调用的就是移动赋值函数。

而string原来的operator是深拷贝而移动赋值通过swap把资源进行转移代价比原先的operator代价小。

to_string返回局部对象时调用移动构造生成一个临时对象然后在调用移动赋值将临时对象资源转移到接收返回值的对象上这个过程调用了两个函数但却只是资源的移动不需要进行深拷贝。

右值引用延长生命周期资源延长了

总结右值引用和左值引用减少拷贝的原理不太一样。

左值引用是取别名直接起作用右值引用是间接起作用实现移动构造和移动赋值在拷贝的场景中如果是右值将亡值转移资源。

3.容器新增

我们来看一看区别在hwc命名空间里list插入接口没有实现右值引用

string类提供了移动构造函数并且容器的push_back接口提供了右值引用版本如果push_back函数传入的参数string对象也是一个右值那么push_back函数就可以通过string的移动构造函数来进行资源的转移避免了深拷贝提高效率。

三、万能引用

模板中并不是右值引用而是万能引用既能接收左值也能接收右值同时也能接收const左值、const右值

//万能引用

1;PerfectForward(x);//左值PerfectForward(10);//右值PerfectForward(move(x));//右值const

int

20;PerfectForward(y);//const左值PerfectForward(move(y));//const右值return

}万能引用会根据传入实参的类型进行推导如果传入的实参是一个左值那么这里的形参t就是左值引用如果传入的实参是一个右值那么这里的形参t就是右值引用同时t是可以的而如果加上const左值、cosnt右值t就不可以。

举个例子

void

1;PerfectForward(x);//左值PerfectForward(10);//右值右值引用再传递时属性是左值PerfectForward(move(x));//右值const

int

20;PerfectForward(y);//const左值PerfectForward(move(y));//const右值return

}PerfectForward传递的参数分别是左值、右值、右值、const左值、const右值但是结果都是左值

这是因为右值引用后会导致右值被存储到特定的位置此时右值具有左值的属性可以被取地址也可以被修改所以PerfectForward函数调用Func函数会将t识别为左值。

而如果想要在传递参数的过程之中保持右值的属性这就需要用到完美转发了。

四、完美转发

如果想要在参数传递的过程中保持其原有的属性则需要在传参时调用forward函数

void

1;PerfectForward(x);//左值PerfectForward(10);//右值右值引用再传递时属性是左值PerfectForward(move(x));//右值const

int

20;PerfectForward(y);//const左值PerfectForward(move(y));//const右值return

}用完美转发给简化list提供右值引用的push_back与insert接口

namespace

_data(forwardT(x))//完美转发{}};templateclass

class

_pnode;__list_iterator(node*p):_pnode(p){}//......};templateclass

Tclass

iterator(_head-_next);}iterator

end(){return

0;}list(){empty_initialize();}//左值引用void

push_back(const

forwardT(x));//完美转发}//左值引用iterator

insert(iterator

iterator(newnode);}//右值引用iterator

insert(iterator

iterator(newnode);}private:node*

_head;size_t

s1(111111);lt.push_back(s1);//左值——深拷贝lt.push_back(hwc::string(222222));lt.push_back(3333333);return

}本篇结束…