根据给定的索引集获取参数包的子集

好吧，这确实是一件困难的事情。

我希望能够通过在给定的一组有效索引处选择参数类型来获取参数包的子集，然后使用该参数包作为函数的参数列表。 IE：

template <size_t... indices_t>
void func(pack_subset<indices_t..., args_t...>); //incorrect syntax,
                                                 //not sure how else to write this
                                                 //args_t is predetermined, this
                                                 //function is a static member of
                                                 //a variadic class template

//For a parameter pack <float, double> and index set 0
void func(float); // <- result of template

我可以获取单个索引的类型，但一组索引有点困难，特别是当该组的大小可变时。其语法是：

pack_index<size_t index_t, typename... args>::type

也许我可以将一堆这些串在一起，但我不确定如何扩展indices_t，以便为列表中的每个值获得一个pack_index。

如果将参数包装到一个元组中，那就非常简单了：

#include <tuple>

template <typename T, std::size_t ...Is>
struct selector
{
    using type = std::tuple<typename std::tuple_element<Is, T>::type...>;
};

输入示例：<int, double, float, char, bool>, 1, 3

#include <iostream>
#include <demangle.hpp>

int main()
{
    std::cout
        << demangle<selector<std::tuple<int, double, float, char, bool>, 1, 3>::type>()
        << std::endl;
}

Output:

std::tuple<double, char>

您需要做的就是使用std::tuple<args_t...>你刚刚在哪里args_t...眼下。

这是将这个想法构建为更容易处理的另一种想法：

template <typename ...Args> struct selector
{
    using T = std::tuple<Args...>;

    template <std::size_t ...Is>
    static void call(typename std::tuple_element<Is, T>::type ...args)
    {
        // ...
    }
};

Usage:

selector<int, char, bool, double>::call<0, 2>(1, true);   // int, bool