错误“lambda 不是从 'std::function' 派生的

Question

我正在尝试将 lambda 传递给通过可变参数模板定义的 std::function，但这似乎不适用于 gcc。

有什么原因，为什么这段代码不能在 gcc 7.4.0 上运行但在 Visual Studio 2017 上正常运行？有什么方法可以让它在 gcc 上也能正常工作，而无需先手动将其转换为 std::function？

#include <functional>

template<class ...TParams>
int TestFunction(std::function<void(TParams...)> )
{
    return 0;
}

void Test()
{
    auto fce = [](int /*n*/, double /*d*/) {};

    //This doesn't work with error no matching function for call to 'TestFunction<int, double>(Test()::<lambda(int, double)>&)'
    TestFunction<int, double>(fce);

    //but this works correctly
    std::function<void(int, double)> fce2 = fce;
    TestFunction<int, double>(fce2);
}

我收到以下错误：

main.cpp: In function 'void Test()':
main.cpp:116:31: error: no matching function for call to 'TestFunction<int, double>(Test()::<lambda(int, double)>&)'
  TestFunction<int, double>(fce);
                               ^
main.cpp:106:5: note: candidate: template<class ... TParams> int TestFunction(std::function<void(TParams ...)>)
 int TestFunction(std::function<void(TParams...)> fceCallback)
     ^~~~~~~~~~~~
main.cpp:106:5: note:   template argument deduction/substitution failed:
main.cpp:116:31: note:   'Test()::<lambda(int, double)>' is not derived from 'std::function<void(TParams ...)>'
  TestFunction<int, double>(fce);
                               ^

Answer 1

尾随模板参数包总是留有进一步推导的空间。指定前两个参数并不会阻止您执行以下操作：

std::function<void(int, double, char)> fce3 ;
TestFunction<int, double>(fce3);

在这种情况下，包将包含int, double, char，因为字符是从函数参数推导出来的。现在，因为推导还没有结束，并且 lambda 不是 std::function，所以替换失败了。

要完成这项工作，您需要让推理过程知道它已经结束，需要一个实例化的函数现在，然后再给它一个参数。一种方法是获取函数的地址，例如：

auto pfunc = TestFunction<int, double>;
pfunc(fce);

或

(&TestFunction<int, double>)(fce);

获取函数模板的地址是另一个可能发生模板参数推导的上下文。在这种情况下，尾随包被推断为空，并且您会获得一个指向您可能调用的函数的指针。