我将我们的应用程序从 Objective-C 和 Cocoa 转移到了 C++。 在 Objective-C 中，我经常使用 Grand Central Dispatch 和非常方便的 dispatch_async 函数。
当转向 C++11 时，我发现 std::async 是最接近的等价物。 我正在使用它的 Scott Meyers 变体，以确保它真正被异步调用:
template<typename F, typename... Ts>
inline auto NLA_async(F&& f, Ts&&... params)
{
return std::async(std::launch::async,
std::forward<F>(f),
std::forward<Ts>(params)...);
}
我了解到，如果未分配返回的 future，则实际上不会异步调用该函数，因为 future d'tor 将等待异步 block 完成。
void foo()
{
NLA_async([]{ // run long task async });
// future returned from NLA_async not captured
// -> std::future d'tor waits for block to be finished
}
所以我想我只是将 future 分配给一个类成员，这样它至少在大多数情况下是异步调度的(不理想，但我认为这是一个快速而肮脏的解决方法)。到目前为止效果很好。
但是我遇到了一个我还不明白的僵局。 看起来该 block 可能同时执行两次，在我的情况下会导致死锁。
你可以在这里看看:
http://coliru.stacked-crooked.com/a/dc4fcbaff370f1b9
谁能解释一下为什么要同时执行两次？
编辑: 在我的特殊情况下，问题是在异步 block 的末尾，代码锁定了一个互斥量，做了一些工作然后解锁了互斥量。在这一点上，我们陷入了僵局。看起来正在运行的异步 block 在完成之前就被删除了，因为互斥锁保持锁定状态，尽管它不应该(没有返回语句或任何可以解释为什么它不会解锁互斥锁的东西)。
最佳答案
两个线程异步运行的问题可能与创建 future 并将其分配给成员变量不是一步完成的事实有关。
首先，它被创建并启动线程。然后，在等待第一个线程完成时将其赋值给成员变量。
感谢 Useless 指出这一点!
关于c++ - 将 std::async 与 future 作为成员一起使用时出现死锁，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/52820158/