将来是否会从std :: async返回，并在析构函数中使用launch :: deferred策略块？

问题描述

在std::async的描述中说：

如果从std::future获得的std::async没有移出或绑定 引用，std::future的析构函数将在 完整表达式的结尾，直到异步操作完成为止， 本质上使代码如下同步：

std::async(std::launch::async,[]{ f(); }); // temporary's dtor waits for f()
std::async(std::launch::async,[]{ g(); }); // does not start until f() completes

（请注意，std :: futures的析构函数 通过对std :: async的调用之外的其他方式获得，永远不会阻止）

该声明令人困惑，并且我不清楚在使用std::launch::deferred策略的情况下的行为。好的，实验表明它不会被阻塞，但是我想知道标准是否明确表示使用std::async策略从std::launch::deferred返回的将来不会在析构函数中阻塞。

这带来了另一个有关默认策略的后续问题：如果std::async的情况下从std::launch::async返回的未来在析构函数中阻塞，而在std::launch::deferred的情况下不会阻塞，如果使用默认（std::launch::async | std::launch::deferred）策略，则会导致非常不一致的行为。最近，我问到std::async的语义与默认启动策略：What is the semantics of std::async with automatic (launch::async|launch::deferred) launch policy?的情况，此示例使我更加困惑，并且该模式的适用性（我们不明确知道该策略的平台选择） ，这是非常可疑的。

更新：我发现了针对标准P0701r1的提案，该提案无法完全回答我的问题，但是如果该提案被接受，它将解决阻止/不阻止的歧义阻止析构函数。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）