Go语言允许在函数签名中直接声明固定长度的数组类型（如 [3]int），此时长度成为类型的一部分，由编译器强制校验；而切片（[]int）因本质是动态视图，其长度只能在运行时检查。
go语言允许在函数签名中直接声明固定长度的数组类型（如 `[3]int`），此时长度成为类型的一部分，由编译器强制校验；而切片（`[]int`）因本质是动态视图，其长度只能在运行时检查。
在 Go 中，数组长度是类型系统的一等公民。这意味着 [2]int 和 `[3]int 是两个完全不同的、不兼容的类型。当你将数组作为函数参数时，必须明确指定其长度——这不是可选约束，而是类型定义的必需部分。编译器会在编译期严格检查实参是否匹配该长度，任何不一致都将导致编译错误，无需手动运行时校验。
例如：
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
}⚠️ 注意事项：
- 此机制仅适用于数组（
[N]T），不适用于切片（[]T）。切片的长度和容量均为运行时属性，函数无法在签名中限定其长度（如func f(s [5]int)是合法的，但func f(s [5][]int)或func f(s []int{len==5})均非法）。 - 使用定长数组作为参数会触发值拷贝（整个数组内容被复制），对大数组可能影响性能；若需避免拷贝且仍需长度语义，可改用指向数组的指针，如
func process(p *[4]byte)，此时p类型明确为“指向4字节数组的指针”，调用时仍受长度约束。 - 实际开发中，多数场景推荐使用切片（更灵活、零拷贝），仅在需要编译期长度保障（如协议解析、内存布局敏感操作）或小规模固定结构（如坐标
[3]float64、颜色[4]uint8）时选用定长数组参数。
总结：Go 通过类型系统原生支持函数级数组长度约束，这是编译期安全的有力体现；而切片的动态性决定了其长度检查必须留待运行时——二者定位不同，应依场景合理选择。
立即学习“go语言免费学习笔记（深入）”；
