如何创建带有参数的packaged_task？

Question

遵循这个关于期货的优秀教程 /em>、承诺和打包任务我已经到了想要准备自己的任务的程度，

#include <iostream>
#include <future>
using namespace std;

int ackermann(int m, int n) {   // might take a while
    if(m==0) return n+1;
    if(n==0) return ackermann(m-1,1);
    return ackermann(m-1, ackermann(m, n-1));
}

int main () {
    packaged_task<int(int,int)> task1 { &ackermann, 3, 11 }; // <- error
    auto f1 = task1.get_future();
    thread th1 { move(task1) };                              // call
    cout << "  ack(3,11):" << f1.get() << endl;
    th1.join();
}

据我所知， gcc-4.7.0 错误消息它期望参数不同吗？但如何呢？我尝试缩短错误消息：

error: no matching function for call to 
  'std::packaged_task<int(int, int)>::packaged_task(<brace-enclosed initializer list>)'
note: candidates are:
  std::packaged_task<_Res(_ArgTypes ...)>::---<_Res(_ArgTypes ...)>&&) ---
note:   candidate expects 1 argument, 3 provided
  ...
note:   cannot convert 'ackermann'
  (type 'int (*)(int, int)') to type 'std::allocator_arg_t'

我为ackermann提供参数的变体是否错误？或者是错误的模板参数？我没有给线程的创建参数3,11，对吧？

更新其他不成功的变体：

packaged_task<int()> task1 ( []{return ackermann(3,11);} );
thread th1 { move(task1)  };

packaged_task<int()> task1 ( bind(&ackermann,3,11) );
thread th1 { move(task1)  };

packaged_task<int(int,int)> task1 ( &ackermann );
thread th1 { move(task1), 3,11  };

嗯...是我，还是beta-gcc？

Answer 1

首先，如果您声明 std::packaged_task 来接受参数，那么您必须将它们传递给 operator()，而不是构造函数。在单个线程中，您可以这样做：

std::packaged_task<int(int,int)> task(&ackermann);
auto f=task.get_future();
task(3,11);
std::cout<<f.get()<<std::endl;

要对线程执行相同的操作，您必须将任务移动到线程中，并传递参数：

std::packaged_task<int(int,int)> task(&ackermann);
auto f=task.get_future();
std::thread t(std::move(task),3,11);
t.join();
std::cout<<f.get()<<std::endl;

或者，您可以在构造之前直接绑定参数任务，在这种情况下，任务本身现在有一个不带参数的签名：

std::packaged_task<int()> task(std::bind(&ackermann,3,11));
auto f=task.get_future();
task();
std::cout<<f.get()<<std::endl;

同样，您可以执行此操作并将其传递给线程：

std::packaged_task<int()> task(std::bind(&ackermann,3,11));
auto f=task.get_future();
std::thread t(std::move(task));
t.join();
std::cout<<f.get()<<std::endl;

所有这些示例都应该有效（并且对于 g++ 4.6 和 MSVC2010 以及我的 <一个href="http://www.stdthread.co.uk" rel="noreferrer">只是::thread 线程库的实现）。如果没有，那么您正在使用的编译器或库中存在错误。例如，g++ 4.6 附带的库无法处理将仅移动对象（例如 std::packaged_task）传递到 std::thread（因此无法处理第二个和第四个示例），因为它使用 std::bind 作为实现细节，并且 std::bind 的实现错误地要求参数是可复制的。

Answer 2

由于您在不带参数的情况下启动线程，因此您希望任务在不带参数的情况下启动，就像使用 task1() 一样。因此，您想要支持的签名不是 int(int, int) 而是 int()。反过来，这意味着您必须将与此签名兼容的函子传递给 std::packaged_task 的构造函数。尝试：

packaged_task<int()> task1 { std::bind(&ackermann, 3, 11) };

另一种可能是：

packaged_task<int(int,int)> task1 { &ackermann };
auto f1 = task1.get_future();
thread th1 { move(task1), 3, 11 };

因为std::thread的构造函数可以接受参数。在这里，您传递给它的函子将像使用 task1(3, 11) 一样使用。