牢记形参永远是左值,即使它的类型是一个右值引用。
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的左值重载版本。
本文解释了std::move和std::forward在C++中的作用,如何正确使用它们进行对象移动,以及何时转换左值为右值以利用重载函数。特别关注在模板函数中的完美转发策略。

1384

被折叠的 条评论
为什么被折叠?



