并发 TS：std::future<...>::then，如何在不存储返回的未来的情况下保持链存活？

Question

我正在构建一组在事件分派期间在 GUI 线程中工作的期货，并希望采用 std::future 的 API，但遇到了链接期货（非阻塞异步执行）的问题。

假设我们有一个返回未来的函数，我们想在未来准备好后执行一些事情

disconnect().then([](std::future<State> &&f) {
   ...
});

我的理解是，当对从“then”返回的未来不做任何事情时，它将被销毁，未来将被中止，函数将不再执行。因此，为了确保链仍然存在并正确执行，我们必须将未来保存在某个地方（可能作为数据成员）。

如果我们对返回的 future 不感兴趣，而只对操作链和函数是否正确执行感兴趣，我们应该怎么做？我们是否应该把返回的future放到new std::future<R>(...)中，完成后在lambda中删除，比如“delete &f;” ?不过，这看起来不对。

Answer 1

我不认为您需要持有future 来确保调用您的完成处理程序。销毁第二个future 不需要销毁shared_state，它只是减少它的引用计数。

一种自己实现then 的方法，来自Herb Sutter 在2012 年的C++ Concurrency 演示文稿，是调用std::async (page 6 of the slides PDF) 的免费函数：

template<typename Fut, typename Work>
auto then( Fut f, Work w ) -> future<decltype(w(f.get()))>
  { return async([=]{ w( f.get() ); }); }

这占用了一个线程，但是你得到then( disconnect(), [](std::future<State> &&f) {...});的调用者不需要阻塞的语义。即使我们丢弃了 then 调用的结果，返回的 future 也会被销毁，它的共享状态也会被清理，但您传入的 future f 不会被销毁。

然后是destroying a future returned by async may block until the async completes 的规则，这意味着如果你丢弃这个then 实现的结果，你无论如何都可以阻塞（page 21）。所以你毕竟不能这样做。

在预期的效果中，then 将像将对您的函数对象的引用放入 future 的共享状态的“延续槽”中一样运行，以及第二个 promise 的返回函数对象的类型，并返回第二个promise 的future。所以原future的共享状态被原promise引用，第二个future的共享状态被第二个promise引用，所以都不共享状态被你对第二个future所做的任何事情摧毁。

一旦原始的promise 被满足，共享状态就会看到它已经占用了延续槽，所以刚刚满足的值中的make_ready_future 也是如此，并将其提供给您的函数对象，将值设置为第二个@ 987654353@，没有效果，因为你把第二个future扔掉了。但是“没有影响”是对你的 lambda 的 输出。

（在实现方面，第二个future 很可能是对第二个共享状态的唯一引用，其中的promise 只是行为说明，第二个共享状态可以在不强制第一个共享状态的情况下被销毁共享状态将被销毁。我希望在内部它可以比 make_ready_future 在价值上做得更好......）