Rust是否支持运行时确定值的const泛型类型？

问题根因 #

Rust 中的 const 泛型参数必须在编译期确定具体值，你尝试将运行时才得到的动态值 n 作为 const 泛型参数传入，编译阶段无法推导 n 的值，必然会报错。同时 const 泛型对应的是编译期多态，不同 N 的 Matrix 是完全不同的类型，无法在运行时动态生成未知的类型实例，所以你最初的思路没有办法直接实现。

解决方案 #

方案1（推荐）：单层 Vec 封装保证方阵不变性

不需要用嵌套 Vec，用连续内存的单层 Vec 存储数据，封装后可以完全保证方阵尺寸不可变，性能比嵌套 Vec 更好，完全满足你的需求：

struct Matrix<T> {
    size: usize,
    inner: Vec<T>,
}

impl<T: Clone> Matrix<T> {
    // 构造方法仅允许生成方阵，构造后尺寸不可修改
    pub fn new(size: usize, default: T) -> Self {
        Self {
            size,
            inner: vec![default; size * size],
        }
    }

    // 安全访问元素，自动做边界校验
    pub fn get(&self, row: usize, col: usize) -> Option<&T> {
        if row < self.size && col < self.size {
            Some(&self.inner[row * self.size + col])
        } else {
            None
        }
    }

    // 安全修改元素
    pub fn get_mut(&mut self, row: usize, col: usize) -> Option<&mut T> {
        if row < self.size && col < self.size {
            Some(&mut self.inner[row * self.size + col])
        } else {
            None
        }
    }

    pub fn size(&self) -> usize {
        self.size
    }
}

该方案中size是私有字段，没有对外暴露修改入口，所有访问都做边界校验，从结构上保证了方阵的尺寸不变性，也支持运行时动态决定尺寸。

方案2：保留const泛型的兼容方案

如果一定要用基于const泛型的Matrix结构，只能提前枚举所有可能用到的方阵尺寸，通过分支匹配构造对应类型的实例再做trait对象擦除：

fn read_matrix() -> Box<dyn DynamicMatrix> {
    let n: usize = todo!();
    match n {
        1 => Box::new(Matrix::<u8, 1> { inner: [[0; 1]; 1] }),
        2 => Box::new(Matrix::<u8, 2> { inner: [[0; 2]; 2] }),
        3 => Box::new(Matrix::<u8, 3> { inner: [[0; 3]; 3] }),
        // 可以用宏批量生成到你需要的最大尺寸
        _ => panic!("不支持的方阵尺寸"),
    }
}

该方案的缺点是只能覆盖预设的尺寸，超过范围就会报错，尺寸上限太高的话会导致编译出的二进制体积明显增大。

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