完美转发是指函数模板将参数的左值/右值属性原样传递给被调用函数。std::forward用于模板中的通用引用T&&,保持实参的值类别,确保正确调用重载函数,典型场景如wrapper函数或emplace操作,使用时必须满足T为模板参数且形参为T&&,写法为std::forward(arg),非通用引用或非模板参数不应使用。
在C++中,std::forward 是实现完美转发(Perfect Forwarding)的关键工具。它的主要作用是保持传入参数的左值/右值属性,从而在模板函数中将参数原样传递给另一个函数。正确使用 std::forward 能确保移动语义和拷贝语义按预期工作,避免不必要的拷贝或错误的资源管理。
完美转发指的是:一个函数模板能够将其参数“原封不动”地传递给另一个函数,包括参数的值类别(左值或右值)。例如:
void func(std::string& s);如果模板函数调用这两个重载,就需要根据原始参数是左值还是右值来决定调用哪个版本。std::forward 就是用来实现这种判断的。
std::forward 应该只用于转发模板中的通用引用(也叫万能引用,universal reference),也就是形如 T&& 的参数,且 T 是模板参数。
典型场景出现在函数模板中,尤其是工厂函数、包装器或容器的 emplace 类操作中。
示例:
template这里 T&& 是通用引用,std::forward
这样就能正确调用目标函数的左值或右值重载版本。
1. 不要对非模板参数使用 std::forward
void bad_example(std::string&& s) {这里的 s
是具名的右值引用,它本身是一个左值(因为有名字),应使用 std::move 显式移动,而不是 std::forward。
2. 不要对非通用引用的模板参数使用 std::forward
template指针不是引用,不存在值类别转发的问题。
3. 类型必须匹配模板参数 T
调用 std::forward
满足以下条件时才使用 std::forward:
写法固定为:std::forward
基本上就这些。只要记住:只有在通用引用的转发场景下才用 std::forward,其他情况用 std::move 或直接传递即可。