编辑“︁C++ 完美转发”︁（章节）

= C++完美转发 =

'''完美转发'''（Perfect Forwarding）是C++11引入的一项重要特性，它允许函数模板在传递参数时保持参数的原始类型（包括左值、右值、const/volatile限定等），从而实现高效的参数传递机制。完美转发通常与'''右值引用'''和'''std::forward'''结合使用，是C++现代编程中实现泛型代码的关键技术之一。

== 基本概念 ==

在C++中，函数参数的传递可能涉及拷贝或移动操作，尤其是当参数需要经过多层函数调用时。完美转发的目标是确保参数在传递过程中保持其原始值类别（左值或右值），从而避免不必要的拷贝或移动，提升性能。

=== 为什么需要完美转发？ ===
考虑以下场景：
* 一个函数模板需要将参数传递给另一个函数，但希望保留参数的原始类型（左值或右值）。
* 如果不使用完美转发，可能会导致额外的拷贝（左值）或无法正确传递右值。

完美转发通过结合'''模板推导'''和'''引用折叠规则'''，确保参数类型在传递过程中不被改变。

== 实现机制 ==

完美转发的核心组件是：
1. '''右值引用（T&&）'''：用于接收任意类型的参数（左值或右值）。
2. '''std::forward<T>'''：根据模板参数T的类型决定转发为左值或右值。

=== 引用折叠规则 ===
C++的引用折叠规则决定了当模板参数推导涉及引用时的最终类型：
* `T& &` → `T&`
* `T& &&` → `T&`
* `T&& &` → `T&`
* `T&& &&` → `T&&`

=== std::forward的工作原理 ===
`std::forward`是一个条件转换工具：
* 如果`T`是左值引用（`T&`），`std::forward`返回左值引用。
* 如果`T`是非引用或右值引用（`T`或`T&&`），`std::forward`返回右值引用。

其典型实现如下：
<syntaxhighlight lang="cpp">
template <typename T>
T&& forward(typename std::remove_reference<T>::type& arg) {
    return static_cast<T&&>(arg);
}
</syntaxhighlight>

== 代码示例 ==

=== 基础示例 ===
以下是一个简单的完美转发示例：
<syntaxhighlight lang="cpp">
#include <iostream>
#include <utility>

// 目标函数
void process(int& x) { std::cout << "左值: " << x << std::endl; }
void process(int&& x) { std::cout << "右值: " << x << std::endl; }

// 转发函数模板
template <typename T>
void forwarder(T&& arg) {
    process(std::forward<T>(arg)); // 完美转发
}

int main() {
    int x = 42;
    forwarder(x);       // 传递左值
    forwarder(123);     // 传递右值
}
</syntaxhighlight>

输出：
<pre>
左值: 42
右值: 123
</pre>

解释：
* `forwarder(x)`传递左值，`T`推导为`int&`，`std::forward`转发为左值。
* `forwarder(123)`传递右值，`T`推导为`int`，`std::forward`转发为右值。

=== 实际应用：工厂函数 ===
完美转发常用于实现泛型工厂函数：
<syntaxhighlight lang="cpp">
#include <memory>

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

class Widget {
public:
    Widget(int a, double b) { /* ... */ }
};

int main() {
    auto ptr = make_unique<Widget>(42, 3.14); // 完美转发构造参数
}
</syntaxhighlight>

== 高级主题 ==

=== 可变参数模板与完美转发 ===
完美转发常与可变参数模板结合，实现任意数量参数的转发：
<syntaxhighlight lang="cpp">
template <typename... Args>
void logger(Args&&... args) {
    log_function(std::forward<Args>(args)...);
}
</syntaxhighlight>

=== 完美转发与SFINAE ===
完美转发可能受SFINAE（替换失败不是错误）规则影响，需注意模板推导的边界情况。

== 注意事项 ==
1. 不要对局部变量使用`std::forward`，除非明确需要转发。
2. 完美转发可能引发'''悬垂引用'''问题，需确保参数生命周期。
3. 某些情况下，完美转发会导致代码可读性下降，需权衡使用。

== 总结 ==
完美转发是C++11引入的强大特性，通过`std::forward`和右值引用实现参数的高效传递。它在泛型编程、工厂模式、回调机制等场景中广泛应用，是编写高效现代C++代码的重要工具。

<mermaid>
graph LR
    A[原始参数] -->|左值/右值| B[函数模板 T&&]
    B --> C[std::forward<T>]
    C --> D[目标函数: 保持值类别]
</mermaid>

== 参见 ==
* [[C++右值引用]]
* [[C++移动语义]]
* [[C++模板]]

[[Category:编程语言]]
[[Category:C++]]
[[Category:C++ 引用]]