如何通过模板元编程将数组签名展开为size_t模板参数包？

你的代码存在语法逻辑错误，T[n][ns]...的特化写法不符合C数组类型的定义规则——多维数组本质是“数组的数组”，比如int[3][4]的类型是元素类型为int[4]的数组，而非扁平的int[3][4]参数包形式。下面是符合现代C规范的最优实现，可将固定维度的数组签名完整展开为size_t参数包：

核心实现代码 #

#include <utility>
#include <cstddef>

// 终止模板：非数组类型时返回空参数包
template <typename T>
struct array_dims {
    using type = std::index_sequence<>;
    static constexpr size_t rank = 0;
};

// 数组类型特化：提取当前维度，递归处理内层元素类型
template <typename T, size_t N>
struct array_dims<T[N]> {
    // 递归获取内层数组的维度参数包
    using inner_dims = typename array_dims<T>::type;
    // 拼接当前维度与内层参数包
    using type = decltype(std::index_sequence_cat(std::index_sequence<N>{}, inner_dims{}));
    // 计算数组的维度数（秩）
    static constexpr size_t rank = 1 + array_dims<T>::rank;
};

// 辅助别名：简化参数包类型的获取
template <typename T>
using array_dims_t = typename array_dims<T>::type;

// 辅助变量模板：直接获取参数包实例
template <typename T>
constexpr auto array_dims_v = array_dims_t<T>{};

实现说明 #

1. 递归逻辑直观：每次处理外层数组，提取当前维度N后，对元素类型（内层数组）递归提取剩余维度，直到遇到非数组类型终止。
2. 复用标准库组件：借助std::index_sequence和std::index_sequence_cat实现参数包拼接，无需手动编写复杂的递归拼接逻辑，代码简洁且稳定性高。
3. 兼顾秩计算需求：同时实现了数组维度数（rank）的计算，覆盖了你原代码的功能。

使用示例 #

// 定义一个三维数组类型
using int_3d = int[3][4][5];
// 验证参数包是否正确展开
static_assert(std::is_same_v<array_dims_t<int_3d>, std::index_sequence<3, 4, 5>>);
// 验证维度数计算是否正确
static_assert(array_dims<int_3d>::rank == 3);

原代码问题修正说明 #

原代码的第二个特化试图直接匹配T[n][ns]...，这是对C++数组类型模型的误解。正确思路是将多维数组拆解为“数组嵌套”结构，每次仅处理一层数组维度，再递归处理内层元素类型。

内容的提问来源于stack exchange，提问作者ryan.walton.256