将成员函数传递给 Variadic 模板函数

Question

我有一个 class 带有一个名为 enqueue 的函数：

template<class T, class... Args>
inline auto ThreadPool::enqueue(T && t, Args&&... args) ->std::future<typename std::result_of<T(Args ...)>::type>
{
    using return_type = typename std::result_of<T(Args...)>::type;

    auto task = std::make_shared<std::packaged_task<return_type()>> (
       std::bind(std::forward<T>(t), std::forward<Args>(args)...)
    );

    std::future<return_type> result = task->get_future();
    {
        std::unique_lock<std::mutex> lock(m_mutex);

        // Don't allow job creation after stopping pool.
        if (m_done)
            throw std::runtime_error("Enqueue on stopped ThreadPool.");

        m_tasks.emplace([task]() { (*task)(); });
    }

    m_cond.notify_one();
    m_futures.push_back(move(result));
    return result;
}

这是在头文件内部与 ThreadPool class 一起完成的内联实现。

它是一个单例，应该能够接受任何带有参数的函数，将其添加到任务队列和return该函数结果类型的未来。

这是我尝试使用它的 class：

void Grepper::scan(std::tr2::sys::path const& folder, std::string expression, bool verbose) {
    // Create directory iterators.
    std::tr2::sys::recursive_directory_iterator d(folder);
    std::tr2::sys::recursive_directory_iterator e;

    // Create tasks from files that match initial extension list.
    for (; d != e; ++d) {
        if (!std::tr2::sys::is_directory(d->status()) && std::find(m_extensions.begin(), m_extensions.end(), d->path().extension().generic_string()) != m_extensions.end()) {
            ThreadPool::get_instance().enqueue(grep, d->path(), expression, verbose);
        }
    }
}

这给出了一个编译器错误：

Error C3867 'Grepper::grep': non-standard syntax; use '&' to create a pointer to member

我已经尝试为这个函数创建一个仿函数并将该函数作为 lambda 传递：

ThreadPool::get_instance().enqueue([this](std::tr2::sys::path p, std::string s, bool b) { grep(p, s, b); });

这给我以下编译器错误：

Error C2893 Failed to specialize function template 'unknown-type std::invoke(_Callable &&,_Types &&...)'

我的 grep 方法的声明供参考：

void grep(std::tr2::sys::path file, std::string expression, bool verbose);

如何将此函数及其参数正确传递给入队方法？

Answer 1

使用指向成员函数的指针的尝试失败有两个原因：

要形成指向成员函数的指针，需要使用&Grepper::grep语法。
成员函数需要一个隐式对象参数（在其他参数中，以便它也可以被 std::bind 和 std::result_of 正确处理）。

话虽如此，您可以尝试以下调用：

ThreadPool::get_instance().enqueue(
   &Grepper::grep
   , this
   , d->path()
   , expression
   , verbose
);

使用 lambda 表达式的尝试失败，因为该 lambda 表达式作为参数传递：

[this] (std::tr2::sys::path p, std::string s, bool b) { grep(p, s, b); }

声明了三个参数，所以Args参数包不能为空。但是你的情况是:

ThreadPool::get_instance().enqueue(
    [this] (std::tr2::sys::path p, std::string s, bool b) { grep(p, s, b); }        
);

根据您的设计，这些参数应该在对 enqueue:

的调用中传递

ThreadPool::get_instance().enqueue(
    [this] (std::tr2::sys::path p, std::string s, bool b) { grep(p, s, b); }
    , d->path()
    , expression
    , verbose
);

或由 lambda 表达式捕获，因此不需要额外的 Args：

ThreadPool::get_instance().enqueue(
    [this,d,expression,verbose] { grep(d->path(), expression, verbose); }
);

将成员函数传递给 Variadic 模板函数

Pass Member Function to Variadic Template Function

c++

templates

variadic-templates

c++11