完美转发（Perfect Forwarding）是 C++11 一个重要的特性，允许函数模板将参数 完美地 转发给其它函数。这意味着不仅能够准确地传递参数的值，还能保持被转发参数的左值或右值属性不变，从而避免不必要的拷贝或移动操作。

一、什么是完美转发

完美转发 是指在函数模板中，将参数传递给另一个函数时，能够 完美地保持 参数的值类别（左值或右值）和类型，从而确保被调用函数接收到的参数与原始参数完全一致。

完美转发解决了以下问题：

  • 保持参数的左值或右值属性：防止在转发过程中丢失参数的值类别，避免额外的拷贝或移动操作。
  • 通用性：使函数模板能够处理各种类型的参数，包括左值、右值、常量、非常量等。

二、左值、右值与右值引用

在深入讨论完美转发之前，先回顾一下 左值（lvalue）、右值（rvalue） 和 右值引用（rvalue reference） 的概念。

2.1 左值（Lvalue）和右值（Rvalue）

  • 左值（Lvalue）：表示具有 持久存储 的对象，可以获取其地址。通常是变量、数组元素、对象成员等。
  • 右值（Rvalue）：表示 临时对象 或 值，在表达式结束后就不再存在。通常是字面量、临时对象、表达式的结果等。

2.2 右值引用（Rvalue Reference）

C++11 引入了 右值引用，语法为 Type&&，用于引用右值。

特点：

  • 只能绑定右值：右值引用只能绑定到右值（临时对象）。
  • 支持移动语义：通过右值引用，可以实现移动构造和移动赋值，避免不必要的拷贝。

2.3 引用折叠规则

在模板中使用引用时，可能会发生 引用折叠。引用折叠遵循以下规则：

  • & & 折叠为 &
  • & && 折叠为 &
  • && & 折叠为 &
  • && && 折叠为 &&

三、模板参数的引用折叠

在函数模板中，使用 模板类型参数的右值引用，可以实现对参数的 完美捕获，既能接受左值，又能接受右值。

3.1 万能引用（Universal Reference）

当函数模板的参数形式为 T&&，并且 T 是一个模板类型参数时，T&& 被称为 万能引用（Universal Reference）。

特点：

  • 万能引用 可以同时绑定左值和右值。
  • 实际引用类型取决于模板参数的类型推导结果。

3.2 引用折叠示例

1
2

template<typename T>
void func(T&& param);
  • 如果传入左值 lvalue，则 T 被推导为 Lvalue&，T&& 经过引用折叠后为 Lvalue&。
  • 如果传入右值 rvalue，则 T 被推导为 Rvalue，T&& 保持为 Rvalue&&。

四、实现完美转发的方法

要在函数模板中实现完美转发，需要满足以下两个条件：

  1. 参数类型声明为万能引用：template<typename T> void func(T&& param);
  2. 使用 std::forward 转发参数：std::forward<T>(param);

五、std::forward 的作用

std::forward 是一个函数模板，用于保持参数的值类别（左值或右值），将参数完美地转发给另一个函数。

5.1 std::forward 的实现

std::forward 的基本实现如下：

1
2
3
4

template<typename T>
T&& forward(typename std::remove_reference<T>::type& param) noexcept {
    return static_cast<T&&>(param);
}

5.2 使用 std::forward 的原因

  • 保持值类别：std::forward 能够根据模板参数 T 的类型，决定是否将参数转化为左值引用或右值引用。
  • 避免不必要的拷贝或移动：确保被调用函数接收到的参数与原始参数一致，避免性能损失。

六、示例代码解析

下面通过一个示例来具体说明如何实现完美转发。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22

#include <iostream>
#include <utility> // 包含 std::forward

void func1(int& ii) { // 接受左值引用
    std::cout << "参数是左值：" << ii << std::endl;
}

void func1(int&& ii) { // 接受右值引用
    std::cout << "参数是右值：" << ii << std::endl;
}

template<typename T>
void func(T&& ii) {
    func1(std::forward<T>(ii));
}

int main() {
    int ii = 3;
    func(ii);  // 实参是左值
    func(8);   // 实参是右值
    return 0;
}

6.1 代码分析

  • func1 函数重载：

    • void func1(int& ii)：接受左值引用。
    • void func1(int&& ii)：接受右值引用。

  • 模板函数 func：

    • 模板参数为 T，函数参数为 T&& ii，即万能引用。
    • 使用 std::forward<T>(ii) 将参数转发给 func1。

  • main 函数：

    • 定义了一个左值 int ii = 3;。
    • 调用 func(ii);，ii 为左值。
      • T 被推导为 int&，T&& 经过引用折叠为 int&。
      • std::forward<int&>(ii) 返回 int&，保持左值属性。
      • 调用 func1(int& ii)，输出 “参数是左值：3”。
    • 调用 func(8);，8 为右值。
      • T 被推导为 int，T&& 为 int&&。
      • std::forward<int>(ii) 返回 int&&，保持右值属性。
      • 调用 func1(int&& ii)，输出 “参数是右值：8”。

6.2 运行结果

1
2

参数是左值：3
参数是右值：8

七、完美转发的应用场景

7.1 通用的工厂函数

在编写通用的工厂函数时，完美转发可以避免不必要的拷贝或移动。

1
2
3
4

template<typename T, typename... Args>
std::shared_ptr<T> make_shared_ptr(Args&&... args) {
    return std::shared_ptr<T>(new T(std::forward<Args>(args)...));
}

7.2 适配器模式

在实现函数适配器时，完美转发可以确保参数的值类别不变。

1
2
3
4

template<typename Func, typename... Args>
auto wrapper(Func&& func, Args&&... args) {
    return func(std::forward<Args>(args)...);
}

八、注意事项和最佳实践

8.1 仅在万能引用中使用 std::forward

  • std::forward 应该只在参数类型为万能引用时使用。
  • 不要滥用 std::forward，否则可能导致意外的行为。

8.2 避免重复使用被转发的参数

  • 被 std::forward 转发的参数在转发后应避免再次使用，特别是当参数为右值时。

8.3 理解引用折叠

  • 理解引用折叠规则对于正确使用万能引用和完美转发至关重要。

8.4 区分左值引用和右值引用

  • 在模板编程中，清楚地区分左值引用、右值引用和万能引用，避免混淆。

九、总结

完美转发是 C++11 中引入的强大特性，使得函数模板能够完美地转发参数，保持参数的值类别和类型不变。通过使用万能引用和 std::forward，我们可以编写高效、通用的模板函数，避免不必要的拷贝和移动操作。