我们知道,一个函数接受一个右值引用参数后将变成左值(可以对其取地址),所以如果在函数内部想要继续使用其右值属性,就可以对其实施std::move,将形参左值转换为右值。
而对于万能引用,因为其实参可能是右值,也可能是左值(最终形参都是左值),所以对其实施std::forward,若实参为右值,经过std::forward处理后,其将被转换回右值,而如果实参是左值将,则什么也不做。
至于为什么不能对万能引用实施std::move,主要考虑到其实参可能是左值的情况,例如在某函数内部,我们将左值局部变量转换为右值后,然后将其移动给某个其他变量后,局部变量将变成一个不确定的值。
还有一点比较经典的返回值优化案例,代码示例如下:
struct Widget
{
public:
Widget() {
std::cout << "默认构造函数" << std::endl;
}
Widget(const Widget& w) {
std::cout << "默认拷贝函数" << std::endl;
}
void operator=(const Widget& w) {
std::cout << "默认赋值函数" << std::endl;
}
Widget(Widget&& w) {
std::cout << "移动拷贝函数" << std::endl;
}
void operator=(Widget&& w) {
std::cout << "移动赋值函数" << std::endl;
}
~Widget() {
std::cout << "析构函数" << std::endl;
}
};
Widget makeWidget() {
Widget w;
return w; // 返回局部变量w,未发生临时变量生成
}
int main()
{
{
Widget w1 = makeWidget(); // 执行移动拷贝
}
system("pause");
}
函数的执行结果将会是什么呢?结果出乎意料:
第一次的默认拷贝应该都知道,是因为makeWidget函数里面局部变量w定义生成的,但是紧接着从局部变量到返回值并没有发生拷贝构造,这是因为编译器存在RVO返回值优化。将局部临时变量直接移动到了w1上。
首先若想要编译器帮忙执行RVO返回值优化,函数需要满足两个条件:
- 返回的是局部变量对象本身
- 局部变量型别与函数返回值型别完全相同
上述代码,完全符合要求,所以编译器将会对其执行返回值优化:将局部变量的值直接移动到返回值存储位置。
可能你又会说,万一不满足条件,我们总可以对其执行std::move来主动优化了吧,但劝你还是别这样做,因为编译器的第二点说明了:若函数不满足返回值优化,则会将返回值转换为右值。可见,你想到的,编译器都已经为你做好了。