std:future作为异步结果的传输通道,用来获取线程函数的返回值;
std::promise用来包装一个值,将数据和future绑定起来;
std::package_task用来包装一个可调用对象,将函数和future绑定起来。
5.6.1 std::future
thread库提供了future用来访问异步操作的结果。因为一个异步操作的结果不能马上获取,只能在未来某个时刻从某个地方获取,这个异步操作的结果是一个未来的期待值,所以被称为future。
我们可以以同步等待的方式来获取结果,可以通过查询future的状态(future_status)来获取异步操作的结果。有3种future_status:
(1)Deferred,异步操作还没开始
(2)Ready,异步操作已经完成
(3)Timeout,异步操作超时
以下示例不断查询future的状态,直到任务完成为止:
std::future_status status;
do {
status = future.wait_for(std::chrono::seconds(1));
if (status == std::future_status::deferred) {
std::cout << "deferred\n";
} else if (status == std::future_status::timeout) {
std::cout << "timeout\n";
} else if(status == std::future_status::ready) {
std::cout << "ready\n";
}
} while (status != std::future_status::ready);
future.get:等待异步操作结束并返回结果
future.wait:只等待异步操作完成
future.wait_for:超时等待返回结果
5.6.2 std::promise
std::promise内部将数据和std::future绑定起来,在线程函数中为外面传进的promise赋值,在线程函数执行完成后就可以通过promise的future获取值了。
std::promise的基本用法:
std::promise<int> pr;
// std::ref用于包装按引用传递的值
std::thread t([](std::promise<int>& p) { p.set_value_at_thread_exit(9); }, std::ref(pr));
std::future<int> f = pr.get_future();
// 9
auto r = f.get();
5.6.3 std::package_task
std::package_task内部将函数和std::future绑定起来,以便异步调用。
std::package_task的基本用法:
std::packaged_task<int()> task([](){ return 7; });
std::future<int> f1 = task.get_future();
std::thread t1(std::ref(task));
// 7
auto r1 = f1.get();
5.6.4 总结
std::future属于低层次的通道。在std::future之上的高一层是std::packaged_task和std::promise,std::packaged_task包装的是一个异步操作,std::promise包装的是一个值。需要获取线程中的某个值用std::promise,需要获取一个异步操作的返回值,用std::packaged_task。