18、C++11完美转发及实现方法

什么是完美转发？

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

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

“不完美“函数举例：

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;
}