完美转发(perfect forwarding)、universal reference

首先要分清:

C++里的值只有两种值:左值、右值。—— 其本质应该是内存中存储的值/instance分两种:一种是持久的,一种是“短暂的”

只有两种引用: 左值引用、右值引用。 ——引用,就是这个内存地址的助记符(别名)。

1.  左值引用 需绑定、也只能绑定 左值。 

  同理,右值引用 需绑定、也只能绑定 右值

2.  有两种特别的引用既可以绑定左值、又可以绑定右值。分别是:

  ①const T&   

  ② universal reference : “T&&  t在发生自动类型推断的时候,它是未定的引用类型”—— 指的是template的推断/ auto推断

 3.  int&&  t = getTemp();     则“getTemp()”是右值

  但用t绑定该右值后,该右值的生命周期就被延长(和t的生命周期一样)。

  注意,此时t已经是持久的值,而且可以对其取地址的。(赋值也没编译报错~)

  ★ 此时: ① t是右值引用   ② t是一个左值  “绑定了右值的右值引用本身 是一个左值”   【这符合 “ 左值持久、右值短暂”】


再看函数调用:

  传参的实质是把实参传递给形参。 其实质的过程却可以细分一下!

    实参 ——>  形参

    第1种: 值 ——>  引用

        【左值】  int i = 1; foo(int& m);  ——>   foo(i); 则“传参” 是用形参的引用 绑定实参这个值。(是引用去绑定值的过程

        【右值】    T GetTemp();  foo(T&& m);  ——>  foo( GetTemp() );    (此时在函数内 可以 move(m) 后 接管这个右值的临时资源了)

    第2种:  值 ——>  值   

        【左值】   int t = 1;    foo(int p);  ——>   foo(t); 则“传参”是用 t 拷贝值给 p。  (值拷贝—— 前提同下。可通过move(lvalue) 将左值转换为右值,以进行移动

         【右值】  T GetTemp();  foo(T  m);  ——>  foo( GetTemp() );         (值移动)   ——前提: 该类型已定义了 const T&的拷贝构造  、 T&&的移动构造

    

    第3种:  引用 ——> 值

         【左值(引用) —> 左值】 int i =1;  int& t = i;  foo(int m);   ——>   foo(t);    ★ 对于左值来说,使用左值、左值引用 在传递时 没有区别。都是指 那个持久的值。  相当于第2种“左值——>左值” 

        【右值引用(左值——> 左值】 T&&  t = GetTemp();   foo(T m);  ——>  foo(t);      相当于第2种“左值——>左值” :  m是临时对象“GetTemp()”的拷贝

    第3种: 引用 ——> 引用

        【左值(引用) —> 左值引用】 int i =1;  int& t = i;  foo(int& m);   ——>   foo(t); 则“传参”就相当于  int& ref2 = ref1;

        【右值引用(左值——>  左值引用/ const 左值引用 / universal reference】    T&&  t = GetTemp();   foo(T&& m);    ——>   foo(t)法匹配,“右值引用m 无法绑定 左值t”

                                        T&&  t = GetTemp();   foo(T& m);  ——>  foo( t);  


函数返回时  T GetTemp() { return T();}   会发生  T() 这个右值到 “GetTemp()” 这个临时变量的移动。

那么, 函数调用传参时, 会发生实参到形参的移动吗 ???

    肯定会,比如unique_ptr, iostream 这种只能移动的东西。  

 当然可以:和返回时一样,去 右值去适配 T的构造就行:  GetTemp() ——> T      ,  即    foo(T  t) ;   调用 foo(GetTemp())

猜你喜欢

转载自www.cnblogs.com/nanlan2017/p/9255319.html
今日推荐