模板参数推导/替换失败，lambda作为函数指针

Template argument deduction/substitution failed with lambda as function pointer

本文关键字：lambda 指针 函数 失败 替换 参数      更新时间：2023-10-16

我想知道为什么在下面的代码中，编译器不能使用lambda作为函数foo((的参数(模板参数推导/替换失败(，而一个简单的函数可以工作：

template<class ...Args>
void foo(int (*)(Args...))
{
}
int bar(int)
{
return 0;
}
int main() {
//foo([](int) { return 0; }); // error
foo(bar);
return 0;
}

英特尔编译器(版本18.0.3(

template.cxx(12): error: no instance of function template "foo" matches the argument list
argument types are: (lambda [](int)->int)
foo([](int) { return 0; }); // error
^
template.cxx(2): note: this candidate was rejected because at least one template argument could not be deduced
void foo(int (*)(Args...))

有什么想法吗？

模板参数推导不考虑隐式转换。

类型推导不考虑隐式转换(除了上面列出的类型调整(：这是重载解决的工作，稍后会发生。

您可以显式地将lambda转换为函数指针，例如，您可以使用static_cast、

foo(static_cast<int(*)(int)>([](int) { return 0; }));

或operator+、

foo(+[](int) { return 0; });
相关文章：