使用带有延续和 boost::when_all 的 boost::future

Question

我想使用boost::future 和boost::when_all / boost::when_any。

Boost trunk - 不是 1.55 - 包括后者的实现（仿照 here 提案，即将用于 C++14/17 和 Boost 1.56）。

This 是我所拥有的（并且它无法编译）：

#include <iostream>

#define BOOST_THREAD_PROVIDES_FUTURE
#define BOOST_THREAD_PROVIDES_FUTURE_CONTINUATION
#define BOOST_THREAD_PROVIDES_FUTURE_WHEN_ALL_WHEN_ANY
#include <boost/thread/future.hpp>

using namespace boost;

int main() {
   future<int> f1 = async([]() { return 1; });
   future<int> f2 = async([]() { return 2; });

   auto f3 = when_all(f1, f2);

   f3.then([](decltype(f3)) {
      std::cout << "done" << std::endl;
   });

   f3.get();
}

Clang 3.4 使用 this 退出 - 这是一段摘录：

/usr/include/c++/v1/memory:1685:31: error: call to deleted constructor of 'boost::future<int>'
::new((void*)__p) _Up(_VSTD::forward<_Args>(__args)...);

是我做错了还是这是一个错误？

Answer 1

问题是when_all 只能用右值future 或shared_future 调用。来自N3857：

template <typename... T> 
see below when_all(T&&... futures); 

要求： T 的类型为 future<R> 或 shared_future<R>。

由于引用折叠规则，传递左值会导致T 被推导出为future<T>&，这违反了规定的要求。 boost 实现不会检查此前提条件，因此您会在模板代码深处得到一个错误，其中应该是右值未来的移动变成了左值未来的尝试副本。

您需要将期货移入when_all 参数：

auto f3 = when_all(std::move(f1), std::move(f2));

或者一开始就避免命名它们：

auto f = when_all(async([]{return 1;}),
                  async([]{return 2;}));

另外，您必须 get 从 then 返回的未来而不是中间未来：

auto done = f.then([](decltype(f)) {
  std::cout << "done" << std::endl;
});

done.get();

因为你调用 then 的未来被移动到延续的参数中。来自N3857中then的描述：

后置条件：

• future对象移动到延续函数的参数中

• valid() == false 在原始future 对象返回后立即出现

每 30.6.6 [futures.unique_future]/3：

在未定义valid() == false 的future 对象上调用除析构函数、移动赋值运算符或valid 之外的任何成员函数的效果。

您可以通过完全避免命名期货来避免 c++14 中的大多数这些问题：

when_all(
  async([]{return 1;}),
  async([]{return 2;})
).then([](auto&) {
  std::cout << "done" << std::endl;
}).get();