将成对的参数包解压成数组和元组

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