如何简化Rust中带const泛型的Matrix<Row,Column>重复书写？

在Rust里没有C语言#define那样的预处理宏，但有几种更符合Rust风格的方式来简化重复书写Matrix<Row, Column>的问题：

1. 使用Self关键字（最推荐） #

在impl块内部，Self会自动指代当前实现的具体类型（也就是Matrix<Row, Column>），这是Rust内置的语法，完全不需要额外定义，直接替换即可：

修改后的代码示例：

#[derive(Debug,Clone)]
pub struct Matrix<const Row:usize,const Column:usize>{
  pub array:[[f64;Column];Row]
  
}

impl <const Row:usize,const Column:usize> Matrix<Row,Column>{
  // 用Self代替Matrix<Row, Column>
  pub const fn new() -> Self {
    Matrix {
      array: [[0.0; Column]; Row]
    }
  }
  
}

impl <const Row:usize,const Column:usize> std::ops::Index<usize> for Matrix<Row,Column>{
  type Output = [f64;Column];
  
  fn index(&self, index: usize) -> &Self::Output {
    &self.array[index]
  }
}

impl <const Row:usize,const Column:usize> std::ops::IndexMut<usize> for Matrix<Row,Column>{
  fn index_mut(&mut self, index: usize) -> &mut Self::Output {
    &mut self.array[index]
  }
}

2. 定义带const泛型的类型别名 #

如果你需要在impl块之外也简化类型写法，可以定义一个带const泛型的类型别名（Rust 1.51及以上版本支持）：

// 定义别名，放在Matrix结构体的同一作用域下
type MatrixRC<const Row: usize, const Column: usize> = Matrix<Row, Column>;

之后你就可以用MatrixRC<Row, Column>来替代Matrix<Row, Column>，比如：

impl <const Row:usize,const Column:usize> MatrixRC<Row,Column>{
  pub const fn new() -> Self {
    MatrixRC {
      array: [[0.0; Column]; Row]
    }
  }
}

注意事项 #

• Self是首选方案，因为它是Rust的原生语法，没有额外的命名负担，仅在impl块内生效。
• 类型别名适合需要跨多个impl块或模块复用简化名称的场景，但需要注意别名的作用域和命名不要和其他类型冲突。

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