Question

我正在尝试将std :: packaged_task包装在另一个类中，以便与任务调度程序一起使用。

目前我把它全部工作，除了std :: future支持。为了获得std :: future支持，我发现我需要将std :: packaged_task用于它提供的get_future（）函数。

我一直在尝试各种各样的方法让它工作，但我似乎无法使用std :: bind的返回值正确声明和初始化packaged_task。我试图破译所有相关的libstdc ++函数的实现，比如std :: async，std :: future，std :: thread等，但没有运气。

以下代码是无效版本和工作版本的实现。要使其工作，请取消注释两个/ * --- WORKS * /并注释其他相关行。

#include <vector>
#include <deque>
#include <memory>
#include <thread>
#include <mutex>
#include <condition_variable>
#include <future>
#include <iostream>
#include <chrono>
#include <functional>

#include <windows.h>

class task
{
private:
    struct task_implementation_base
    {
        virtual void execute() = 0;
    };

    template <class callable>
    struct task_implementation : public task_implementation_base
    {
        task_implementation(callable&& f) : /*m_task(std::forward<callable>(f)) WORKS*/m_task(f) { }
        void execute() { m_task(); }

        //callable m_task; // WORKS
        std::packaged_task<typename result_of<callable>::type> m_task;
    };

    template <class callable>
    std::shared_ptr<task_implementation<callable>> make_routine(callable&& f)
    {
        return std::make_shared<task_implementation<callable>>(std::forward<callable>(f));
    }

public:
    template <class callable, class... arguments>
    task(callable&& f, arguments&&... args) : m_function(make_routine(std::bind(std::forward<callable>(f), std::forward<arguments>(args)...))) {}

    void operator()() { run(); }

    void run() { m_function->execute(); }

private:
    std::shared_ptr<task_implementation_base> m_function;

};

int testint(int i)
{
    std::cout << "test6" << " :: ran from thread " << std::this_thread::get_id() << "\n";
    fflush(stdout);
    return i+100;
}

void test(const char* text)
{
    std::cout << text << " :: ran from thread " << std::this_thread::get_id() << "\n";
    fflush(stdout);
}

class testclass
{
public:
    void print1() { test("test3"); }
    void print2() { test("test4"); }
    void print3(const char* text) { test(text); }

};

int main()
{
    testclass testclass1;
    testclass* testclass2 = new testclass;

    task test1(test, "test1");
    task test2([]() { test("test2"); });
    task test3(&testclass::print1, &testclass1);
    task test4(&testclass::print2, &*testclass2);
    task test5(&testclass::print3, &*testclass2, "test5");
    task test6(&testint, 1);

    test1();
    test2();
    test3();
    test4();
    test5();
    test6();

    Sleep(2000);

    return 0;
}

我认为问题是typename result_of<callable>::type。我猜它没有正确评估callable函数的返回类型。

我在c++ (Built by MinGW-builds project) 4.8.0 20121225 (experimental)上使用Windows 8 64bit。我怀疑这些错误是无关紧要的，因为我想我只是试图让这项工作方式错误，但无论如何这里都是一个用于错误的pastebin：errors

Answer 1

std::packaged_task不仅将调用函数的结果类型作为模板参数，还将传递给要调用函数的参数类型。

您可以按如下方式定义它们：

// somewhere
int foo(bool, int);

// somewhere else
std::packaged_task<int(bool, int)> p(foo);

要修复代码，您需要添加两个空括号对。我上面解释的内容也适用于std::result_of。

std::packaged_task<typename std::result_of<callable()>::type()> m_task;

Answer 2

这只是对主要主题问题的回答。 “如何实施”

示例简短实现：

template <typename Signature> /// <---- 1
class Task;

template <typename Res, typename... ArgTypes>
class Task<Res(ArgTypes...)>  /// <---- 2
{
public:
    template <typename Function>
    explicit Task(Function&& callback)
        : _task{std::forward<Function>(callback)}
    { }

    void execute(ArgTypes... args) noexcept(false)
    {
        //...
        _task(std::forward<ArgTypes>(args)...);
    }

private:
    std::packaged_task<Res(ArgTypes...)> _task;
};

不确定为什么需要步骤1和步骤2，但是我做了与lib实现相同的操作。也许有人可以扩展此响应。

将std :: packaged_task包装在自定义类中

2 个答案: