什么是完美转发?
它指的是函数模板可以将自己的参数“完美”地转发给内部调用的其它函数。
- 完美,表示能保证被转发参数的左、右值属性不变。
“不完美“函数举例:
template<typename T>
void function(T t) // 非引用,形参会对实参进行拷贝。
{ // 对于函数内部来说,t有自己的名称,也可以获取它的存储地址,因此它永远都是左值。
otherdef(t);
}
- 传递给 otherdef() 函数的参数 t 永远都是左值。
C++11实现完美转发:
问题1:怎么解决函数模板参数的左、右值接收问题?
- C++11 标准中规定,通常情况下右值引用形式的参数只能接收右值,不能接收左值。
- 但对于函数模板中使用右值引用语法定义的参数来说,它不再遵守这一规定,既可以接收右值,也可以接收左值(此时的右值引用又被称为“万能引用”)。
template<typename T>
void function(T &&t) //既可以接受左值,又可以接受右值
{
otherdef(t); // t继续传参,在otherdef()中又变成了左值
}
- 记住:在实现完美转发时,只要函数模板的参数类型为 T&&,则 C++ 可以自行准确地判定出实际传入的实参是左值还是右值。
问题2:如何将函数模板接收到的形参连同其左、右值属性,一起传递给被调用的函数?
-
C++11引入了一个模板函数 forword() 。
//实现完美转发的函数模板 template <typename T> void function(T&& t) { otherdef(forward<T>(t)); //将函数模板接收到的形参连同其左、右值属性,一起传递给被调用的函数 }
完整代码示例:
#include <iostream>
using namespace std;
//重载被调用函数,查看完美转发的效果
void otherdef(int & t) {
cout << "lvalue\n";
}
void otherdef(const int & t) {
cout << "rvalue\n";
}
//实现完美转发的函数模板
template <typename T>
void function(T&& t) {
otherdef(forward<T>(t));
}
int main()
{
function(5); // rvalue
int x = 1;
function(x); // lvalue
return 0;
}