我定义一个如下所示的方法：
template <class ArgT>
void foo(ArgT arg,::boost::function< void(ArgT) > func)
{
func(arg);
}
并使用它 – 例如 – ：
foo(2,[](int i) -> void { cout << i << endl; });
为什么编译器不能推断类型,因为它绝对是一个int？
我得到’void foo(ArgT,boost :: function< void(ArgT)>)’：不能推断’boost :: function< void(ArgT)>‘的模板参数来自’anonymous-namespace’::< lambda0>.
解决方法
虽然C lambdas是严格单一的,它们只是功能对象(又名函子)的简写,一般函子可以是多态的;即他们的呼叫运算符可能被重载或模板化.因此,函子(和,因此,lambdas)不会隐式地转换为模板的std :: function<> (或boost :: function)实例,因为函数的operator()参数类型不能自动推断.
要略微不同的是,您的lambda表达式的自然类型是一个没有参数的构造函数和带有签名void operator()(int)const的operator()的函子.然而,显然这个事实可能是你和我,不能自动推断,ArgT应该解决int,因为lambdas是函子和函子的operator()可以重载和模板.
TL; DR：你想要的是不可能的.
