为什么要使用std :: async？

在尝试使用std :: async并阅读其定义的同时，我试图深入探索新C ++ 11标准的所有选项，我注意到至少在gcc 4.8.1的Linux下有两件事：

• 它称为async，但它确实具有“顺序行为”，基本上在您调用与async函数foo相关联的future的行中，该程序将阻塞直到foo执行完毕。
• 它取决于与其他库完全相同的外部库以及更好的非阻塞解决方案，这意味着pthread，如果要使用std::async，则需要pthread。

在这一点上，我很自然地问为什么甚至在一组简单的函子上都选择std :: async？该解决方案甚至根本无法扩展，您调用的未来越多，程序的响应性就越差。

我想念什么吗？您能否显示一个示例，该示例被授予以异步，非阻塞方式执行？

如果需要异步操作的结果，则无论使用什么库，都必须阻塞。这样做的想法是，您可以选择何时阻止，并且希望在执行此操作时，您可以忽略不计的时间，因为所有工作都已经完成。

另请注意，std::async可以使用策略std::launch::async或启动std::launch::deferred。如果不指定，则允许选择实现，并且它很可能选择使用递延评估，当您尝试从将来获取结果时，这将导致所有工作都已完成，从而导致更长的时间。因此，如果您要确保工作是异步完成的，请使用std::launch::async。

• 它称为异步，但它确实具有“顺序行为”，

不，如果您使用该std::launch::async策略，那么它将在新线程中异步运行。如果您未指定策略，则它可能会在新线程中运行。

基本上在调用与异步函数foo相关联的future的行中，该程序会阻塞，直到foo执行完毕为止。

它仅在foo还没有完成的情况下才阻塞，但是如果它是异步运行的（例如，因为您使用该std::launch::async策略），则它可能在需要之前就已经完成了。

• 它取决于与其他库完全相同的外部库，以及更好的非阻塞解决方案，这意味着pthread，如果要使用std :: async，则需要pthread。

错，不必使用Pthreads来实现（在Windows上不是，它使用ConcRT功能。）

在这一点上，我很自然地问为什么甚至在一组简单的函子上都选择std :: async？

因为它保证线程安全，并在线程间传播异常。您可以使用一组简单的函子来做到这一点吗？

该解决方案甚至根本无法扩展，您调用的未来越多，程序的响应性就越差。

不必要。如果您未指定启动策略，那么智能实现可以决定是否启动新线程，返回延迟函数或返回稍后决定的事情（更多资源可用时）。

现在，确实可以使用GCC的实现，如果您不提供启动策略，那么在当前版本中，它将永远不会在新线程中运行（有bugzilla报告），但这是该实现的属性，而不是std::async一般情况。您不应将标准中的规范与特定实现混淆。阅读一个标准库的实现是了解C ++ 11的糟糕方法。

您能否显示一个示例，该示例被授予以异步，非阻塞方式执行？

这不应阻止：

auto fut = std::async(std::launch::async, doSomethingThatTakesTenSeconds);
auto result1 = doSomethingThatTakesTwentySeconds();
auto result2 = fut.get();

通过指定启动策略，您可以强制异步执行，如果在执行过程中执行其他工作，则结果将在需要时准备就绪。

我认为您的问题是std::future说它继续存在get。仅在结果尚未准备好时才阻塞。

如果您可以安排结果已经准备好，那么这不是问题。

有很多方法可以知道结果已经准备好了。您可以轮询future并询问它（相对简单），可以使用锁或原子数据来传递事实，即事实已经准备就绪，可以构建一个框架来将“完成的”future项目传递到消费者可以与之交互的队列中，可以使用某种信号（只是一次阻止多个事件或轮询）。

或者，您可以在本地完成所有工作，然后阻止远程工作。

例如，想象一下并行递归合并排序。它将数组分为两个块，然后async对一个块进行排序，同时对另一个块进行排序。一旦完成对一半的排序，在第二个任务完成之前，发起线程无法继续进行。因此，它会执行.get()和阻止。将两个半部分都排序后，便可以进行合并（理论上，合并也可以至少部分并行进行）。

对于那些在外部与之交互的人员而言，此任务的行为就像是线性任务-完成后，对数组进行排序。

然后，我们可以将其包装在一个std::async任务中，并获得一个future排序数组。如果需要，我们可以添加一个信号过程，让我们知道信号future已完成，但这只有在有线程等待信号的情况下才有意义。

在参考中：http : //en.cppreference.com/w/cpp/thread/async

如果设置了异步标志（即policy＆std :: launch :: async！= 0），那么异步将在单独的执行线程上执行函数f，就像由std :: thread（f，args ...）产生一样，除了函数f返回值或引发异常外，它存储在可通过std :: future访问的共享状态中，异步返回给调用者。

记录引发的异常是一个很好的属性。

http://www.cplusplus.com/reference/future/async/

有三种类型的政策，

1. launch::async
2. launch::deferred
3. launch::async|launch::deferred

默认情况下launch::async|launch::deferred传递给std::async。