Подтвердить что ты не робот

Фьючерсы против Promises

Я сбиваю с толку разницу между будущим и обещанием.

Очевидно, что у них разные методы и прочее, но каков фактический прецедент?

Это?:

Когда я управляю какой-то асинхронной задачей, я буду использовать будущее, чтобы получить значение "в будущем"
когда я являюсь задачей async, я использую обещание как возвращаемый тип, чтобы позволить пользователю получить будущее от моего обещания.

Ответ 1

Будущее и обещание - это две отдельные стороны асинхронной операции.

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:: prom может быть:

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 будет при уничтожении фактически блокироваться до тех пор, пока поток не будет завершен.