将具有可变模板参数的成员函数传递给可变构造函数

Question

class Test
{
public:
    template<typename Function, typename... Args>
    void Run(Function&& f, Args&&... args)
    {
        std::thread t(&Test::Operation, this, f, args...); // how???
        t.detach();
    }

    template<typename Function, typename... Args>
    void Operation(Function&& f, Args&&... args)
    {
        f(args...);
    }
};

Test test;
test.Run([](const std::string& msg) { std::cout << msg; }, "Hi!");

以这种方式传递参数有问题，我得到以下错误：“std：：thread：：thread”：没有重载函数接受4个参数。我怎么能这么做？

Answer 1

这里的问题是，当您将&test::operation传递给线程构造函数时，它无法推导出&test::operation的模板参数。（如果你想理解为什么这个推导不能完成，你可能应该另外问一个问题。）关键是您需要显式指定&test::operation的模板参数。

这将如下所示：

template<typename Function, typename... Args>
void Run(Function&& f, Args&&... args)
{
    std::thread t(&Test::Operation<std::decay_t<Function>, std::decay_t<Args>...>,
                  this, std::forward<Function>(f), std::forward<Args>(args)...);
    t.detach();
}

我为你添加了完美转发：这很重要，因为你不想执行不必要的复制，对吗？