C++11标准库提供的“async/future”,对“将某件事交给独立线程”这件事做了高度的封装,使得整个异步过程的实现,在明面上看不到“线程”的出现。那么,该封装会不会带来我们对异步过程的可控度变小呢?
future<T>类除了提供“get()(提取)”接口之外,还提供三个“等待”接口,分别是wait(),wait_for()和wait_until()。
(1)wait()
wait()函数的作用和get()接近。二者都会迫使目标过程马上执行(如果当时目标过程尚未执行的话)并一直等到目标过程执行完毕或出错。
差别则是get()返回执行结果给调用者,wait()不返回(因为调用者不想要)。前面例子中的output()和throw_int()函数都没有返回结果,因此对他它们“存根”的处理,就算使用了get()也得不到结果,所以此时改为使用wait(),可以更清晰第表达代码意图:
future <void> f = async(output, "咦");
...
f.wait(); //此处的wait和前面的void更配
(2)wait_for()
wait_for()带有一个表示时间长度的入参,并且有返回值,其实是一个函数模板,完整声明为:
template <typename Rep, typename Period>
std::future_status //返回值类型
wait_for(std::chrono::duration <Rep, Period> const& timeout_duration) const;
声明很复杂,完全是因为入参所需要时间长度的定义带来的。
和get()或wait()不一样,wait_for(timeout_duration)不强制启动目标过程,它只是纯粹地等上一段时间,如果等的时候目标过程执行完毕,它欢快地回来告诉调用者“异步过程执行完毕,可以调用get()取结果了”,否则它应该是很沮丧的,至于此时向调用者做什么报告?请往下阅读.
有一种情况wait_for()注定沮丧,那就是当初使用async()发起异步过程时,所采用的策略是std::launch::defered。采用这种策略,调用者的意图就是要让目标过程先别启动,且等到代码明确调用get()/wait()再执行。这种情况下,wait_for()返回值是std::future_status::deferred,又是一个枚举,并且和前面那个同名。
如果异步操作已经在进行之中,只是在超时之前还未完成,wait_for()返回的是std::future_status::timeout。如果等到异步操作完成,则返回std::future_status::ready。表示调用者可以继续调用future<T>的get()或wait()方法。
下面是std::future_status枚举的完整定义:
enum class future_status
{
ready,
timeout,
deferred
}
(3)wait_until()
声明如下:
template <class Clock, class Duration>
std::future_status //返回类型
wait_until(std::chrono::time_point <Clock, Duration> const&
timeout_time) const;
入参是一个“time_point(时间点)”,是它使得相关声明看起来很复杂。
当我们说“time_point(时间点)”基本就是在指一个绝对的时间,在此处用于指示要等待到什么时候。比如现在是2018年9月7日20点8分45秒,如果timeout_time指定的时间点是2018年9月7日20点9分,则wait_until相当于改为调用wait_for(15秒)。
综合以上说明,下面是个有关异步等待的例子:
12行,开启一个异步过程f
22行,等上1秒钟,获取异步过程的完成状态,
26行,如果超时,打印“waiting...”,如果完成了,则获取f的结果。
完整代码:
#include <iostream>
#include <thread>
#include <future>
#include <chrono>
#include <string>
using namespace std;
int main()
{
//此时的auto相当于 std::future <string>
auto f = async([]() -> std::string
{
this_thread::sleep_for(chrono::seconds(10));
return "finished";
});
//每隔一秒循环,调用一次wait_for(1s),
//以查看f对应的目标过程是否完成
for(int i = 0; i < 10; ++i)
{
auto status = f.wait_for(chrono::seconds(1));
bool finished(false);
switch(status)
{
case std::future_status::ready :
finished = true;
cout << f.get() << endl; //异步过程执行完毕,获取结果
break;
//异步操作已经在进行之中,只是在超时之前还未完成
case std::future_status::timeout :
cout << i + 1 << ") waiting..." << endl;
break;
default:
break;
}
if(finished)
{
break;
}
}
return 0;
}