为何非模板场景下std::forward总是返回右值？完美转发需配合万能引用？

先看你写的实验代码：非模板版本的outer函数里，std::forward<int>(t)的写法没达到预期效果——当传入左值aa时，本该调用接受左值引用的inner，结果却输出了right，这是因为你手动指定了T=int，std::forward<int>会把参数转换成右值引用，直接触发了右值版本的inner。

下面针对你的疑问逐一解释：

1. std::forward是否必须与模板配合使用？ #

不是强制要求，但脱离模板/自动类型推导的场景，std::forward基本失去了它的核心价值。

std::forward的工作逻辑是根据模板参数T的类型，决定把参数转换成左值引用还是右值引用：

• 如果T是左值引用类型（比如int&），std::forward<T>(t)返回左值引用；
• 如果T是普通类型或右值引用类型（比如int或int&&），std::forward<T>(t)返回右值引用。

要是不用模板，你得手动写死T的类型，就像你代码里的outer函数那样，根本没法自动适配传入参数的左/右值属性，也就谈不上“转发”参数的原始类型了。

2. 完美转发是否必须与万能引用结合？ #

是的，完美转发的实现完全依赖**万能引用（模板参数推导场景下的T&&）**和std::forward的配合。

完美转发的核心要求是：转发参数时，完全保留参数原本的左值/右值属性。而万能引用的特性就是在模板推导时自动适配：

• 传入左值，T会被推导成左值引用类型（比如int&）；
• 传入右值，T会被推导成普通非引用类型（比如int）。

再配合std::forward<T>(t)，就能精准把参数的原始值类别传递给内部函数——这就是你代码里outer_templ能正确输出left和right的原因。

要是不用万能引用，你只能像outer那样写重载函数，但会面临两个问题：

• 类型爆炸：参数类型越多，需要写的重载版本就越多；
• 覆盖不全：没法处理带const的类型、自定义类型等复杂情况。

总结 #

• std::forward可以单独使用，但只有在模板配合万能引用的场景下，才能实现“完美转发”的效果；
• 完美转发必须依赖万能引用的自动类型推导，否则只能手动写重载，没法做到通用的参数转发。

实验代码 #

#include <utility>
#include <iostream>

using namespace std;


void inner(int&) {cout << "left" << endl;}
void inner(int&&) {cout << "right" << endl;}

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

void outer(int& t) {
    inner(std::forward<int>(t));
}

void outer(int&& t) {
    inner(std::forward<int>(t));
}



int main() {
    int aa = 10;
    outer(aa);
    outer(10);
    outer_templ(aa);
    outer_templ(10);

    return 0;
}

运行结果 #

right
right
left 
right

内容的提问来源于stack exchange，提问作者coin cheung