为什么 `std::async` Future 的析构函数会阻塞？

为什么从 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中文网其他相关文章！