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

Question

好吧，这真的很难。

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

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。

Answer 1

如果你将参数包装成一个元组，那就很简单了：

#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;
}

输出：

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)
    {
        // ...
    }
};

用法：

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