Rust中数组切片的类型约定是否与通用切片[T]存在差异？

Rust 的类型语法设计本身不存在歧义，你看到的相似视觉效果只是类型推导占位符带来的视觉误导，核心区分规则非常明确：

核心语法边界 #

• 所有带分号的方括号类型，100% 属于固定长度数组体系，和切片类型无关
  • 原生数组的完整类型格式为 [T; N]，其中 N 是编译期可确定的固定长度，比如存储2个i32的数组完整类型为 [i32; 2]
  • 类型标注里出现的 _ 只是推导占位符：当类型可以通过上下文自动确定时，Rust Analyzer 会用 _ 代替具体的编译期值做轻量提示。&[i32; _] 和你手写的 &[i32; N] 根本不是两类不同的类型，它俩本质完全等价——前者只是因为编译器自动推导了N的具体值，所以用占位符替代了手动写的N，没有任何语法上的区别。你看到的 &[i32; _] 拆解后本质是 &[i32; 2]，也就是对固定长度数组的不可变引用，完全不是切片类型。
• 所有不带分号的方括号类型，才属于切片体系
  • 原生切片的完整类型格式为 [T]，这也是《Rust 程序设计语言》切片章节提到的核心切片类型，它不持有固定长度，长度信息由运行时决定
  • 日常开发使用的引用切片完整格式为 &[T]，方括号内没有任何长度标记或分号。

对应示例代码逐行解析 #

• 第一行 let arr:[i32;_] = [1,2];：编译时会自动把 _ 替换为 2，最终 arr 的实际类型是 [i32; 2]，是栈上分配的固定长度数组，和切片没有关系
• 第二行 let r_arr:&[i32;_] = &arr;：同样会把 _ 替换为 2，r_arr 的实际类型是 &[i32; 2]，也就是普通的数组引用——它和普通值引用一样只存储元素起始地址，没有额外的长度元数据，和作为胖指针的切片 &[i32] 是完全不同的类型。

快速识别技巧 #

很多视觉混淆都来自于代码排版时分号的字号极小，肉眼很容易一扫而过漏看。只要你看类型的时候第一眼先定位方括号内部的字符，就能100%区分两类完全独立的类型：

• 方括号内存在分号：无论分号后是具体数字、还是 _ 推导占位，全都是固定长度数组或其引用，和切片无关
• 方括号内不存在分号：无论是否带 & 引用符号，全都是切片类型

补充说明 #

你之所以会产生类型相似的错觉，和 Rust 的自动强制转换规则也有关系：固定长度数组的引用会自动实现到切片类型的 Deref 强制转换，你完全可以写 let r_arr: &[i32] = &arr; 让编译器自动把 &[i32; 2] 转成 &[i32] 类型，但反向从动态长度切片转成固定长度数组引用是不允许的——因为切片的长度是运行时动态确定的，编译期根本无法保证它匹配固定数组的长度要求。

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