std::future<T>::~future

~future();		(C++11 起)

释放任何共享状态。这表示

• 若当前对象持有其共享状态的最后一个引用，则销毁共享状态；
• 当前对象放弃其共享状态的引用；

而这些操作不会阻塞等待共享状态变为就绪，但若以下条件全为真，则这些操作可能阻塞： 共享状态是由对 std::async 的调用创建的， 共享状态尚未就绪，并且 当前对象是到共享状态的最后一个引用。

(C++14 起)

实践中，仅当任务的运行策略为 std::launch::async 时这些操作才会阻塞（见《Effective Modern C++》条款 36），因为运行时系统选择这么做，或者说在 std::async 调用中规定如此。