C++11 std::forward和std::move

std::forward<T>(u)有两个参数：T 与 u。当T为左值引用类型时，u将被转换为T类型的左值，否则u将被转换为T类型右值。如此定义std::forward是为了在使用右值引用参数的函数模板中解决参数的完美转发问题。

std::move是无条件的转为右值引用，而std::forward是有条件的转为右值引用，更准确的说叫做Perfect forwarding(完美转发)，而std::forward里面蕴含着的条件则是Reference Collapsing(引用折叠)。

std::move不move任何东西。std::forward也不转发任何东西。在运行时，他们什么都不做。不产生可执行代码，一个比特的代码也不产生。

std::move和std::forward只是执行转换的函数(确切的说应该是函数模板)。std::move无条件的将它的参数转换成一个右值，而std::forward当特定的条件满足时，才会执行它的转换。

std::move表现为无条件的右值转换，就其本身而已，它不会移动任何东西。 std::forward仅当参数被右值绑定时，才会把参数转换为右值。 std::move和std::forward在运行时不做任何事情。

 

forward的转换规则为:

 模板参数为引用类型T、T&&时，返回右值引用

 模板参数为引用类型T&时，返回左值引用。

 

例子：

#include <iostream>
#include <type_traits>
using namespace std;
 
template<typename T>
void print(T& t){
    cout << "lvalue" << endl;
}
template<typename T>
void print(T&& t){
    cout << "rvalue" << endl;
}

template<typename T>
void TestForward(T && v){
    print(v);
    print(std::forward<T>(v));
    print(std::move(v));
    print(v);
}

 
int main()
{
	cout <<"---------0--------"<< endl;
    TestForward(1);

    cout <<"---------1--------"<< endl;
    int c = 1;
    TestForward(c);

    cout <<"---------2--------"<< endl;
    int a = 1;
    int &&x = std::move(a);
    TestForward(std::forward<int &&>(x));

    cout <<"---------3--------"<< endl;
    int a1 = 1;
    int &b = a1;
    TestForward(b);

    cout <<"---------4--------"<< endl;
    int a2 =1 ;
    TestForward(std::move(a2));

    cout <<"---------5--------"<< endl;
    int a3 = 1;
    int &&y = std::move(a3);
    TestForward(y);
}

打印结果：

---------0--------
lvalue
rvalue
rvalue
lvalue
---------1--------
lvalue
lvalue
rvalue
lvalue
---------2--------
lvalue
rvalue
rvalue
lvalue
---------3--------
lvalue
lvalue
rvalue
lvalue
---------4--------
lvalue
rvalue
rvalue
lvalue
---------5--------
lvalue
lvalue
rvalue
lvalue

 

文章参考引用：

C++11 新特性 forward 完美转发 释疑

C++11中std::forward的使用