为什么从 std::async 阻塞返回 Future 的析构函数？
在 C 11 中，future 的析构函数由std::async 块，导致潜在的死锁。这种行为引发了关注，引发了标准化委员会内部的一系列提案和讨论。
问题的症结在于确保线程安全。如果没有阻塞行为，可能会出现这样的情况：关联的线程在 future 被销毁后继续执行，而无法同步其完成。这可能会导致内存损坏，甚至损害系统安全性。
正如 Hans Boehm 在 N3679 中所解释的，未处理的异常可能会绕过旨在等待完成的代码，从而加剧了这种情况。因此，阻塞析构函数起到了安全网的作用，防止了这种灾难性的结果。
尽管进行了广泛的审议，C 社区尚未就此事达成共识。从 C 14 开始，std::future 和 std::thread 的析构函数仍然阻塞。
但是，这种情况将来可能会发生变化。 Michael Wong 2013 年的旅行报告表明，虽然弃用 std::async 的动议失败了，但人们越来越认识到其阻塞行为所带来的潜在危险。
同时，程序员应该意识到这一点发出并采用适当的措施，例如范围保护或显式同步机制，以确保处理从 std::async 返回的 future 时的线程安全。
以上是为什么 `std::async` Future 的析构函数会阻塞？的详细内容。更多信息请关注PHP中文网其他相关文章！
