模板化函数或 auto 关键字未推断出 Lamba 类型

Question

我很难理解这一点。我知道我的编译器（Visual Studio）知道 lambda 是什么“类型”，因为有时它显示它是一个 lambda，但是我的模板没有推断它，auto 关键字也没有。

template <typename T> void templatedFunc(T (*funcPtr)(void)) { }

int main()
{
    templatedFunc([] () { return 6;} );     // Error, no template matches argument list

    int (*funcPtr)(void) = [] () { return 6;};
    templatedFunc(funcPtr);                 // Works fine

    auto p = [] () { return 6; };
    templatedFunc(p);                       // Error, no template matches

    auto p = [] () -> int { return 6; };    // Trying with explicit return type
    templatedFunc(p)                        // Error, still doesn't work
}

我真的不明白，任何帮助都会很棒。当我将鼠标悬停在变量“p”上时，它的类型显示为 int()。我可以使这项工作的唯一方法是明确声明一个指针，如：

int (*ptr) (void) = [] () { return 6;};

我不断收到的错误是：

No instance of function template matches the argument list. Argument types are lambda []int () -> int

谢谢。

Answer 1

闭包对象（适当的类型）有一个隐式转换到函数指针类型，但它本身不是函数指针。模板参数推导不考虑隐式转换；你所拥有的不是与你的函数模板签名匹配的模式。

第一个代码示例有效，因为您正在提前执行到函数指针的转换。

编写接受可调用的函数模板的更好方法是根本不使用函数指针，而是对可调用对象本身进行参数化：

template <typename T> void templatedFunc(T f) { f(); }

Answer 2

您可以使用一元 + 将无状态 lambda 强制转换为函数指针，然后它将匹配您的函数模板：

templatedFunc(+[] () { return 6; });

Answer 3

这段代码产生的对象类型：

[] () { return 6;}

是一个名字难以形容的班级（我们称它为“Ftoompsk”以纪念年轻人）

this：T (*funcPtr)(void) 是一个非常容易表达的对象类型 - 它是一个指向接受 void 并返回 T 的函数的指针。

因为“Ftoumpsk”不捕获任何变量，它可能会被转换为函数指针。但是，在模板参数推导过程中不会发生这种转换。

您可以通过以下方式强制转换：

auto p = +[] () { return 6; };
templatedFunc(p);

因为一元加号导致在参数扣除之前进行转换。然而，这是一个可怕的 hack，一旦您修改 lambda 以捕获参数，它就会失败。

听从 Kerrek 的建议。如图所示重构 templatedFunc。