C++ Primer 笔记——转发

　　某些函数需要将其一个或多个实参连同类型不变的转发给其他函数，这种情况下我们需要保持被转发实参的所有性质，包括实参类型是否是const的以及实参是左值还是右值。

template <typename F, typename T1, typename T2>
void func(F f, T1 t1, T2 t2)
{
    f(t2, t1);
}

void subfunc(int v1, int &v2)
{
    ++v2;
}

int i = ;
func(subfunc, i, );    // i并没有增加

我们可以使用右值引用来解决上述问题：

template <typename F, typename T1, typename T2>
void func(F f, T1 &&t1, T2 &&t2)
{
    f(t2, t1);
}

void subfunc(int v1, int &v2)
{
    ++v2;
}

int i = ;
func(subfunc, i, );    // i增加了,而且也可以传递const

但是函数func对于接受一个左值引用的函数工作的很好，但不能接受右值引用参数的函数：

template <typename F, typename T1, typename T2>
void func(F f, T1 &&t1, T2 &&t2)
{
    f(t2, t1);
}

void subfunc(int &&v1, int &v2)
{
    ++v2;
}

int i = ;
func(subfunc, i, );    // 错误，不能从一个左值实例化int&&

为了解决上述问题，我们可以使用一个名为forward的新标准库设施来传递参数，它能保持原始实参的类型。forward必须通过显示模板实参来调用。forward返回该显示实参类型的右值引用。

template <typename F, typename T1, typename T2>
void func(F f, T1 &&t1, T2 &&t2)
{
    f(std::forward<T2>(t2), std::forward<T1>(t1));    // 通过引用折叠，左值还是左值，右值还是右值
}

void subfunc(int &&v1, int &v2)
{
    ++v2;
}

int i = ;
func(subfunc, i, );    // 正确