Rust中使用const数组而非数组引用的理由及编译差异？

先明确两种写法：

const A: &[i32] = &[1, 2, 3];
const B: [i32; 3] = [1, 2, 3];

编译层面的核心差异 #

• 类型本质不同：A是切片引用（&[i32]，即胖指针，包含指向数据的指针和长度）；B是固定大小数组（[i32; 3]，类型本身携带长度信息）。
• 内存布局差异：
  • B的内存中直接存储三个i32值，无额外开销；
  • A则是先在静态内存中存储和B一致的数组数据，再生成一个胖指针结构体指向该数组，64位系统下多8字节的存储开销。
• 编译期优化空间：B的固定长度是类型的一部分，编译器能做更精准的优化，比如直接展开数组访问、编译期越界检查；A作为切片，虽然长度在编译期已知，但部分场景下优化力度不如固定数组。

方式B的优势 #

• 更低运行开销：无需胖指针的间接访问，直接操作数组元素，极端性能敏感场景下有明显优势。
• 更强编译期安全：固定长度数组的越界访问会直接触发编译错误，比如B[3]在编译阶段就会报错；而切片A[3]若不用const索引，编译期无法检测，只能在运行时panic。
• 更好API兼容性：部分底层API、unsafe操作或特定库仅接受固定大小数组，切片引用无法直接适配这类场景。

补充说明 #

如果更在意代码简洁（无需硬编码长度），方式A完全能满足大多数业务场景；但涉及性能敏感、底层操作或需要严格编译期安全校验时，方式B是更优选择。

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