【C++】11新特性：异步操作std::async

在C++11中，为了更加方便的创建异步操作，增加了std::async。

相比于c++11中更常用的异步操作std::thread，有什么区别呢？以及async的优势是什么？应该怎么使用？

一、std::thread的不足之处

C++11中增加了线程，可以非常方便的创建线程，它的基本用法是这样的：

#include <iostream>
#include <thread>

using namespace std;

int func(int a)
{
   return a + 1;
}

int main()
{
   thread t(func, 1);
   t.join();
}

但是线程毕竟是属于比较低层次的东西，有时候使用有些不便。

比如希望获取线程函数的返回结果的时候，就不能直接通过 thread.join()得到结果，这时就必须定义一个变量，在线程函数中去给这个变量赋值，然后join，最后得到结果，这个过程是比较繁琐的。

正因此，c++11提供了异步接口std::async，通过这个异步接口可以很方便的获取线程函数的执行结果。

std::async会自动创建一个线程去调用线程函数，它返回一个std::future，这个future中存储了线程函数返回的结果，当需要线程函数的结果时，直接从future中获取，非常方便。

其实std::async提供的便利可不仅仅是这一点，它首先解耦了线程的创建和执行，可以在需要的时候获取异步操作的结果；其次它还提供了线程的创建策略（比如可以通过延迟加载的方式去创建线程），可以以多种方式去创建线程。在介绍async具体用法以及为什么要用std::async代替线程的创建之前，先看看std::future、std::promise和 std::packaged_task。

二、std::future

std::future是一个非常有用也很有意思的东西，简单说std::future提供了一种访问异步操作结果的机制。

从字面意思来理解， 它表示未来，因为一个异步操作是不可能马上就获取操作结果的，只能在未来某个时候获取，但是可以以同步等待的方式来获取结果，可以通过查询future的状态（future_status）来获取异步操作的结果。

future_status有三种状态：

• deferred：异步操作还没开始
• ready：异步操作已经完成
• 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、wait、wait_for，其中get等待异步操作结束并返回结果，wait只是等待异步操作完成，没有返回值，wait_for是超时等待返回结果。

三、std::promise

std::promise为获取线程函数中的某个值提供便利，在线程函数中给外面传进来的promise赋值，当线程函数执行完成之后就可以通过promise获取该值了。

值得注意的是取值是间接的通过promise内部提供的future来获取的，也就是从get_future()返回的future中get()。

用法示例：

#include <future>
#include <iostream>
#include <thread>

int main()
{
   std::promise<int> prom;
   auto func = [](std::promise<int> &prom)
   {
      // prom.set_value_at_thread_exit(99);线程退出时设置
      prom.set_value(99);
   };
   std::thread t(func, std::ref(prom)); //在子线程中修改prom的值
   std::future<int> f = prom.get_future();
   std::cout << f.get() << std::endl;
    //避免因主线程比子线程先退出报错
   if (t.joinable())
      t.join();
}

注意，一个promise的set_value()只能调用一次，如果调用多次，就会出现如下错误：

terminate called after throwing an instance of 'std::future_error'
  what():  std::future_error: Promise already satisfied
Aborted

这时候如果外部没有catch exception，程序也会crash。

四、std::packaged_task

了解了promise之后，再来看看packaged_task，它包装了一个可调用的目标（如普通函数,lambda表达式, bind` 对象等，具体可见【C++】11新特性：可调用对象封装std::function）,以便异步调用。

实际上，packaged_task和promise在某种程度上有点像，promise保存了一个共享状态的值，而packaged_task保存的是一 个函数。

用法示例：

#include <future>
#include <iostream>
#include <thread>

int main()
{
   auto func = [](int a, int b)
   { return a + b; };
   std::packaged_task<int(int, int)> task(func);
   auto f = task.get_future();

   std::thread t(std::move(task), 1, 2);
   std::cout << f.get() << std::endl;
   if (t.joinable())
      t.join();
}

五、后三者的关系

通过上面的介绍，三者之间（promise、packaged_task和future）的关系还是很清晰的。

std::future提供了一个访问异步操作结果的机制，它和线程是一个级别的属于低层次的对象，在它之上高一层的是std::packaged_task和std::promise，他们内部都有future以便访问异步操作结果，std::packaged_task包装的是一个异步操作，而std::promise包装的是一个值，都是为了方便异步操作的，因为有时需要获取线程中的某个值，这时就用std::promise，而有时需要获一个异步操作的返回值，这时就用std::packaged_task。

可以认为 packaged_task ≈ promise + future

六、std::async

通过上面的用法示例，可以看到，我们要创建一个异步操作，然后通过future对象获取数据，需要创建手动packaged_task或者promise，然后将它们放进手动创建的thread去执行相关操作。

用起来还是有点儿繁琐的。而std::async就是为了让开发者的少费点脑子，它可以让这三个对象默契地工作。

大概的工作过程是这样的：std::async先将异步操作用std::packaged_task包 装起来，然后将异步操作的结果放到std::promise中，这个过程就是创造未来的过程。外面再通过future.get/wait来获取这个未来的结果！

可以认为 async ≈ thread + packaged_task

6.1 async简单使用

现在来看看std::async的原型

async(std::launch::async | std::launch::deferred, f, args...) 第一个参数是线程的创建策略，有两种策略，默认的策略是立即创建线程：

std::launch::async：在调用async就开始创建线程。

std::launch::deferred：延迟加载方式创建线程。调用async时不创建线程，直到调用了future的get或者wait时才创建线程。

第二个参数是线程函数，第三个参数是线程函数的参数。

• 用法示例1：

#include <future>
#include <iostream>
#include <thread>

int main()
{
   auto f = std::async(
       std::launch::async, [](int a, int b)
       { return a + b; },
       1, 2);
   std::cout << f.get() << std::endl; // 3
}

• 用法示例2：

#include <future>
#include <iostream>
#include <thread>
using namespace std;

int main()
{
   std::future<int> f = std::async(std::launch::async, []()
                                   {
    std::this_thread::sleep_for(std::chrono::seconds(3));
    return 100; });

   std::future_status status;
   do
   {
      status = f.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);
   std::cout << "result is " << f.get() << '\n';
}

output：

timeout
timeout
ready!
result is 8

这里需要注意，在async函数原型中，第一个参数有两种，用法示例中使用的是std::launch::async，其实参数还可以是std::launch::deferred，这时候函数不会异步执行，只有当对应的future调用了get时，函数才会执行，而且是在当前线程中执行。

若执行用法示例2的代码，终端会一直输出defferred。

6.2 shared_future

在上面这些用到future.get()的代码中，有没有发现都只用了一次，要是调用两次会发生什么呢？

会报错，因为普通的future有个特点，只能移动，而不能拷贝，这就意味着，要是多线程的话，只有一个线程一个实例能够利用get()取值。

那么我们想要在多个线程中取值的话咋办？这时候就可以用shared_future，可以通过future.share()获取。

示例代码：

#include <future>
#include <iostream>
#include <thread>
using namespace std;

int main()
{
   promise<int> prom;
   auto f1 = prom.get_future();
   auto f_shared = f1.share();

   std::future<int> f2 = std::async(std::launch::async, [f_shared]()
                                    { return f_shared.get() + 1; });
   std::future<int> f3 = std::async(std::launch::async, [f_shared]()
                                    { return f_shared.get() + 2; });

   prom.set_value(99);
   std::cout << "result1 is " << f2.get() << '\n';
   std::cout << "result2 is " << f3.get() << '\n';
}

output:

result1 is 100
result2 is 101

七、总结

std::async是更高层次上的异步操作，它的存在可以使开发者不用关注线程创建内部细节，就能方便的获取异步执行状态和结果，还可以指定线程创建策略，应该用std::async替代线程的创建，让它成为做异步操作的首选。