先物と約束

Question

私は将来と約束の違いに自分自身を混乱させる。

明らかに、それらにはさまざまな方法やものがありますが、実際の使用例は何ですか？

私はいくつかの非同期タスクを管理していたときに、それは？：

• です、私は「将来的には」値を取得するために、将来を使用
• 私は非同期タスクだとき、私はとの約束を使用ユーザーが私の約束から未来を得るための返品タイプ

Answer 1

FutureとPromiseは、非同期操作の2つの側面です。

std::promiseは、非同期操作の「プロデューサ/ライター」によって使用されます。

std::futureは、非同期操作の「コンシューマ/リーダ」によって使用されます。

これら2つの別々の「インターフェース」に分離される理由は、「消費者/リーダー」からの「書き込み/設定」機能を隠すためです。

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を実施する1つの（不完全）方法:: 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::async若干異なっていることを

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::promiseの周りにあなたは、おそらくより速く、より完全である以下のことを行うことができます返されたstd::futureは、スレッドが終了するまで実際にブロックされます。