Go 函数可通过固定长度数组类型（如 [3]int）在签名中精确指定参数长度，该约束在编译期强制检查；而切片（[]int）无法携带长度信息，长度校验只能在运行时进行。
go 函数可通过固定长度数组类型（如 `[3]int`）在签名中精确指定参数长度，该约束在编译期强制检查；而切片（`[]int`）无法携带长度信息，长度校验只能在运行时进行。
在 Go 语言中，数组（array）和切片（slice）是两种截然不同的类型，这一根本差异直接决定了函数能否对数据长度施加编译期约束。
✅ 数组类型自带长度：
[N]T是一个完整、独立的类型，其中N是类型的一部分。因此，[2]int和[3]int 是完全不兼容的类型。当你在函数签名中声明func f(a [2]int)`，Go 编译器会严格要求传入的实参必须是长度为 2 的整型数组——这不仅是语义约定，更是类型系统层面的硬性约束，无需运行时检查，编译失败即刻暴露问题。❌ 切片无编译期长度信息：
[]int仅表示“某个整型切片”，其长度（len）和容量（cap）均为运行时值。函数无法在签名中表达“只接受长度为 5 的切片”，因为所有[]int都属于同一类型。若需长度保障，必须显式在函数体内用if len(s) != 5 { ... }做运行时校验，否则可能引发 panic 或逻辑错误。
下面是一个清晰的对比示例：
package main
import "fmt"
// ✅ 编译期强制：只能接收长度为 2 的数组
func sum2(arr [2]int) int {
return arr[0] + arr[1]
}
// ✅ 同样合法：长度为 3 的数组是不同类型
func sum3(arr [3]int) int {
return arr[0] + arr[1] + arr[2]
}
// ❌ 错误：不能将 [3]int 传递给期望 [2]int 的函数
// func main() {
// a3 := [3]int{1, 2, 3}
// fmt.Println(sum2(a3)) // 编译错误：cannot use a3 (variable of type [3]int) as [2]int value
// }
func main() {
a2 := [2]int{10, 20}
fmt.Println(sum2(a2)) // 输出：30 —— 安全、高效、零运行时开销
// 若使用切片，则长度检查必须手动处理：
s := []int{1, 2}
if len(s) != 2 {
panic("expected slice of length 2")
}
fmt.Println(s[0] + s[1])
}
⚠️ 注意事项：
- 数组作为参数传递时会整体复制（值传递），大数组可能导致性能开销；如需避免复制，可传递指向数组的指针，例如
func f(p *[5]int)，此时仍保留长度约束且不复制数据。 - 不要混淆
*[N]T（指向 N 元素数组的指针）与[]T（切片）——前者类型安全、长度固定；后者灵活但无编译期长度保证。 - 在 API 设计中，若某操作逻辑上严格依赖特定长度（如 RGB 颜色
[3]float64、二维坐标[2]float64），优先使用数组类型，可大幅提升代码健壮性与可读性。
总之，Go 并非“不支持长度约束”，而是将该能力精准绑定在数组类型系统中——善用它，就能把潜在错误拦截在编译阶段。
