使用boost :: future延續和boost :: when_all

Question

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

升壓中繼 - 不是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(); 
} 

鏘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

問題是隻能用右值future或shared_future調用when_all。從N3857：

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

Requires:T is of type future<R> or 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的未來移入延續的參數中。從then在N3857的描述：

Postcondition:

• The future object is moved to the parameter of the continuation function

• valid() == false on original future object immediately after it returns

每30.6.6 [futures.unique_future/3：

The effect of calling any member function other than the destructor, the move-assignment operator, or valid on a future object for which valid() == false is undefined.

你可以避開大部分的C++ 14這些問題，避免命名期貨在所有：

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