函数模板中T&&结合std::forward实现完美转发,避免不必要的拷贝。1. T&&为万能引用,可推导为左值或右值引用;2. 使用std::forward保留参数值类别;3. 命名后的右值引用变为左值,需std::forward恢复原有属性;4. 常用于工厂函数和emplace类操作,实现高效资源管理。
在C++11中,函数模板结合右值引用可以实现更高效的资源管理和通用的转发机制。核心用途包括完美转发和避免不必要的拷贝。关键在于使用
T&&
这种形式,并配合
std::forward
。
理解万能引用(Universal Reference)
在函数模板中,形如
T&&
的参数并不总是表示右值引用,而是一种“万能引用”——它可以推导为左值引用或右值引用,取决于传入参数的类型。
例如:
template <typename T> void func(T&& param) { // param 可能是左值引用或右值引用 }
调用时:
立即学习“C++免费学习笔记(深入)”;
-
func(42);
→
T
推导为
,
param
类型是
int&amp;&
-
int x = 10; func(x);
→
T
推导为
int&
,
param
类型是
int&
实现完美转发
当需要将参数原样传递给另一个函数时,应使用
std::forward
保留其左值/右值属性。
template <typename T> void wrapper(T&& arg) { some_function(std::forward<T>(arg)); }
这样,如果传入的是右值,
std::forward
会将其转为右值,触发移动语义;如果是左值,则保持左值引用。
避免误用右值引用导致复制
如果不使用
std::forward
,即使参数是右值引用,命名后的变量也会变成左值。
错误示例:
template <typename T> void bad_forward(T&& arg) { another_func(arg); // 即使传入右值,这里也是左值! }
正确做法是始终对
T&&
参数使用
std::forward<T>
进行转发。
实际应用场景:构造函数转发
常见于工厂函数或容器的
emplace
操作:
template <typename T, typename Arg> std::unique_ptr<T> make_unique(Arg&& arg) { return std::unique_ptr<T>(new T(std::forward<Arg>(arg))); }
基本上就这些。掌握
T&&
的推导规则和
std::forward
的使用时机,就能在模板中高效利用右值引用。不复杂但容易忽略细节。
评论(已关闭)
评论已关闭