std::async 与 std::launch::async 策略的行为

Question

我对 std::async 函数与从异步返回的 std::launch::async 策略和 std::future 对象的行为有一些疑问。

在下面的代码中，主线程在async调用创建的线程上等待foo()完成。

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

void foo()
{
  std::cout << "foo:begin" << std::endl;
  std::this_thread::sleep_for(std::chrono::seconds(10));
  std::cout << "foo:done" << std::endl;
}

int main()
{
  std::cout << "main:begin" << std::endl;
  {
    auto f = std::async(std::launch::async, foo);
    // dtor f::~f blocks until completion of foo()... why??
  }
  std::this_thread::sleep_for(std::chrono::seconds(2));
  std::cout << "main:done" << std::endl;
}

我知道http://www.stdthread.co.uk/doc/headers/future/async.html 说

与 返回的 std::future 的异步状态应阻塞，直到 未来已准备就绪。

我的问题是：

• 第一季度。这种行为是否符合当前的 C++ 标准？
• 第二季度。如果 Q1 的回答是肯定的，哪些陈述是这样说的？

Answer 1

是的，这是 C++ 标准所要求的。 30.6.8 [futures.async] 第 5 段，最后一个项目符号：

— 关联的线程完成与 (1.10) 成功检测到共享状态的就绪状态的第一个函数的返回或与释放共享状态的最后一个函数的返回同步，以先发生者为准。

唯一的std:future 的析构函数满足该条件，因此必须等待线程完成。