标签:其他 template 使用 type amp pen 转发 增加 std
某些函数需要将其一个或多个实参连同类型不变的转发给其他函数,这种情况下我们需要保持被转发实参的所有性质,包括实参类型是否是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 = 0; func(subfunc, i, 2); // 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 = 0; func(subfunc, i, 2); // 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 = 0; func(subfunc, i, 2); // 错误,不能从一个左值实例化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 = 0; func(subfunc, i, 2); // 正确
标签:其他 template 使用 type amp pen 转发 增加 std
原文地址:http://www.cnblogs.com/zoneofmine/p/7440707.html