进行转发复制的std :: tuple

Question

我需要一点帮助。 我需要以特定的方式完善元组。 想象一下

template <typename F, typename... Args>
auto package_task(F&& func, Args&&... args) -> std::function<void()>
{
    //for the purposes of this example imagine capture to be std::move and
    //to be inplace in the lambdas' capture.
    auto callable = capture(std::forward<F>(func));
    auto params = capture(std::make_tuple(std::forward<Args>(args)...));

    return [callable , params]() mutable { std::apply(callable, params); };
}

被打包的任务将稍后在另一个线程上执行，但是当我调用Apply时，我需要“ callable”来使其元组中的参数扩展并完全像在package_task函数中传递时一样进行转发。 我无法使用forward_as_tuple因为我正在复制/移动参数和可调用对象，以便稍后执行。 我需要类似的东西

template <typename F, typename... Args>
auto package_task(F&& func, Args&&... args) -> std::function<void()>
{
    //for the purposes of this example image capture to be std::move and
    //to be inplace in the lambdas' capture.
    auto callable = capture(std::forward<F>(func));
    auto params = capture(std::make_tuple(std::forward<Args>(args)...));

    return [callable , params]() mutable { std::apply_but_expand_as<Args&&…>(callable, params); };
}

任何想法，将不胜感激。

Answer 1

如果您试图使可调用的一次性调用通过其参数传递，那么使用C ++ 17或更早版本可以做到的最好是：

template <typename F, typename... Args>
auto package_task(F&& func, Args&&... args) -> std::function<void()>
{
    return [func = std::forward<F>(func),
            args_tuple = std::make_tuple(std::forward<Args>(args)...)]
           () mutable
    {
        return std::apply([](auto&&... args){
            return std::invoke(
                std::forward<F>(func),
                std::forward<Args>(args)...
                );
        }, args_tuple);
    };
}

也就是说，您将Args forward到一个元组， apply该元组，然后再将它们forward回去。

---

在C ++ 20中，由于有了P0780 ，因此可以简化为：

template <typename F, typename... Args>
auto package_task(F&& func, Args&&... args) -> std::function<void()>
{
    return [func = std::forward<F>(func),
            ...args = std::forward<Args>(args)] () mutable
    {
        return std::invoke(std::forward<F>(f), std::forward<Args>(args)...);
    };
}