在可变参数 function 模板中使用索引

Question

template <std::size_t N, class... Args>
using type = typename std::tuple_element<N, std::tuple<Args...>>::type;

template<typename ...Args, typename Func>
typename std::result_of<Func(Args...)>::type functionOnParams(Func fp, Args&&...args)
{
  using Indices = std::make_index_sequence<sizeof...(Args)>;

  int ints[2] = {1,2};
    return fp(std::forward<Args>( static_cast<type<index_of_args, Args...>>(ints[index_of_args++]) )...);
}

嗨，我花了几个小时试图弄清楚如何获取上述代码的 index_of_args。 任何帮助，将不胜感激。 我的搜索一直在兜圈子。 index_of_args 不存在。 我需要为 std::forward 的每个元素生成这个索引。 谢谢

Answer 1

您可以从Args中获取一个std::index_sequence并将它们传递给助手 function（通过模板 arguments 推导）。 然后在助手 function 中做任何你想做的事。

template<typename Func, typename... Args, size_t... Is, typename RealArgs>
std::invoke_result_t<Func&&, Args&&...> helper(Func&& func, std::index_sequence<Is...>* indicesTag, std::tuple<Args...>* argsTypeTag, RealArgs&& args){
    return std::forward<Func>(func)(std::forward<Args>(std::forward<RealArgs>(args)[Is])...);
}
template<typename Func, typename... Args>
std::invoke_result_t<Func&&, Args&&...> functionOnParams(Func&& func, Args&&... args){
    int a[] = { 0, 1 };
    return helper(std::forward<Func>(func), (std::index_sequence_for<Args...>*)nullptr, (std::tuple<Args...>*)nullptr, a /* anything to replace the arguments */);
}


int main(){
    auto x = functionOnParams(std::plus<>(), 0, 1.0f);
    std::cout << x;
    return 0;
}

另一方面，您也可以使用class 模板特化来传递std::index_sequence和Args 。

template<typename, typename>
struct Helper;
template<typename... Args, size_t... Is>
struct Helper<std::index_sequence<Is...>, std::tuple<Args...>>{
    template<typename Func, typename RealArgs>
    static std::invoke_result_t<Func&&, Args&&...> call(Func&& func, RealArgs&& args){
        return std::forward<Func>(func)(std::forward<Args>(std::forward<RealArgs>(args)[Is])...);
    }
};
template<typename Func, typename... Args>
std::invoke_result_t<Func&&, Args&&...> functionOnParams(Func&& func, Args&&... args){
    int a[] = { 0, 1 };
    return Helper<std::index_sequence_for<Args...>, std::tuple<Args...>>::call(std::forward<Func>(func), a /* anything to replace the arguments */);
}