期货与承诺

Futures vs. Promises

本文关键字：承诺      更新时间：2023-10-16

我混淆了未来和承诺之间的区别。

显然，他们有不同的方法和东西，但实际用例是什么？

是吗？：

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

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：

:p romise 实现 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::async略有不同，在中，返回的std::future在销毁时实际上会阻塞，直到线程完成。

相关文章：