右值引用，move语义和完美转发

桃扇骨 2022-01-27 13:43 182阅读 0赞

什么是右值；：  
表达式的类型（Type）和值类别（Value category）

B a=B(1,1);  
const B& b = a;  
B&& c = std::move(a);

左值：拥有Id 且不可被移动，可以用取地址运算符& 获取地址。  
亡值：拥有ID，且可移动。  
纯右值：不拥有ID且可以移动。  
泛左值： 左值和亡值。  
右值：右值和亡值。

b 没拥有Id，不可以被移动。

样例：

#include <functional>
    #include <type_traits>
    #include <memory>
    #include <iostream>
    
    int TestFuncInt(int &a ) {
        return 16;
    }
    
    int main(){
    
     std::shared_ptr<std::function<int(int&)>> AF =  std::make_shared<std::function<int(int&)>>(TestFuncInt);
    std::cout << "AF address: "<< AF.get() << '\n';
    std::shared_ptr<std::function<int(int&)>>  AF2;
    
        std::cout << "AF2 >>1>>address: "<< AF2.get() << '\n';
    
        AF2 =  std::make_shared<std::function<int(int&)>>(std::forward<
                    std::function<int(int&)>>(*AF));
    
        std::cout << "AF2 >>2>>address: "<< AF2.get() << '\n';
    
    std::function<int(int&)> && fowawrd_F = std::move(*AF); // 转换成右值,需要使用*AF, 因为左值（AF）不能变成右值
    std::cout << "forward_F address:" << &fowawrd_F << '\n';
    
        ForwardPrintInt(std::forward<std::function<int(int&)>>(fowawrd_F), AF2); // 继续使用右值，forward 完美转发
        std::cout << "AF2 >> 3 >>address: "<< AF2.get() << '\n'; //
    
    
    return 0;
    }

输出：

AF address: 0x7ffb09402a70
    AF2 >>1>>address: 0x0
    AF2 >>2>>address: 0x7ffb09402ac0
    forward_F address:0x7ffb09402a70
    AF2 >> 3 >>address: 0x7ffb09402b40