C++中的完美转发(perfect forwarding)是什么_C++11模板编程中的std::forward

完美转发通过万能引用和std::forward保持参数左右值属性，实现模板中参数的原样传递。1. 模板函数使用T&&结合类型推导形成万能引用；2. 引用折叠规则确保绑定正确；3. std::forward<T>(t)在T为左值引用时返回左值，右值时转为右值；4. 工厂函数如make_unique利用此机制高效构造对象，避免多余拷贝，提升泛型代码性能。

完美转发（Perfect Forwarding）是C++11引入的一项重要机制，它的核心目标是：在模板函数中将参数原封不动地传递给另一个函数，保持其左值/右值属性不变。这意味着如果传入的是左值，转发时就以左值形式传递；如果是右值，则以右值形式传递。这在实现通用工厂函数、包装器等场景中非常关键。

为什么需要完美转发？

考虑一个模板函数，它接收一个参数并调用另一个函数：

template <typename T>
void wrapper(T t) {
    real_function(t); // 总是左值
}

问题在于，无论传进来的是临时对象（右值）还是普通变量（左值），t 都会变成一个左值。这就破坏了移动语义的优化机会。

引用折叠与万能引用（Universal Reference）

完美转发的基础是两个语言特性：引用折叠和万能引用。

立即学习“C++免费学习笔记（深入）”；

当模板参数为 T&& 且由类型推导时（如 template<typename T> void func(T&& t)），这个 T&& 并不表示右值引用，而是一种“万能引用”——它可以绑定到左值和右值，并根据实参推导出合适的引用类型：

• 传入左值 int x; → T 推导为 int& → T&& 变成 int&
• 传入右值 func(42); → T 推导为 int → T&& 变成 int&&

这种行为依赖于引用折叠规则（如 && + & → & 等）来保证正确性。

std::forward 的作用

std::forward 是实现完美转发的关键工具。它有条件地将参数转换为右值引用，仅当原始实参是右值时才触发移动。

STORYD

帮你写出让领导满意的精美文稿

164

查看详情

基本用法：

template <typename T>
void wrapper(T&& t) {
    real_function(std::forward<T>(t));
}

这里 std::forward<T>(t) 的行为取决于 T：

• 如果 T 是 int&（说明原始是左值），std::forward 返回 int& —— 不移动
• 如果 T 是 int（说明原始是右值），std::forward 返回 int&& —— 触发移动

这样就实现了“原样”转发，既不会错误移动左值，也不会错过右值的移动机会。

典型应用场景

最常见的是在工厂函数中创建对象：

template <typename T, typename Arg>
std::unique_ptr<T> make_unique_ptr(Arg&& arg) {
    return std::unique_ptr<T>{ new T{ std::forward<Arg>(arg) } };
}

调用时：

auto p1 = make_unique_ptr<MyClass>(x); // 左值，拷贝构造
auto p2 = make_unique_ptr<MyClass>(Foo()); // 右值，移动构造

std::make_unique 就是这样实现的。

基本上就这些。完美转发让C++模板能够精确保留参数的语义特征，是构建高效泛型代码的基石。掌握 std::forward 和万能引用的配合使用，是现代C++编程的重要技能。

以上就是C++中的完美转发(perfect forwarding)是什么_C++11模板编程中的std::forward的详细内容，更多请关注php中文网其它相关文章！