接受λ的可变模板函数

Question

我试图理解下面代码中的编译器错误。我有一个variadic模板函数，它接受具有指定类型的lambda，试图调用该函数会导致模板由于不匹配而不被视为有效的候选模板。

#include <functional>

template<typename ... ResultTypes>
void executeWithResultHandler(std::function<void (ResultTypes...)> lambda)
{
}

int main(int argc, char **argv)
{
    executeWithResultHandler<int>([] (int arg) {
    });
    return 0;
}

$ c++ -std=c++11 reduction.cpp 
reduction.cpp:10:5: error: no matching function for call to 'executeWithResultHandler'
    executeWithResultHandler<int>([] (int arg) {
    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
reduction.cpp:4:6: note: candidate template ignored: could not match 'function<void (int, type-parameter-0-0...)>' against
      '<lambda at reduction.cpp:10:35>'
void executeWithResultHandler(std::function<void (ResultTypes...)> lambda)
     ^
1 error generated.

如果我将声明更改为不变：

template<typename ResultType>
void executeWithResultHandler(std::function<void (ResultType)> lambda)
{
}

然后它为上面的玩具示例工作，但对于真正的问题，我需要任意的论点。我是不是缺少了什么，或者还有什么方法可以做到这一点？

编辑：这被错误地标记为重复，我相信--受骗者没有回答我所问的问题。这个问题特别与这里的variadic模板问题有关：请注意，当我将模板切换为非variadic时，lambda会像预期的那样正确地转换为std：：function类型。无论参数的数量如何，只要不是以不同的方式处理，这都是正确的。

Answer 1

variadic模板的问题在于，编译器不知道您显式指定的int是否是resulttypes...的完整列表，因此它试图从您给出的参数中推导出可选的其余参数，但显然失败了。这是不同模板参数的一个常见缺陷，并不局限于lambdas。

解决方案总是意味着从编译器中删除此选项，例如。

template<typename ... ResultTypes>
void executeWithResultHandler_impl(std::function<void (ResultTypes...)> lambda)
{
}

template<typename ... ResultTypes, typename F>
void executeWithResultHandler(F&& lambda)
{
    executeWithResultHandler_impl(std::function<void (ResultTypes...)>(lambda));
}