C++ 11新特性之完美转发

概述

在C++编程语言的演进过程中，C++ 11标准引入了一系列重大革新，其中之一便是“完美转发”机制。这一特性使得模板函数能够无损地传递任意类型的实参给其他函数或构造函数，从而极大地增强了C++在泛型编程和资源管理方面的灵活性与效率。

完美转发的目标是在模板函数中保持原始参数的所有属性（比如：左值、右值、const/volatile限定等），确保无论传入的是什么类型的参数，都能够正确地传递到后续的函数调用中。这在处理具有复杂类型和引用性质的函数参数时显得尤为重要，尤其是在需要保持移动语义的情况下。

在C++ 98/03标准下，模板参数默认为非引用类型，导致无法直接传递左值引用或者右值引用。同时，由于模板参数推导规则的限制，对于左值引用参数，即使使用typename T&也无法区分出右值引用。因此，为了实现完美转发，C++ 11引入了万能引用和std::forward函数。

万能引用和std::forward

万能引用是指形如T&&的模板参数，在某些情况下可以接受任何类型的引用。这里的T会根据实参的实际类型进行推导，因此，它可以是左值引用也可以是右值引用。当模板参数T被绑定到一个具体的左值上时，T&&会成为一个左值引用。而当它被绑定到右值或者临时对象时，T&&则会成为右值引用。

std::forward<T>(arg)是一个用于完美转发的关键工具，它负责维护实参原有的左值/右值引用属性，并在必要时强制转换为右值引用以便执行移动操作。

在完美转发场景中，通常结合万能引用和std::forward来编写模板函数，以达到无损传递参数的目的。

在下面的示例代码中，Forward模板函数接受一个参数T&& arg，这里的T&&在特定情况下被称为万能引用。在模板实例化时，编译器会根据传入的实际参数类型推断T。如果传入的是左值，则T会被推断为左值引用类型；如果传入的是右值，则T会被推断为非引用类型（即右值引用会退化成普通类型）。因此，在函数内部，arg可以是任何类型的左值引用或右值。

Forward函数体内部调用了Process函数，并通过std::forward<T>(arg)将arg无损地传递给Process函数。std::forward的作用是保持实参原有的左值/右值性质不变，这样当arg被传递给Process时，它仍然保持着原来的引用属性。

在main函数中，当调用Forward(nNumber)时，因为nNumber是一个左值，所以T被推断为int&类型，也就是说arg在这里是一个int&类型的引用，指向变量nNumber。而当调用Forward(66)时，因为66是一个右值常量表达式，所以T被推断为int类型，arg成为一个右值引用（由于传入的是右值，此时实际上是隐式转换为了右值引用int&&），指向一个临时创建的整数对象。

#include <iostream>
using namespace std;template<typename T>
void Process(T arg)
{cout << arg << endl;
}template<typename T>
void Forward(T &&arg)
{// arg是一个万能引用，可以绑定到左值或右值Process(std::forward<T>(arg));
}int main()
{int nNumber = 66;// 在这里，T被推断为int&，arg绑定到左值xForward(nNumber);// 在这里，T被推断为int&&，arg绑定到右值临时对象Forward(66);return 0;
}

应用场景

在C++中，完美转发常用于编写通用工厂函数，使得该函数能够接受任意类型和引用类型的参数，并无损地传递给目标构造函数。

#include <iostream>
#include <memory>
using namespace std;template<typename T, typename... Args>
std::unique_ptr<T> CreateObject(Args&&... args)
{return std::make_unique<T>(std::forward<Args>(args)...);
}class MyClass
{
public:MyClass(int a, const std::string& b) {}MyClass(const MyClass& other) {}MyClass(MyClass&& other) noexcept {}
};int main()
{auto obj1 = CreateObject<MyClass>(66, "CSDN");return 0;
}

在上面的示例代码中，CreateObject函数接收任意数量、任意类型的参数（通过模板参数包Args表示），并使用std::forward<Args>(args)...将这些参数无损地传递给T类型的构造函数。这意味着无论是左值还是右值，甚至是具有特定CV限定符的引用，都能正确地传递给目标构造函数。

当调用CreateObject<MyClass>(66, "CSDN")时，实参66（右值）和"CSDN"（左值引用）会被完美地转发给MyClass的构造函数。如果传入的是右值临时对象，编译器会自动选择移动构造函数。如果是左值引用或普通值，则根据构造函数签名匹配相应的构造方式。