go 语言允许在函数参数中直接使用定长数组类型（如 [3]int），此时长度是类型的一部分，编译期即检查匹配；而切片（[]int）无法在签名中指定长度约束，必须依赖运行时校验。
go 语言允许在函数参数中直接使用定长数组类型（如 [3]int），此时长度是类型的一部分，编译期即检查匹配；而切片（[]int）无法在签名中指定长度约束，必须依赖运行时校验。
在 Go 中，数组长度是其类型不可分割的一部分。这意味着 [2]int 和 [3]int 是两个完全不同的类型，互不兼容。因此，当函数形参声明为func f(a [N]T)` 时，调用方传入的实参必须严格满足长度 N —— 这一约束由编译器静态验证，无需任何运行时检查。
例如：
func sum(data [2]int) int {
return data[0] + data[1]
}
func main() {
a := [2]int{10, 20}
b := [3]int{1, 2, 3}
fmt.Println(sum(a)) // ✅ 编译通过
// fmt.Println(sum(b)) // ❌ 编译错误：cannot use b (type [3]int) as type [2]int in argument to sum
}这种设计带来两大优势：
- 类型安全：避免因长度误用导致的越界或逻辑错误；
- 零成本抽象：无运行时开销，编译期完成全部校验。
⚠️ 注意事项：
- 数组作为参数传递时会值拷贝整个底层数组（如
[1024]byte传参会复制 1KB），大数组应考虑改用指向数组的指针（*[N]T）以提升性能； - 若需动态长度或可变行为，请使用切片（
[]T），但此时长度信息丢失，必须手动校验（如if len(s) ）； - 不要混淆
[N]T（数组）与[]T（切片）——二者语义、内存布局和方法集均不同。
总结：Go 通过将长度嵌入数组类型，天然支持编译期长度约束，这是其类型系统严谨性的体现；开发者应根据是否需要长度保证来选择数组或切片，并善用编译器这一“免费的安全检查器”。
