使用lambda和std :: function的C++ 11类型推断

Question

我有以下代码片段,虽然完全无关紧要,但它说明了我试图在更通用的代码中使用的模式.

template<typename InT, typename ResT>
ResT unary_apply( InT val, std::function<ResT(InT)> fn )
{
    return fn(val);
}

我希望能够使用函数指针,函子,lambdas等来调用unary_apply:因此使用它std::function来抽象所有.

当我尝试以下列方式使用上述内容时,C++(g ++ 4.7)无法执行相关的类型推断:

double blah = unary_apply( 2, []( int v ) { return 3.0 * v; } );

失败了

src/fun.cpp:147:75: error: no matching function for call to ‘unary_apply(int, test()::<lambda(int)>)’
src/fun.cpp:147:75: note: candidate is:
src/fun.cpp:137:6: note: template<class InT, class ResT> ResT unary_apply(InT, std::function<ResT(InT)>)
src/fun.cpp:137:6: note:   template argument deduction/substitution failed:
src/fun.cpp:147:75: note:   ‘test()::<lambda(int)>’ is not derived from ‘std::function<ResT(double)>’

而且我发现我必须明确指定模板参数(实际上我认为它只是不可推断的返回类型):

double blah = unary_apply<int, double>( 2, []( int v ) { return 3.0 * v; } );

我对C++ 11中的类型推理规则并不熟悉,但上述行为看起来确实合理(我可以看出通过内部机制推断std::function可能是一个很大的问题).我的问题是:是否有可能重新编写unary_apply上面的函数以保持相同的灵活性(就可以作为第二个参数传递的函数/函子的类型而言),同时还提供了更多类型推断的线索,我不必在通话点明确提供模板参数？

Answer 1

更多鸭子应该工作:

template <typename T, typename F>
auto unary_apply(T&& val, F&& func) -> decltype(func(val)) {
    return func(std::forward<T>(val));
}