std::函数模板参数解析

std::function template argument resolution

本文关键字：函数模板 std 参数      更新时间：2023-10-16

我目前正在开发一个库，链接函数对象。

我正在创建一个函数模板，它接受一个可调用对象(目前为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
})
);

我还没有测试传递函数指针或函数对象，但如果我不直接传递显式std::function对象，编译器似乎很难推导出In和Out参数。

我的问题是：有没有一种方法可以绕过这一点，这样我就可以推断出可调用对象的输入/返回类型，而无需在调用站点明确提及它们？

也许可以参数化函数类型上的模板，而不是输入/返回类型？本质上，我需要推导任意可调用函数的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()中实现逻辑，除非有理由键入擦除函数类型。

有没有办法绕过这一点，这样我就可以推断出可调用对象的输入/返回类型，而无需在调用站点明确提及它们？

否。模板参数推导中不考虑用户定义的转换。编译器必须想出In和Out，这样参数的类型和自变量的类型必须(几乎)完全匹配，但在这种情况下它们永远不会匹配。

也许在函数类型上参数化模板，而不是输入/返回类型

是的，这就是通常要做的(例如，看看标准库算法)

相关文章：