如何定义等价于多维向量的类型？修复无法编译的matrix模板代码

原代码的核心问题是C++不支持对模板别名（using声明）进行显式特化，同时模板的声明语法也存在错误。我们可以通过类模板作为中间层，配合模板特化来实现递归定义的多维向量类型，具体修改如下：

实现步骤与代码 #

1. 首先定义递归的类模板matrix_impl，作为底层实现：

#include <vector>

// 通用递归版本：D维向量是D-1维向量的vector
template<int D>
struct matrix_impl {
    using type = std::vector<typename matrix_impl<D-1>::type>;
};

// 特化D=1的情况：1维向量是int的vector
template<>
struct matrix_impl<1> {
    using type = std::vector<int>;
};

2. 再用模板别名matrix简化类型调用：

// 对外暴露的多维向量类型别名
template<int D>
using matrix = typename matrix_impl<D>::type;

使用示例 #

你可以像这样使用这个类型：

int main() {
    // 3维向量：等价于vector<vector<vector<int>>>
    matrix<3> three_d_matrix;
    three_d_matrix.resize(2);
    for (auto& layer : three_d_matrix) {
        layer.resize(3);
        for (auto& row : layer) {
            row.resize(4, 0);
        }
    }
    return 0;
}

说明 #

• 类模板matrix_impl通过递归定义，每一层的维度都基于上一层的vector嵌套，直到D=1时终止递归，绑定到std::vector<int>。
• 模板别名matrix直接提取matrix_impl<D>::type，让用户可以用更简洁的matrix<D>语法声明多维向量类型。
• 该代码兼容C++11及以上标准。

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