可变参数模板索引包扩展

Question

假设以下模板：

template<typename T, bool stack>
struct bind_argument
{
    static inline T get_arg(Object& obj, u8 index)
    {
        return ...;
    }
};

template<typename RT, typename Arg0, typename... Args>
inline RT call(Object& obj, RT(*function)(Arg0, Args...))
{
    constexpr bool use_stack = ...;
    return function(..., bind_argument<Args, use_stack>::get_arg(obj, 0)...);
}

对于bind_argument，我需要传递扩展索引。 关于索引扩展的另一个问题展示了如何使用另一个模板来使用“索引技巧”，但是在我的情况下，我还需要将扩展​​参数传递给call方法中的函数 调用 。 这似乎比我想象的要难得多。

我最初使用“索引技巧”的解决方案如下所示：

template<bool stack, typename... Args, u64... Indices>
struct bind_arguments
{
    static inline Args get_args(CPU& cpu, indices<Indices...>)
    {
        return bind_argument<Args, stack>(cpu, Indices)...;
    }
};

template<typename RT, typename Arg0, typename... Args>
inline RT call(Object& obj, RT(*function)(Arg0, Args...))
{
    constexpr bool use_stack = ...;
    Arg0 some_value = ...;
    return function(some_value, bind_arguments<use_stack, Args...>::get_args(obj, build_indices<sizeof...(Args)>{}));
}

不幸的是，这将无法编译。 一个人将如何在另一个模板中执行模板索引的包扩展，然后将扩展的值传递到打算用于扩展值的位置？ （在这种情况下，function（）调用）

预期的呼叫扩展如下：

function(some_value, bind_argument<A1, use_stack>(obj, 0), bind_argument<A2, use_stack>(obj, 1), bind_argument<A3, use_stack>(obj, 2), ...)

Answer 1

您可以在其他函数中做任何您想做的事情，转发所有必要的参数。 除了最终结果外，没有理由返回任何东西：

#include <utility>
#include <cstddef>

template <typename RT, typename Arg0, typename... Args, std::size_t... Is>
inline RT call(Object& obj, RT(*function)(Arg0, Args...), std::index_sequence<Is...>)
{
    return function(&obj, bind_argument<Args>::get_arg(obj, Is)...);
}

template <typename RT, typename Arg0, typename... Args>
inline RT call(Object& obj, RT(*function)(Arg0, Args...))
{
    return call(obj, function, std::make_index_sequence<sizeof...(Args)>{});
}

演示