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