什么是右值;: 表达式的类型(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