C++ 万能引用与完美转发

前言：在之前的文章中，我们介绍过右值引用的一些概念及用法，那万能引用又是什么呢？它与完美转发存在什么联系呢？今天，我们来一起剖析一下C++中的万能引用与完美转发。

一、背景

二、万能引用

[2.1 概念](#2.1 概念)

[2.2 引用折叠](#2.2 引用折叠)

三、完美转发

[3.1 为什么需要完美转发](#3.1 为什么需要完美转发)

[3.2 std::forward](#3.2 std::forward)

四、完整示例

一、背景

试想，如果你想拥有一个模板函数，它既能处理左值，又能处理右值，其实这件事儿并不容易。若函数按值传递，则会引起不必要的拷贝；若只按左值引用传递，则无法接收临时对象(右值)。我们通常会采用多个重载函数来分别处理左值和右值参数，但这样会使得代码变得冗长，且缺乏灵活性。

C++11 引入了万能引用 和完美转发 机制，使得模板函数能够以统一的方式接收任意类型的参数，并将其原封不动地转发给其他函数，同时保留参数的原始值类别（左值或右值）和 const/volatile 等属性。这一机制是现代 C++ 高效泛型编程的基石，被广泛应用于标准库和通用库的实现。

二、万能引用

2.1 概念

在讲万能引用之前，我们先简单回忆一下左值引用与右值引用。

左值引用：如 int & ，绑定到左值。

右值引用：如 int && ，绑定到右值。

万能引用是一种特殊的引用类型，它既能绑定到左值，也能绑定到右值。其写法为：

cpp 复制代码

T &&

注意，这里 T 是模板类型参数，不是一个具体的类型。我们看一下下面两者的区别：

cpp 复制代码

template <typename T>
void f(T&& var);  // var 是万能引用

void g(int&& a); // a 是右值引用，只能绑定右值

2.2 引用折叠

万能引用的"万能"特性，主要依赖于C++11中的引用折叠 机制。如果模板参数 T 被推导为引用类型时，T&& 就会变成"引用的引用"状态。C++ 标准规定，编译器会按照以下规则将多重引用折叠成单一引用：

cpp 复制代码

T& & → T&
T& && → T&
T&& & → T&
T&& && → T&&

简单来说，只要其中有一个是左值引用，最终结果就是左值引用；只有两个都是右值引用时，结果才是右值引用。

我们来看一个例子**：**

cpp 复制代码

template <typename T>
void func(T&& var) {
    // var 是万能引用
}

int main() {
    int x = 5;
    func(x);   // x 是左值，T 推导为 int&，var 类型为 int& && → int&
    func(5);  //  5 右值，T 推导为 int，var 类型为 int&&
}

通过引用折叠，T&& 能够实现对左值和右值的统一接收。

三、完美转发

完美转发， 是指将函数模板的参数原封不动 地传递给另一个函数的能力。这里的"原封不动"不仅包括参数的值，还包括参数的值类别（左值或右值）、const/volatile 属性等。简单来说，完美转发确保了被转发的参数与原始调用时的参数具有相同的类型和属性。

3.1 为什么需要完美转发

如果没有完美转发，那么，模板函数内部会把所有参数都变成左值（因为参数有名字），例如：

cpp 复制代码

template<typename T>
void wrapper(T&& arg) {
    // arg 有名字，在函数体内被认为是左值！
    foo(arg);  // 即使传入右值，这里也变成左值传给 foo函数
}
// ❌ 这违背了我们的初衷

3.2 std::forward

std::forward是实现完美转发的一个核心要素，它的作用是将参数原封不动地传递到下一个函数。

对于上述代码，我们不妨试着使用std::forward将参数arg按照原类型传递给foo函数：

cpp 复制代码

template<typename T>
void wrapper(T&& arg) {
    foo(std::forward<T>(arg));  // ✅ 保持原值类别
}

cpp 复制代码

std::forward<T>(arg) 的逻辑：
若 T 推导为 int&（左值传入），forward 返回 int&
若 T 推导为 int 或 int&&（右值传入），forward 返回 int&&（强制恢复右值属性）

万能引用 T&& 让模板同时能够接受左值与右值；而s**td::forward<T>** 则在泛型代码中无损传递参数的值类别，避免有名字的变量退化为左值。两者结合实现了完美转发！

四、完整示例

我们将上述的一些代码，整合在一起，演示一个完整的万能引用+完美转发的示例：

cpp 复制代码

#include <iostream>
#include <utility>  // std::forward头文件

void process(int& x)  { std::cout << "左值: " << x << "\n"; }
void process(int&& x) { std::cout << "右值: " << x << "\n"; }

// 万能引用 + 完美转发
template<typename T>
void wrapper(T&& arg) {
    process(std::forward<T>(arg));
}

int main() {
    int a = 2;
    
    wrapper(a);           // 传入左值 → 调用 process(int&)
    wrapper(20);          // 传入右值字面量 → 调用 process(int&&)
    wrapper(std::move(a)); // 传入右值 → 调用 process(int&&)
}

注：std:move()的作用是将左值转换为右值引用。