关于期货的this excellent tutorial,承诺和打包的任务我已经达到了我想要自己准备的地步任务
#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?
答案 0 :(得分:18)
首先,如果你声明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以及线程库的just::thread实现)。如果没有,那么您正在使用的编译器或库中存在错误。例如,g ++ 4.6附带的库无法处理传递仅移动对象,例如std::packaged_task
到std::thread
(因此无法处理第2和第4个示例),因为它使用{{1}作为一个实现细节,std::bind
的实现错误地要求参数是可复制的。
答案 1 :(得分:3)
由于您正在启动没有参数的线程,因此您希望在没有参数的情况下启动任务,就好像使用了task1()
一样。因此,您要支持的签名不是int(int, int)
,而是int()
。反过来,这意味着您必须将与此签名兼容的仿函数传递给std::packaged_task<int()>
的构造函数。尝试:
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)
。