期货与承诺

我自己都搞不清未来和承诺的区别。

显然，它们有不同的方法和内容，但是实际的用例是什么呢？

是吗:

  • 当我管理一些异步任务时，我使用 future 来获取“ in future”的值
  • 当我是一个异步任务时，我使用承诺作为返回类型，让用户从我的承诺中获得未来
65666 次浏览
小开
最佳答案

未来和承诺是异步操作的两个独立方面。

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: : 晃动来实现标准: : 异步，它可以是:

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作为辅助程序(也就是说，它基本上完成了我们上面所做的工作) ，你可以完成以下工作，这样可能更完整、更快捷:

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::async中，返回的 std::future在被破坏时实际上会阻塞，直到线程完成。


提交答案