我目前正在开发一个链接函数对象的库。
我正在创建一个函数模板,它接受一个可调用对象(目前是 std::function),并根据函数的输出和输入类型进行参数化。这是我定义的简化版本:
template <typename In, typename Out>
std::vector<Out> process(std::vector<In> vals, std::function< Out(In) > func)
{
// apply func for each value in vals
return result;
}
我遇到的问题是使用上的。似乎当我传递一个 lambda 时,编译器无法正确推断类型,因此提示该函数不存在:
std::vector<string> strings;
// does NOT compile
auto chars = process(strings,
[]( std::string s ) -> char
{
return s[0]; // return first char
}
);
如果我明确地将 lambda 包装在 std::function
中,程序编译:
std::vector<string> strings;
// DOES compile
auto chars = process(strings,
std::function< char(std::string) >(
[]( std::string s ) -> char
{
return s[0]; // return first char
})
);
我还没有测试传递函数指针或函数对象,但编译器似乎很难推断出 In
和 Out
参数,如果我没有直接传递显式 std::function
对象。
我的问题是:有没有办法解决这个问题,这样我就可以推断出可调用对象的输入/返回类型,而无需在调用站点明确提及它们?
也许在函数类型而不是输入/返回类型上对模板进行参数化?本质上,我需要推断任意可调用对象的 In
和 Out
类型。也许是某种 auto
/decltype
技巧用于模板函数的返回类型?
谢谢。
最佳答案
我认为你可以做的是创建一个中间返回类型推导函数,它使用 decltype
来确定要传递给实际函数对象的参数:
template <typename Out, typename In>
std::vector<Out> process_intern(std::vector<In> vals, std::function< Out(In) > func)
{
// whatever
}
template <typename In, typename Func>
auto process(std::vector<In> vals, Func func) -> std::vector<decltype(func(vals[0]))>
{
return process_intern<decltype(func(vals[0]))>(vals, func);
}
当然,您可能会考虑直接在 process()
中实现逻辑,除非有理由键入删除函数类型。
关于c++ - std::function 模板参数解析,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/42870490/