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 :: promiseを使用してstd :: asyncを実装する(不完全な)1つの方法は次のとおりです。
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
ヘルパーであるwhich を使用すると(つまり、基本的には上記で実行していたことを実行します)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
れるwillとは少し異なることに注意してください。