期货与承诺


134

我将自己与未来和承诺之间的差异弄混了。

显然,它们具有不同的方法和内容,但是实际用例是什么?

是吗?:

  • 当我管理一些异步任务时,我使用future来获取“ future”的值
  • 当我是异步任务时,我使用promise作为返回类型,以允许用户从我的promise中获得未来


Answers:


162

Future和Promise是异步操作的两个独立方面。

std::promise 由异步操作的“生产者/编写者”使用。

std::future 由异步操作的“消费者/读者”使用。

将其分为这两个单独的“接口”的原因是为了对“消费者/阅读器” 隐藏 “写入/设置”功能。

auto promise = std::promise<std::string>();

auto producer = std::thread([&]
{
    promise.set_value("Hello World");
});

auto future = promise.get_future();

auto consumer = std::thread([&]
{
    std::cout << future.get();
});

producer.join();
consumer.join();

一种使用std :: promise实现std :: async的(不完整)方法可能是:

template<typename F>
auto async(F&& func) -> std::future<decltype(func())>
{
    typedef decltype(func()) result_type;

    auto promise = std::promise<result_type>();
    auto future  = promise.get_future();

    std::thread(std::bind([=](std::promise<result_type>& promise)
    {
        try
        {
            promise.set_value(func()); // Note: Will not work with std::promise<void>. Needs some meta-template programming which is out of scope for this question.
        }
        catch(...)
        {
            promise.set_exception(std::current_exception());
        }
    }, std::move(promise))).detach();

    return std::move(future);
}

使用std::packaged_task哪一个可以帮助您(即,基本上可以完成我们上面的工作),std::promise可以完成以下更完整和更快的操作:

template<typename F>
auto async(F&& func) -> std::future<decltype(func())>
{
    auto task   = std::packaged_task<decltype(func())()>(std::forward<F>(func));
    auto future = task.get_future();

    std::thread(std::move(task)).detach();

    return std::move(future);
}

请注意,这std::asyncstd::future销毁后返回的遗嘱实际阻塞直到线程完成之前的地方略有不同。


3
@taras表示返回std::move(something)是无用的,并且还会伤害(N)RVO。还原他的编辑。
polkovnikov.ph,2016年

在Visual Studio 2015中,请使用std :: cout << future.get()。c_str();
达米安

6
对于仍然感到困惑的人,请参阅此答案
kawing-chiu

2
那是一次生产者-消费者,恕我直言,这实际上不是生产者-消费者模式。
Martin Meeser '16
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.