将成对的参数包解包成一个数组和一个元组
所以我有一个对的列表，其中第一个成员是一个常量整数，第二个是一个类型，无论如何将它解压缩到第一个成员的数组和第二个成员的元组中？
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>;
};
回答
只需定义两个辅助元函数即可获取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;
};
- @fluter - 这是主要模板。在主节点的声明可用之前，我们无法专门化。如果您将其删除，则专业化将变得不正确。