实现完美转发需结合std::forward与通用引用。通用引用是模板中形如t&&的参数,能绑定各类值;std::forward用于保留原值类别,确保转发时保持左右值属性;标准写法为template void wrapper(t&& arg) { some_func(std::forward(arg)); },常见于构造函数参数转发、泛型包装器等场景;注意点包括仅在类型推导下t&&才是通用引用,且std::forward不移动数据仅转换类型。
实现完美转发的关键在于结合使用
和通用引用(也叫万能引用,universal reference)。这在编写模板函数时特别重要,尤其当你希望函数能够“原样传递”参数给另一个函数时。
什么是通用引用?
通用引用是 C++ 模板中的一种特殊引用形式,通常写成
,但只有在类型推导发生的情况下才是通用引用。例如:
这里的
就是一个通用引用,它可以绑定到左值、右值、const 或非 const 对象。
为什么需要 std::forward?
如果你只是把
直接传给另一个函数,比如:
那无论你传进来的是不是一个右值,在
看来它都是一个左值。这就丢失了原始参数的“值类别”信息(是左值还是右值),也就无法实现完美转发。
这时候就需要
来保留原始的值类别信息。
C知道
CSDN推出的一款AI技术问答工具
下载
正确的做法是:
这样,如果调用者传进来的是一个右值,
会被当作右值处理;如果是左值,就当作左值处理。
完美转发的标准写法
一个标准的完美转发函数模板通常像这样:
这段代码的意思是:不管用户传进来的是左值还是右值,都以原来的形式转发给
。
常见场景举例:
转发构造函数参数给内部对象的构造
实现泛型包装器(如智能指针工厂函数)
构建通用容器或适配器时保留原始语义
注意点:
只有在模板类型推导的前提下,
才是通用引用。
如果你写成
但函数参数是
且没有类型推导(比如
),那就不是通用引用了。
不会真正“移动”数据,它只是做静态_cast 到合适的类型,真正的移动/拷贝发生在后续操作中。
总结一下怎么用
写模板函数时,用
接收参数(确保是通用引用)
在转发的时候用
这样就能保持原始参数的左右值属性,做到完美转发
基本上就这些,看起来不复杂,但在实际写模板时很容易忽略细节。
std::forwardT&&template
void func(T&& arg); argargsome_other_function(arg);some_other_functionstd::forwardsome_other_function(std::forward(arg)); argtemplate
void wrapper(T&& arg) {
some_func(std::forward(arg));
} some_funcT&&template T&&func(...) std::forwardT&&std::forward(变量名) 