有没有办法在std :: experimental :: future中使用std :: async？

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::experimental::future中使用std::async ，使得代码在C ++ 1z下面合法？

Answer 1

有没有办法在std::experimental::future中使用std::async ，使得代码在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

它看起来像 std::experimental::future具有相同的构造为std::future ，所以它应该是可以构建一个std::experimental::future从std::future 。 然而，正如ildjarn所指出的那样 ，它实际上并不是根据最新的草案 ，所以在TS相应改变之前似乎没有办法做到这一点。