有没有办法将 std::async 与 std::experimental::future 一起使用？

Question

注意：即使在 C++17 中，以下也是非法的！

#include <thread>
#include <future>
#include <experimental/future>

using namespace std;

int step1(experimental::future<int>)
{
    return {};
}

int step2(experimental::future<int>)
{
    return {};
}

int step3(experimental::future<int>)
{
    return {};
}

int main()
{
    return async([](){ return {}; })
        .then(step1)
        .then(step2)
        .then(step3)
        .get();
}

C++1z提供了两种future：

1. std::future
2. std:experimental::future

但是，std::async 只返回std::future，所以上面的代码是非法的。如果std::async返回std:experimental::future，那就没问题了。

我的问题是：

有没有办法将std::async 与std::experimental::future 一起使用，使上面的代码在C++1z 下合法？

Answer 1

有没有办法将std::async 与std::experimental::future 结合使用，使上面的代码在C++1z 下合法？

不。 std::async 返回一个 std::future<T>，尽管名称如此，但它与 std::experimental::future<T> 完全无关。

您必须编写自己的async 版本，为您提供新的future。一个简化的版本是这样的：

template <class F, class... Args,
    class R = std::invoke_result_t<std::decay_t<F>, std::decay_t<Args>...>>
std::experimental::future<R> new_async(F&& f, Args&&... args)
{
    std::experimental::promise<R> p;
    auto fut = p.get_future();

    std::thread thread([p=std::move(p), f=std::forward<F>(f),
        args=std::tuple<std::decay_t<Args>...>(std::forward<Args>(args)...)] () mutable
    {
        try 
        {
            if constexpr(std::is_void_v<R>)
            {
                std::apply(std::move(f), std::move(args));
                p.set_value();
            }
            else 
            {
                p.set_value(std::apply(std::move(f), std::move(args)));
            }
        }
        catch(...)
        {
            p.set_exception(std::current_exception());
        }
    });

    thread.detach();
    return fut;
}

这不支持像 async 这样的其他启动策略，但这只是一个开始。

Answer 2

seems likestd::experimental::future 与std::future 具有相同的构造函数，因此应该可以从std::future 构造std::experimental::future。然而，正如pointed out by ildjarn 它实际上不是根据the latest draft，所以在TS 相应更改之前似乎没有办法做到这一点。