【12】c++11新特性 —＞forward完美转发

右值引用类型是独立于值的，一个右值引用作为函数参数的形参时，在函数内部转发给内部其他函数时，他就变成了一个左值。并不是原来的类型了。如果需要按照参数原来的类型转发给另一个函数，可以使用std::forward()函数，该函数的功能称之为完美转发。

std::forward<T>(t);
1

当T为左值引用类型（T& ）时，t将被转换为T类型的左值；
当T不是左值引用类型（T& ）时，t将被转换为T类型的右值；

用一个示例演示forward

#include 
using namespace std;

template<typename T>
void printValue(T& t)
{
    cout << "l-value: " << t << endl;
}

template<typename T>
void printValue(T&& t)
{
    cout << "r-value: " << t << endl;
}

template<typename T>
void testForward(T&& v)
{
    printValue(v);
    printValue(move(v));
    printValue(forward<T>(v));
    cout << endl;
}

int main()
{
    testForward(520);
    /* l
    *  r
    *  r
    */ 

   int num = 1314;
   testForward(num);
   /* l
   *  r
   *  l
   */

   testForward(forward<int>(num));
   /* l :int不是左值引用，因此forward(num)会得到一个右值，v是已经命名的，因此v是一个左值
   *  r :v是已经命名的，因此v是一个左值,move又会转成右值
   *  r 
   */
 
   testForward(forward<int&>(num));
    /* l 
    *  r 
    *  l
    */

   testForward(forward<int&&>(num));
   /* l
   *  r
   *  r
   */
    return 0;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58

testForward(520);函数的形参为未定引用类型T&&，实参为右值，初始化后被推导为一个右值引用
printValue(v);已命名的右值v，编译器会视为左值处理，实参为左值
printValue(move(v));已命名的右值编译器会视为左值处理，通过move又将其转换为右值，实参为右值
printValue(forward(v));forward的模板参数为右值引用，最终得到一个右值，实参为``右值`

testForward(num);函数的形参为未定引用类型T&&，实参为左值，初始化后被推导为一个左值引用
printValue(v);实参为左值
printValue(move(v));通过move将左值转换为右值，实参为右值
printValue(forward(v));forward的模板参数为左值引用，最终得到一个左值引用，实参为左值

testForward(forward(num));forward的模板类型为int，最终会得到一个右值，函数的形参为未定引用类型T&&被右值初始化后得到一个右值引用类型
printValue(v);已命名的右值v，编译器会视为左值处理，实参为左值
printValue(move(v));已命名的右值编译器会视为左值处理，通过move又将其转换为右值，实参为右值
printValue(forward(v));forward的模板参数为右值引用，最终得到一个右值，实参为右值

testForward(forward(num));forward的模板类型为int&，最终会得到一个左值，函数的形参为未定引用类型T&&被左值初始化后得到一个左值引用类型
printValue(v);实参为左值
printValue(move(v));通过move将左值转换为右值，实参为右值
printValue(forward(v));forward的模板参数为左值引用，最终得到一个左值，实参为左值

testForward(forward(num));forward的模板类型为int&&，最终会得到一个右值，函数的形参为未定引用类型T&&被右值初始化后得到一个右值引用类型
printValue(v);已命名的右值v，编译器会视为左值处理，实参为左值
printValue(move(v));已命名的右值编译器会视为左值处理，通过move又将其转换为右值，实参为右值
printValue(forward(v));forward的模板参数为右值引用，最终得到一个右值，实参为右值