什么是完美转发?

它指的是函数模板可以将自己的参数“完美”地转发给内部调用的其它函数。

完美,表示能保证被转发参数的左、右值属性不变。

“不完美“函数举例:

template<typename T>
void function(T t) // 非引用,形参会对实参进行拷贝。
{ // 对于函数内部来说,t有自己的名称,也可以获取它的存储地址,因此它永远都是左值。

otherdef(t);

}

1
2
3
4
5

传递给 otherdef() 函数的参数 t 永远都是左值。

C++11实现完美转发:

问题1:怎么解决函数模板参数的左、右值接收问题?

C++11 标准中规定,通常情况下右值引用形式的参数只能接收右值,不能接收左值。
    但对于函数模板中使用右值引用语法定义的参数来说,它不再遵守这一规定,既可以接收右值,也可以接收左值(此时的右值引用又被称为“万能引用”)。

template<typename T>
void function(T &&t) //既可以接受左值,又可以接受右值
{

otherdef(t);   // t继续传参,在otherdef()中又变成了左值

}

1
2
3
4
5

记住:在实现完美转发时,只要函数模板的参数类型为 T&&,则 C++ 可以自行准确地判定出实际传入的实参是左值还是右值。

问题2:如何将函数模板接收到的形参连同其左、右值属性,一起传递给被调用的函数?

C++11引入了一个模板函数 forword() 。

//实现完美转发的函数模板
template <typename T>
void function(T&& t) {
    otherdef(forward<T>(t));  //将函数模板接收到的形参连同其左、右值属性,一起传递给被调用的函数 
}
    1
    2
    3
    4
    5

完整代码示例:

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;

}

https://blog.csdn.net/Aced96/...版权


Connie
4 声望0 粉丝

« 上一篇
封装总结