C++ 未来与承诺

我对未来和承诺之间的区别感到困惑

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

是吗

• 当我管理一些异步任务时，我使用future来获取值“in future”
• 当我执行异步任务时，我使用promise作为返回类型，以允许用户从我的promise中获得未来

---

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

std:：promise

由异步操作的“生产者/写入者”使用

std:：future

由异步操作的“使用者/读取器”使用
将其分为这两个单独的“接口”的原因是从“消费者/读者”隐藏写/设置”功能

---

请注意，这与

std:：async

略有不同，后者返回的

std:：future

在解构时实际上会阻塞，直到线程完成。
我写了一点关于这一点。@taras的可能重复表明返回

std:：move（something）

是无用的，它也会伤害（N）RVO。恢复他的编辑。在Visual Studio 2015中，对于那些仍然感到困惑的人，请使用std:：cout，请参见。这是一种一次性生产者-消费者模式，IMHO这不是真正的生产者-消费者模式。

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();

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);
}

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);
}