如何根据自定义数组类型自动推断长度完成初始化？

首先直接给结论：你没办法只通过类型名Registers来初始化变量，必须采用对应长度的初始化方式——不过别担心，我们有办法解决你“后续可能修改数组长度”的痛点。

为什么必须指定长度初始化？ #

你定义的Registers本质上是[u8; 16]的类型别名，而Rust里的固定大小数组（比如[T; N]）是编译时必须确定大小的类型，这意味着编译器需要明确知道数组的长度才能分配栈空间。所以初始化时，你必须提供一个和类型长度匹配的数组字面量，比如[0; 16]，否则编译器不知道该给这个变量分配多大的空间。

解决“后续改长度”的方案 #

如果你不想每次修改Registers的长度时，还要手动修改初始化代码里的数字，可以试试这两种方法：

1. 用常量统一管理长度

把数组长度定义成一个常量，这样类型别名和初始化代码都引用这个常量，后续只需要改常量的值就行：

const REGISTER_LEN: usize = 16;
type Registers = [u8; REGISTER_LEN];

fn main() {
    let mut registers: Registers = [0; REGISTER_LEN];
    // 以后要改长度？只需要修改REGISTER_LEN的值，其他地方自动同步
}

2. 改用动态数组Vec<u8>

如果后续数组长度可能需要动态调整（比如运行时才确定长度），那固定大小数组就不太合适了，建议换成Vec<u8>：

type Registers = Vec<u8>;

fn main() {
    // 初始化一个长度为16的动态数组，元素都是0
    let mut registers: Registers = vec![0; 16];
    // 后续可以随时用push/pop/resize等方法调整长度
    registers.resize(20, 0); // 改成20个元素
}

这样既满足了你的初始化需求，也解决了后续修改长度的痛点~

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