右值引用类型是独立于值的,一个右值引用作为函数参数的形参时,在函数内部转发给内部其他函数时,他就变成了一个左值。并不是原来的类型了。如果需要按照参数原来的类型转发给另一个函数,可以使用std::forward()函数,该函数的功能称之为完美转发。
std::forward<T>(t);
当T为左值引用类型(T& )时,t将被转换为T类型的左值;
当T不是左值引用类型(T& )时,t将被转换为T类型的右值;
用一个示例演示forward
#include <iostream>
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<int>(num)会得到一个右值,v是已经命名的,因此v是一个左值
* r :v是已经命名的,因此v是一个左值,move又会转成右值
* r
*/
testForward(forward<int&>(num));
/* l
* r
* l
*/
testForward(forward<int&&>(num));
/* l
* r
* r
*/
return 0;
}
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<int&>(num));forward的模板类型为int&,最终会得到一个左值,函数的形参为未定引用类型T&&被左值初始化后得到一个左值引用类型
printValue(v);实参为左值
printValue(move(v));通过move将左值转换为右值,实参为右值
printValue(forward(v));forward的模板参数为左值引用,最终得到一个左值,实参为左值
testForward(forward<int&&>(num));forward的模板类型为int&&,最终会得到一个右值,函数的形参为未定引用类型T&&被右值初始化后得到一个右值引用类型
printValue(v);已命名的右值v,编译器会视为左值处理,实参为左值
printValue(move(v));已命名的右值编译器会视为左值处理,通过move又将其转换为右值,实参为右值
printValue(forward(v));forward的模板参数为右值引用,最终得到一个右值,实参为右值