我们应该知道,一个函数接受一个右值引用参数后将变成左值(可以对其取地址),所以如果在函数内部想要继续使用其右值属性,就可以对其实施std::move,将形参左值转换回右值。

对于万能引用,因为其实参可能是右值,也可能是左值(最终形参都是左值),所以对其实施std::forward,实参右值将被转换回右值,实参左值将什么都不做。

至于为什么不能对万能引用实施std::move,主要考虑到其实参可能是左值的情况:如果实参是左值局部变量,当我们将其转换为右值后,且赋值到成员变量上时,成员变量与局部变量是一块内存,随着局部变量被释放,成员变量的值也被改变。

还有一点比较经典的返回值优化案例,代码示例如下:

struct Widget
{
public:
    Widget() {
        std::cout << "默认构造函数" << std::endl;
    }
    Widget( Widget& w) {
        std::cout << "默认拷贝函数" << std::endl;
    }
    void operator=( 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定义生成的,但是紧接着从局部变量到返回值并没有发生拷贝构造,这是因为编译器存在返回值优化。将局部临时变量直接移动到了w1上。

首先若想要编译器帮忙执行返回值优化,函数需要满足两个条件:

  1. 返回的是局部变量对象本身

  2. 局部变量型别与函数返回值型别完全相同

上述代码,完全符合要求,所以编译器将会对其执行返回值优化:将局部变量的值直接移动到返回值存储位置

可能你又会说,万一不满足条件,我们总可以对其执行std::move来主动优化了吧,但劝你还是别这样做,因为编译器的第二点说明了:若函数不满足返回值优化,则会将返回值转换为右值。可见,你想到的,编译器都已经为你做好了。