go 语言中，函数参数可直接声明固定长度的数组类型（如 [3]int），此时长度是类型的一部分，由编译器严格检查；而切片（[]int）无法在签名中约束元素数量，长度校验必须在运行时进行。
go 语言中，函数参数可直接声明固定长度的数组类型（如 [3]int），此时长度是类型的一部分，由编译器严格检查；而切片（[]int）无法在签名中约束元素数量，长度校验必须在运行时进行。
在 Go 中，数组（array）和切片（slice）是两种截然不同的类型，这一根本区别直接决定了长度约束能否在函数签名中体现：
✅ 数组长度是类型的一部分：
[5]int和[6]int 是完全不同的、不可互换的类型。因此，当你在函数参数中写func process(arr [4]byte)`，Go 编译器会强制要求传入的实参必须是长度为 4 的字节数组——这是编译期静态检查，零开销、零风险。❌ 切片不携带长度信息到类型系统：
[]int仅表示“某个 int 切片”，其底层数组长度、容量均在运行时确定。你无法在函数签名中表达“只接受长度恰好为 3 的切片”，任何长度的[]int都可传入。若需逻辑上约束长度，必须手动运行时校验（如if len(s) != 3 { panic("expected 3 elements") }）。
下面是一个清晰的对比示例：
package main
import "fmt"
// ✅ 合法：参数类型明确为 [2]int，编译器确保调用方提供长度为 2 的数组
func sumTwo(a [2]int) int {
return a[0] + a[1]
}
// ✅ 合法：但 [3]int 与 [2]int 类型不兼容，以下调用会编译失败
// func example() { sumTwo([3]int{1,2,3}) } // ❌ compile error
// ⚠️ 切片无法约束长度：此函数接受任意长度的 []int
func sumSlice(s []int) int {
total := 0
for _, v := range s {
total += v
}
return total
}
// 若业务要求“必须为 3 个元素”，需显式运行时检查：
func sumExactlyThree(s []int) int {
if len(s) != 3 {
panic("sumExactlyThree: expected slice of length 3, got " + fmt.Sprint(len(s)))
}
return s[0] + s[1] + s[2]
}
func main() {
arr := [2]int{10, 20}
fmt.Println(sumTwo(arr)) // 输出：30
slice := []int{1, 2, 3, 4}
fmt.Println(sumSlice(slice)) // 输出：10
fmt.Println(sumExactlyThree([]int{100, 200, 300})) // 输出：600
// sumExactlyThree([]int{1, 2}) // panic at runtime
}
? 关键总结：
- 使用固定长度数组（
[N]T）适合需要编译期保证结构严谨性的场景，例如内存布局敏感操作、协议头解析、哈希计算输入等； - 使用切片（
[]T）更灵活通用，但牺牲了长度契约——应配合文档、单元测试或运行时断言来保障业务逻辑正确性； - 切勿混淆
func f(a [5]int)和func f(a *[5]int)：后者是指向数组的指针，仍要求实参是[5]int类型，但传递开销更小（仅传地址）；而func f(a []int)接收的是动态切片，完全放弃长度约束。
选择哪种形式，本质是在类型安全与使用灵活性之间做权衡——Go 将这一决策权明确交给了开发者，并通过编译器坚定捍卫数组长度的不可变性。
