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

Question

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

在下面的代码中,主线程等待foo()通过async调用创建的线程完成.

#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的异步状态关联的最后一个对象的析构函数将阻塞,直到将来准备就绪.

我的问题是:

• Q1.这种行为是否符合当前的C++标准？
• Q2.如果Q1的答案是肯定的,哪些陈述说明了？

Answer 1

是的,这是C++标准所要求的.30.6.8 [futures.async]第5段,最后一颗子弹:

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

一个的析构函数只std:future满足该条件,因此必须等待线程的完成.