创建新的固定大小的矢量

Question

如何在Rust中创建/分配未初始化的固定大小的向量？以下是我在Java中的表现：

int[] a = new int[128];

Answer 1

这有效：

let a = [0, .. 128];

（通过Rust IRC channel）