std::future<T>::~future

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

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

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

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

(C++14 起)

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