异步简单理解:有些任务不立刻使用其结果,不需要等它执行完再去干别的,可以先让它自己执行折弯,我们去干别的任务。
c++11还提供了异步接口std::async,通过这个异步接口可以很方便的获取线程函数的执行结果。std::async会自动创建一个线程去调用线程函数,它返回一个std::future,这个future中存储了线程函数返回的结果,当我们需要线程函数的结果时,直接从future中获取,非常方便
std::promise、std::packaged_task和std::future的关系
async相关的几个对象std::future、std::promise和std::packaged_task,其中std::promise和std::packaged_task的结果最终都是通过其内部的future返回出来的
std::future提供了一个访问异步操作结果的机制,它和线程是一个级别的属于低层次的对象,在它之上高一层的是std::packaged_task和std::promise,他们内部都有future以便访问异步操作结果,std::packaged_task包装的是一个异步操作,而std::promise包装的是一个值,都是为了方便异步操作的,因为有时我需要获取线程中的某个值,这时就用std::promise,而有时我需要获一个异步操作的返回值,这时就用std::packaged_task
如果说std::async和std::feature还是分开看的关系的话,那么std::packaged_task就是将任务和feature 绑定在一起的模板,是一种封装对任务的封装。
可以通过std::packaged_task对象获取任务相关联的feature,调用get_future()方法可以获得
std::packaged_task对象绑定的函数的返回值类型的future。std::packaged_task的模板参数是函数签 名。 PS:例如int add(int a, intb)的函数签名就是int(int, int)
future.get方法获取异步任务结果时任务还没有执行完,那么宿主会被阻塞,直到异步结果可以获取到。
future更像是执行函数的返回值
在库的头文件中声明了两种future,唯一future(std::future)和共享future(std::shared_future)这两个是参照std::unique_ptr和std::shared_ptr设立的,
从字面意思上理解promise代表一个承诺。promise比std::packaged_task抽象层次低。
std::promise提供了一种设置值的方式,它可以在这之后通过相关联的std::future对象进行读取。换种 说法,之前已经说过std::future可以读取一个异步函数的返回值了,那么这个std::promise就提供一种 方式手动让future就绪。 由此可以看出在promise创建好的时候future也已经创建好了
线程在创建promise的同时会获得一个future,然后将promise传递给设置他的线程,当前线程则持有 future,以便随时检查是否可以取值。
future的表现为期望,当前线程持有future时,期望从future获取到想要的结果和返回,可以把future当
做异步函数的返回值。而promise是一个承诺,当线程创建了promise对象后,这个promise对象向线程
承诺他必定会被人设置一个值,和promise相关联的future就是获取其返回的手段。