将成对的参数包解压到一个数组和一个元组中

Question

所以我有一个对列表，其中第一个成员是一个常量整数，第二个是一个类型，是否有办法将它解压成第一个成员的数组和第二个成员的元组？

struct MA {}
struct MB {}
struct MC {}
template <int I, class T> struct MyPair{};

如何创建一个模板元函数，使其具有以下两个成员：

MyStruct<1, MA, 2, MB, 3, MC> {
     std::array<int, 3> arr = {1, 2, 3};
     using Tuple = std::tuple<MA, MB, MC>;
};

Answer 1

只需定义两个辅助元函数即可获得 I 和 T:

template<class> struct GetFirst;
template<int I, class T> struct GetFirst<MyPair<I, T>> {
    static constexpr int value = I;
};

template<class> struct GetSecond;
template<int I, class T> struct GetSecond<MyPair<I, T>> {
    using type = T;
};

template<class... MyPairs>
struct MyStruct {
    std::array<int, sizeof...(MyPairs)> arr{GetFirst<MyPairs>::value...};
    using Tuple = std::tuple<typename GetSecond<MyPairs>::type...>;
};

//////////////////////////////////////////////////

using S = MyStruct<MyPair<1, MA>, MyPair<2, MB>, MyPair<3, MC>>;
static_assert(std::is_same_v<S::Tuple, std::tuple<MA, MB, MC>>);
assert((S{}.arr == std::array{1, 2, 3}));

您不能在可变参数模板中混合类型和非类型参数，因此不可能

MyStruct<1, MA, 2, MB, 3, MC, ...>

没有将 (int, Type) 包装成类型。

正如下面评论中提到的JeJo，两个元函数可以合并为一个：

template<class> struct MyPairTraits;
template<int I, class T> struct MyPairTraits<MyPair<I, T>> {
    static constexpr int i = I;
    using Type = T;
};

将成对的参数包解压到一个数组和一个元组中

unpack a parameter pack of pairs into an array and a tuple

c++

templates

variadic-templates

c++17

parameter-pack