Item 23:理解std::move和std::forward

本文解释了std::move和std::forward在C++中的作用,如何正确使用它们进行对象移动,以及何时转换左值为右值以利用重载函数。特别关注在模板函数中的完美转发策略。


牢记形参永远是左值,即使它的类型是一个右值引用。

std::move本质是强制的型别转换,无条件的将实参强制转换成右值。

std::forward仅当实参使用右值完成初始化是,才执行向右值的强制型别转换。


std::move:
  本质是转换它的实参到右值
  在作为参数时调用移动构造函数,或赋值时调用移动赋值函数,获取实参的内存,并移除实参对内存的引用。

第一,不要在你希望能移动对象的时候,声明他们为const。对const对象的移动请求会悄无声息的被转化为拷贝操作。
第二,std::move不仅不移动任何东西,而且它也不保证它执行转换的对象可以被移动。
关于std::move,你能确保的唯一一件事就是将它应用到一个对象上,你能够得到一个右值。

std::forward:

完美转发指的是函数模板(泛型编程中遇到的问题)可以将自己的参数“完美”地转发给内部调用的其它函数。
所谓完美,即不仅能准确地转发参数的值,还能保证被转发参数的左、右值属性不变。

std::forward是一个有条件的转换:它的实参用右值初始化时,转换为一个右值。

void process(const Widget& lvalArg);        //处理左值
void process(Widget&& rvalArg);             //处理右值

template<typename T>                        //用以转发param到process的模板
void logAndProcess(T&& param)
{
    auto now =                              //获取现在时间
        std::chrono::system_clock::now();
    
    makeLogEntry("Calling 'process'", now);
    process(std::forward<T>(param));
}

形参param是左值!!!

如果不使用forward,传递给process函数时,永远传递的是左值,调用的是void process(const Widget& lvalArg);

如果使用forward,
1. 当且仅当传递给函数logAndProcess的用以初始化param的实参是一个右值时,param会被转换为一个右值。
在函数logAndProcess内部对函数process的调用,都会因此调用函数process的右值重载版本。

2. 传递给函数logAndProcess的用以初始化param的实参是一个左值时,
在函数logAndProcess内部对函数process的调用,会调用函数process的左值重载版本。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值