40

我有以下代码：

#include <iostream>
#include <future>
#include <chrono>
#include <thread>

using namespace std;

int sleep_10s()
{
    this_thread::sleep_for(chrono::seconds(10));
    cout << "Sleeping Done\n";
    return 3;
}

int main()
{
    auto result=async(launch::async, sleep_10s);
    auto status=result.wait_for(chrono::seconds(1));
    if (status==future_status::ready)
        cout << "Success" << result.get() << "\n";
    else
        cout << "Timeout\n";
}

这应该等待 1 秒，打印“超时”，然后退出。它没有退出，而是再等待 9 秒，打印“Sleeping Done”，然后出现段错误。有没有办法取消或分离未来，所以我的代码将在 main 结束时退出，而不是等待未来完成执行？

4

3 回答 3

30

C++11 标准不提供取消以std::async. 您将必须实现自己的取消机制，例如将原子标志变量传递给定期检查的异步任务。

你的代码不应该崩溃。到达结束时main，std::future<int>保存的对象result被销毁，它将等待任务完成，然后丢弃结果，清理所有使用的资源。

于 2012-08-23T07:56:59.743 回答
24

这里有一个简单的例子，使用原子 bool 同时取消一个或多个未来。atomic bool 可以包装在 Cancellation 类中（取决于口味）。

#include <chrono>
#include <future>
#include <iostream>

using namespace std;

int long_running_task(int target, const std::atomic_bool& cancelled)
{
    // simulate a long running task for target*100ms, 
    // the task should check for cancelled often enough!
    while(target-- && !cancelled)
        this_thread::sleep_for(chrono::milliseconds(100));
    // return results to the future or raise an error 
    // in case of cancellation
    return cancelled ? 1 : 0;
}

int main()
{
    std::atomic_bool cancellation_token;
    auto task_10_seconds= async(launch::async, 
                                long_running_task, 
                                100, 
                                std::ref(cancellation_token));
    auto task_500_milliseconds = async(launch::async, 
                                       long_running_task, 
                                       5, 
                                       std::ref(cancellation_token));
// do something else (should allow short task 
// to finish while the long task will be cancelled)
    this_thread::sleep_for(chrono::seconds(1));
// cancel
    cancellation_token = true;
// wait for cancellation/results
    cout << task_10_seconds.get() << " " 
         << task_500_milliseconds.get() << endl;
}
于 2015-10-24T06:21:11.030 回答
4

我知道这是一个老问题，但在搜索时它仍然是“分离 std::future”的最高结果。我想出了一个简单的基于模板的方法来处理这个：

template <typename RESULT_TYPE, typename FUNCTION_TYPE>
std::future<RESULT_TYPE> startDetachedFuture(FUNCTION_TYPE func) {
    std::promise<RESULT_TYPE> pro;
    std::future<RESULT_TYPE> fut = pro.get_future();

    std::thread([func](std::promise<RESULT_TYPE> p){p.set_value(func());},
                std::move(pro)).detach();

    return fut;
}

你像这样使用它：

int main(int argc, char ** argv) {
    auto returner = []{fprintf(stderr, "I LIVE!\n"); sleep(10); return 123;};

    std::future<int> myFuture = startDetachedFuture<int, decltype(returner)>(returner);
    sleep(1);
}

输出：

$ ./a.out 
I LIVE!
$

如果 myFuture 超出范围并被破坏，线程将继续执行它正在执行的任何操作而不会导致问题，因为它拥有 std::promise 及其共享状态。适用于您有时更愿意忽略计算结果并继续前进的情况（我的用例）。

对于 OP 的问题：如果您到达 main 的末尾，它将退出而不等待未来完成。

这个宏是不必要的，但如果您要经常调用它，可以节省输入。

// convenience macro to save boilerplate template code
#define START_DETACHED_FUTURE(func) \
    startDetachedFuture<decltype(func()), decltype(func)>(func)

// works like so:
auto myFuture = START_DETACHED_FUTURE(myFunc);
于 2020-02-12T21:52:53.033 回答