如何从长度为N的参数包创建栈式多维C数组？

问题 #

给定参数包size_t... len（例如len={3,5,2}），如何简洁构造出等效于double x[3][5][2];的类型，或可被该类型直接引用的等效类型？

说明 #

要求保留C风格多维数组的「维度滥用」特性，即支持以下等价访问方式：

x[i][j][k] == x[0][0][i*5*2+j*2+k] == (*(x+i))[j][k]

已尝试方案 #

目前实现了递归模板生成目标类型，但不确定是否与原生多维数组类型完全一致，也担心是否支持「维度滥用」：

template<typename Tfloat, int...> struct ARRAY_TYPE;

template<typename Tfloat, int len, int ...lens>
struct ARRAY_TYPE<Tfloat,len,lens...>{
    using type = typename ARRAY_TYPE<Tfloat,lens...>::type[len];
};

template<typename Tfloat>
struct ARRAY_TYPE<Tfloat>{
    using type = Tfloat;
};

同时有两个疑问：

• 能否将上述模板生成的对象x重解释为ARRAY_TYPE<double, len...>类型的y，以此测试行为差异？
• 是否存在更简洁的语法（比如一行表达式），直接通过len...生成目标类型，替代当前的递归模板？

核心要求 #

自定义类型的对象y必须能被原生多维数组类型引用，即满足：

double (&ref)[3][5][2] = y;

解答 #

1. 递归模板的正确性验证 #

你实现的ARRAY_TYPE模板完全生成了与原生多维数组一致的类型。例如ARRAY_TYPE<double,3,5,2>::type就是double[3][5][2]，内存布局、访问规则和原生数组完全相同，自然支持你提到的「维度滥用」特性——因为它本质就是原生数组类型。

关于重解释的问题：既然类型完全一致，不需要任何重解释操作。用ARRAY_TYPE<double, len...>::type定义的变量，和直接写double[3][5][2]定义的变量是同一个类型，可以直接互相引用（数组无法直接赋值，但引用操作完全合法）。

2. 更简洁的实现优化（C++17及以上） #

如果追求更简洁的写法，可以利用C++17的std::type_identity简化模板定义（避免冗余的基础特写法），同时将模板参数从int改为size_t，与参数包类型匹配：

#include <type_traits>

template<typename T, size_t... Dims>
struct MultiArray;

template<typename T, size_t Dim, size_t... Rest>
struct MultiArray<T, Dim, Rest...> {
    using type = typename MultiArray<T, Rest...>::type[Dim];
};

template<typename T>
struct MultiArray<T> {
    using type = std::type_identity_t<T>;
};

// 别名模板，简化使用
template<typename T, size_t... Dims>
using MultiArray_t = typename MultiArray<T, Dims...>::type;

这个版本和你的原始实现逻辑完全一致，但代码更简洁，类型匹配更严谨。

如果想要「一行式」的写法，其实没有比递归模板更清晰的方案——因为多维数组的类型本身就是嵌套结构，递归是最直观的构造方式。

3. 类型一致性与特性验证代码 #

可以用以下代码验证模板的正确性：

#include <type_traits>

template<typename T, size_t... Dims>
struct MultiArray;

template<typename T, size_t Dim, size_t... Rest>
struct MultiArray<T, Dim, Rest...> {
    using type = typename MultiArray<T, Rest...>::type[Dim];
};

template<typename T>
struct MultiArray<T> {
    using type = std::type_identity_t<T>;
};

template<typename T, size_t... Dims>
using MultiArray_t = typename MultiArray<T, Dims...>::type;

int main() {
    // 验证类型一致性
    using NativeArr = double[3][5][2];
    using TemplateArr = MultiArray_t<double, 3,5,2>;
    static_assert(std::is_same_v<NativeArr, TemplateArr>, "类型必须完全匹配");

    // 测试维度滥用特性
    TemplateArr arr{};
    arr[0][1][0] = 3.0;
    // 等效访问：0*5*2 +1*2 +0 = 2
    static_assert(arr[0][0][2] == 3.0, "维度滥用特性失效");

    // 验证原生数组引用兼容性
    double (&ref)[3][5][2] = arr;
    ref[0][0][0] = 4.0;
    static_assert(arr[0][0][0] == 4.0, "原生数组引用不兼容");

    return 0;
}

总结 #

• 你的原始递归模板完全正确，生成的类型与原生多维数组等价，支持所有原生特性；
• 无需重解释操作，因为模板生成的类型和原生数组类型完全相同；
• C++17及以上可以用std::type_identity简化模板定义，但核心逻辑仍依赖递归——这是构造嵌套数组类型最直观的方式。

内容的提问来源于stack exchange，提问作者mhawth36