这里运行后,我们看到调用了一次移动构造和一次移动赋值。
因为如果是用一个已经存在的对象接收,编译器就没办法优化了。mj::to_string函数中会先用str生成构造生成一个临时对象,但是我们可以看到,编译器很聪明的在这里把str识别成了右值,调用了移动构造。然后在把这个临时对象做为mj::to_string函数调用的返回值赋值给ret,这里调用的移动赋值。(直接资源交换)
总结:
2.对于插入右值数据时,也可以减少拷贝
只有左值引用时的插入接口:
入接口函数也增加了右值引用版本:
会直接进行资源交换,将将亡值和新创建的节点中的数据进行资源交换。
4.万能引用和完美转发
讲到这里,我们埋的伏笔也就要出来了:有左值引用,const左值引用;右值引用,但却没有提到const右值引用。
需要注意的是右值是不能取地址的,但是给右值取别名后,会导致右值被存储到特定位置,且可
以取到该位置的地址。(右值被右值引用以后就成为了左值)
例如: 不能取字面量10的地址,但是rr1引用后,可以对rr1取地址,也可以修改rr1。如果不想rr1被修改,可以用const int&& rr1 去引用。
int main() { double x = 1.1, y = 2.2; int&& rr1 = 10; const double&& rr2 = x + y; rr1++; //rr2++; //不可以修改 cout << &rr1 << endl; cout << &rr2 << endl; return 0; }
当然这个的具体应用场景在这里:
例如:
这里的移动构造和赋值构造,如果参数设为右值引用,那么作为右值如果不可以被修改,那资源的交换就不可以进行,所以这就是为什么,右值引用右值以后,就成为了左值。
情况二:
在我们自己模拟实现的list中,也实现插入接口是右值引用:
这就是在传右值时,右值引用会改变右值的特性,将其变为左值,那么需要不断move(左值)。
所以我们会想,有没有这么一个东西,自动去识别我们传的参数是左值还是右值,不会因为右值引用而改变右值属性。我们继续往下看
1.万能引用
当并不明确规定传右值或者左值时:
万能引用在这里起到了用处,可以随便传。(也叫做折叠)模板中的&&不是右值引用,而是为了万能引用,可以折叠。当传左值时,就把两个&&折叠为一个。同理可得
但是在继续调用Fun时,还是会因为属性导致结果并不是我们需要的:
走到调用fun(t)时,还是会因为右值引用导致右值变为左值,所以又出来了完美转发:
template<typename T> void PerfectForward(T&& t) { // t可能是左值,可能是右值 //Fun(move(t)); // 完美转发,保持他属性 Fun(std::forward<T>(t)); //t++; }
很好的保持了属性。
所以在这里:
总结
右值引用的两个价值;
万能引用和完美转发
我们下期再见!