Фьючерсы против Обещаний
Я путаю себя с разницей между будущим и обещанием.
Очевидно, у них разные методы и вещи, но каков реальный вариант использования?
Это?:
- когда я управляю какой-то асинхронной задачей, я использую будущее, чтобы получить значение «в будущем»
- когда я выполняю асинхронную задачу, я использую обещание в качестве типа возврата, чтобы позволить пользователю получить будущее от моего обещания
Решение
Будущее и Обещание — это две отдельные стороны асинхронной операции.
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 :: async с использованием 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 который является помощником (т.е. он в основном делает то, что мы делали выше) вокруг 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 будет при разрушении фактически блокировать, пока поток не закончится.
Другие решения
Других решений пока нет …