如何扩展类模板整数列表？

Question

所以我一直在努力学习更多关于 c++ 元编程的知识，但我一直在尝试设计一个可变长度数组的元组。

我想做的事情是这样的：

CustomArrays<float, 3, 2> arrays;

第一个参数“float”是数组将存储的数据类型。下面的参数是每个数组的长度。我可以制作一个这样的结构来接受这些参数：

template <typename T, uint... As> struct CustomArrays {};

我知道如果我只取一个参数而不是一个列表，我可以像这样存储数组：

template <typename T, uint A> struct CustomArrays { T data[A]; };

这就是我想要的，但使用扩展的子类，类似于元组可以做的事情。我在想一些事情：

template <typename T, uint A> struct CustomArrays {};

template <typename T, uint A, uint... As>
struct CustomArrays : CustomArrays<T, As...> {
    T data[A];
};

我们的想法是像这样展开：

struct CustomArrays<float, 2, 3> : CustomArrays<float, 3> {
    float data[2];
}

struct CustomArrays<float, 3> : CustomArrays {
    float data[3];
}

struct CustomArrays {}

这当然不会编译，因为我们用不同的模板参数重新声明了相同的结构。我的问题是我怎样才能达到预期的结果。

Answer 1

我建议您使用 std::array 代替自定义数组或旧的 C 样式数组。

如果你想要一个std::array 的可变参数列表，你可以使用std::tuple 并写一些类似的东西

template <typename T, std::size_t ... Dims>
struct CustomArrays
 { std::tuple<std::array<T, Dims>...> data; };

你也可以尝试使用 C 风格的数组

template <typename T, std::size_t ... Dims>
struct CustomArrays
 { std::tuple<T[Dims]...> data; };

但我认为这不是一个好主意。

Answer 2

您可能正在寻找这样的东西：

template <typename T, uint... As> struct ArrayType;

template <typename T>
struct ArrayType<T> {
    typedef T type;
};

template <typename T, uint A, uint... As>
struct ArrayType<T, A, As...> {
    typedef typename ArrayType<T, As...>::type type[A];
};

template <typename T, uint... As>
struct CustomArrays {
  typename ArrayType<T, As...>::type data;
  // CustomArrays<float, 3, 2>::data is of type float[3][2]
};