牢记形参永远是左值,即使它的类型是一个右值引用。
std::move:
直接:转换它的实参到右值
间接:通过move构造函数和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的左值重载版本。