3

根据“c++ 编程语言第 4 版” §5.3.5.1 第 120 页中关于未来的内容：

如果该值还不存在，我们的线程将被阻塞，直到它到达。

这意味着get()是一种阻塞方法。

稍后在 §5.3.5.2 page 122 packaged_task中进行了解释，并给出了以下代码示例：

double accum(double* beg, double* end, double init)
// compute the sum of [beg:end) starting with the initial value init
{
    return accumulate(beg,end,init);
}

double comp2(vector<double>& v)
{
    using Task_type = double(double*,double*,double); // type of task
    packaged_task<Task_type> pt0 {accum}; // package the task (i.e., accum)
    packaged_task<Task_type> pt1 {accum};
    future<double> f0 {pt0.get_future()}; // get hold of pt0’s future
    future<double> f1 {pt1.get_future()}; // get hold of pt1’s future
    double* first = &v[0];
    thread t1 {move(pt0),first,first+v.size()/2,0}; // start a thread for pt0
    thread t2 {move(pt1),first+v.size()/2,first+v.size(),0}; // start a thread for pt1
    // ...
    return f0.get()+f1.get(); // get the results
}

这是有道理的，因为根据引用，即使没有在它们上调用join() ， comp2()函数中的 2 个线程完成后，以下程序也不会返回，因为调用comp2()的线程将等待未来s，直到它们get()他们的价值：

int main()
{
    vector<double> v {1.1, 8.3, 5.6};
    double res = comp2(v);
    return 0;
}

不幸的是，这并没有像我想的那样发生，而且我更少在comp2() 的 2 个线程上调用join()，会引发运行时错误。

有人可以解释一下我在这里缺少什么以及为什么get()不阻塞吗？

4

1 回答 1

1

我已经用 gdb 调试了你的代码，你的运行时错误发生在 std::thread 析构函数中。在它们被破坏之前你必须要么detach它们join，例如：

t1.detach();
t2.detach();

里面comp2()。

这将消除您的预期行为。

于 2015-05-25T21:56:26.703 回答