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::async
与std::future
销毁后返回的遗嘱实际阻塞直到线程完成之前的地方略有不同。