Question

我有一个C ++ 11程序，用于检查数字是否为素数。程序等待准备就绪的未来对象。准备好之后，程序会告诉未来对象的提供者函数是否将该数字视为素数。

// future example
#include <iostream>       // std::cout
#include <future>         // std::async, std::future
#include <chrono>         // std::chrono::milliseconds


const int number = 4; // 444444443

// a non-optimized way of checking for prime numbers:
bool is_prime (int x) {
    for (int i=2; i<x; ++i) if (x%i==0) return false;
      return true;
    }

int main ()
{
    // call function asynchronously:
    std::future<bool> fut = std::async (is_prime, number); 

    // do something while waiting for function to set future:
    std::cout << "checking, please wait";
    std::chrono::milliseconds span (100);
    //std::chrono::duration<int> span (1);

    while (fut.wait_for(span)==std::future_status::timeout) {
        std::cout << '.';
        std::cout.flush();
    }

    bool x = fut.get();     // retrieve return value

    std::cout << "\n"<<number<<" " << (x?"is":"is not") << " prime.\n";

    return 0;
}

如果运行该程序，您将看到它处于无限循环中，因为wait_for()始终返回future_status::timeout，这意味着共享状态永远不会准备好。这是什么原因？我从http://www.cplusplus.com/reference/future/future/wait_for/接受了这个程序，所以我希望它可以工作。但是，如果我注释掉while循环，程序将正常工作。

Answer 1

代码正在运行：（g ++ 4.9，clang 3.4）http://coliru.stacked-crooked.com/a/f3c2530c96591724

我使用MINGW32和g ++ 4.8.1获得了与你相同的行为。明确将策略设置为std::launch::async可以解决问题（即：std::async(std::launch::async, is_prime, number);）

Answer 2

不确定这是否是编译器中的错误，但我相信wait_for应该返回future_status::deferred 这正是Effective C++

中的Scott Meyers discusses in his book

Item 36:Specify std::launch::async if
asynchronicity is essential

他提出的解决方案

修复很简单：只需检查与std :: async调用相对应的未来即可是否延迟任务，如果是，则避免进入基于超时的循环。不幸的是，没有直接的方式来询问未来其任务是否延期。相反，您必须调用基于超时的函数 - 诸如wait_for之类的函数。在这种情况下，你真的不想等待任何事情，你只是想看看返回值是否为std :: future_status :: deferred，所以在必要的情况下扼杀你温和的怀疑，并在零超时时调用wait_for。

在你的情况下，你可以明确关于异步性，如@Jarod在他的解决方案中提到的，即使用std::launch::async或者你可以重写你的代码如下

bool x;
// if task is deferred...
if (fut.wait_for(std::chrono::milliseconds(0)) == std::future_status::deferred)
{
 // ...use wait or get on fut
 // to call is_prime synchronously
   x = fut.get();     // retrieve return value
}
else { // task isn't deferred
 // infinite loop not possible (assuming is_prime finishes)
 while (fut.wait_for(span) != std::future_status::ready) { 
     // task is neither deferred nor ready,
     // so do concurrent work until it's ready
     std::cout << '.';
     std::cout.flush();
 }
 // fut is ready
 x = fut.get();     // retrieve return value
}

http://coliru.stacked-crooked.com/a/cb4e4b3f642f79f5

C ++ 11 future.wait_for（）总是返回future_status :: timeout

2 个答案: