主要解决内嵌函数,或者递归调用的函数,形参类型为右值引用类型的情况
转发,实际上涉及到了一个函数嵌套的问题。
void f(/*参数*/)
{
g(/*参数转发*/)
}
当g
的参数,接受的是右值的时候。
由于引用折叠,传进来的参数只能是左值。所以,需要对函数进行处理。
也就是使传入g
的参数,保持为右值。
这样就需要转型,同时需要判断出参数的类型。因此,还是使用type_traits
技术
inline constexpr _Ty &&forward(
typename remove_reference<_Ty>::type &_Arg) _NOEXCEPT
{ // forward an lvalue as either an lvalue or an rvalue
return (static_cast<_Ty &&>(_Arg));
}
接受一个引用类型,然后返回该类型的右值引用。
同时重载为
template <class _Ty>
inline constexpr _Ty forward(
typename remove_reference<_Ty>::type &&_Arg) _NOEXCEPT
{ // forward an rvalue as an rvalue
static_assert(!is_lvalue_reference<_Ty>::value, "bad forward call");
return (static_cast<_Ty &&>(_Arg));
}
这个函数,则是传入右值,而返回一个值类型的。
网友评论