1.左值引用和右值引用的概念
什么是左值?什么是左值引用?
左值是一个表示数据的表达式(如变量名或解引用的指针),我们可以获取它的地址+可以对它赋值,左值可以出现赋值符号的左边,右值不能出现在赋值符号左边。定义时const修饰符后的左值,不能给他赋值,但是可以取它的地址。左值引用就是给左值的引用,给左值取别名。
什么是右值?什么是右值引用?右值也是一个表示数据的表达式,如:字面常量、表达式返回值,函数返回值(这个不能是左值引用返回)等等,右值可以出现在赋值符号的右边,但是不能出现出现在赋值符号的左边,右值不能取地址。右值引用就是对右值的引用,给右值取别名。
2.左值引用与右值引用比较
左值引用总结:
左值引用只能引用左值,不能引用右值。
但是const左值引用既可引用左值,也可引用右值。
右值引用总结:右值引用只能右值,不能引用左值。
但是右值引用可以move以后的左值。
cpp
int b = 10;
int&& a = 10;
int&& c = move(b);
3.为什么引入右值引用
左值引用的短板:
但是当函数返回对象是一个局部变量,出了函数作用域就不存在了,就不能使用左值引用返回,传值返回会导致至少1次拷贝构造(如果是一些旧一点的编译器可能是两次拷贝构造)。
右值引用和移动语义解决上述问题:移动构造,就是窃取别人的资源来构造自己。试想一下如果是数据量庞大的自定义类型,能够尽量减少拷贝,将会提高语言效率。
cpp
//移动构造
xxx(xxx&& s)
{
cout << "xxx(xxx&& s) -- 移动语义" << endl;
swap(s);
//例如直接交换指针的指向,因为右值一般生命周期快要结束了
//就像武林高手临终前传授功力给主角,主角就减少了修炼成本
}
//移动赋值
xxx& operator=(xxx&& s)
{
cout << "xxx& operator=(xxx&& s) -- 移动语义" << endl;
swap(s);
return *this;
}
4.完美转发
模板中的&&不代表右值引用,而是万能引用,其既能接收左值又能接收右值。
模板的万能引用只是提供了能够接收同时接收左值引用和右值引用的能力,
但是引用类型的唯一作用就是限制了接收的类型,后续使用中都退化成了左值,
我们希望能够在传递过程中保持它的左值或者右值的属性, 就需要用我们下面学习的完美转发。
完美转发前:
完美转发后: