如何为带const泛型的SquareMatrix结构体实现通用Default trait？

你遇到的问题是因为没有在impl块中正确声明const泛型参数，导致编译器无法识别length的来源。只需要在impl开头显式声明这个const泛型，就能写出通用的Default实现，替代那些重复的代码：

impl<const LENGTH: usize> Default for SquareMatrix<LENGTH> {
    fn default() -> Self {
        SquareMatrix {
            data: [[0.0; LENGTH]; LENGTH],
        }
    }
}

说明： #

• 在impl块起始位置通过const LENGTH: usize声明const泛型参数，明确告知编译器LENGTH对应SquareMatrix的const泛型参数。
• 初始化数组时，[[0.0; LENGTH]; LENGTH]就能正确引用这个const参数，编译器会为每个具体的LENGTH值自动生成对应的Default实现逻辑。
• 这个通用实现会覆盖所有合法的usize类型长度值，无需再为2、3、4等单独编写重复代码。

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