c++ - 将 std::async 与 future 作为成员一起使用时出现死锁

Question

我将我们的应用程序从 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 在完成之前就被删除了，因为互斥锁保持锁定状态，尽管它不应该(没有返回语句或任何可以解释为什么它不会解锁互斥锁的东西)。

Answer 1

两个线程异步运行的问题可能与创建 future 并将其分配给成员变量不是一步完成的事实有关。

首先，它被创建并启动线程。然后，在等待第一个线程完成时将其赋值给成员变量。

感谢 Useless 指出这一点!