Go语言数组与切片区别解析

Go语言中数组与切片的根本差异在于：数组是编译期长度固定、类型级约束强、栈上内存布局确定的值类型，适用于哈希校验、C互操作等需严格长度保障的场景；而切片是轻量的三字段结构体（指针+长度+容量），提供灵活的数据视图和动态扩展能力，但其底层共享与append扩容行为暗藏共享突变与引用断裂风险——选数组还是切片，本质是在“长度契约的确定性”与“数据操作的灵活性”之间做精准权衡。

什么时候必须用 [N]T 而不能用 []T

只有当你需要「类型级长度约束」或「栈上确定内存布局」时，才该选数组。比如：sha256.Sum256 底层是 [32]byte，因为哈希值长度绝不能变；又比如 C 互操作中传固定大小的缓冲区（C.char[256]），Go 数组能直接对应 C 的 struct 字段。

• 声明 var a [3]int 和 var b [5]int → 它们是完全不同的类型，不能赋值、不能传给同一个函数参数
• 函数参数写成 func f(a [1000]int) → 每次调用都复制 1000 个整数，栈空间暴涨，且函数内改 a[0] 不影响原数组
• 想把数组当“轻量结构体”用？可以，但别把它当成容器——它不是为增删设计的

[]T 的底层结构到底藏着什么陷阱

切片不是指针，而是一个三字段结构体：ptr（指向底层数组首地址）、len（当前长度）、cap（容量上限）。这 24 字节（64 位系统）本身不存数据，只“看”数据。

• s := []int{1,2,3} → 底层自动分配一个数组，s 只存那 24 字节，len(s)==3，cap(s)==3
• s1 := arr[:2]; s2 := arr[1:3] → 若 arr 长度为 3，s1 和 s2 共享同一底层数组；s1 = append(s1, 99) 后，s2[0] 可能突变成 99
• append 是否扩容，只看 len == cap：够就复用原数组，不够就 malloc 新数组并 copy —— 这个切换悄无声息，但会断开与其他切片的共享关系

传参时改不改得到原数据？关键看你是动了切片头还是底层数组

切片传参是值传递（复制那 24 字节），但其中的 ptr 初始指向同一地址。所以能否影响“外面”，取决于你操作的是哪一层。

• func f(s []int) { s[0] = 999 } → 调用后原切片 s[0] 确实变成 999（改的是底层数组）
• func f(s []int) { s = append(s, 123) } → 如果触发扩容，新数组只在函数内可见；返回后原切片完全不受影响（改的是切片头里的 ptr）
• 想确保扩容也影响调用方？得传 *[]int，但极少需要——通常应让函数返回新切片

初始化为空切片，为什么 var s []int 和 s := []int{} 行为不同

零值是分水岭：var s []int 得到的是 nil 切片，len/cap 都为 0，且 s == nil 为真；而 []int{} 或 make([]int, 0) 创建的是非 nil 切片，底层数组已分配（哪怕容量为 0）。

• var s []int; s = append(s, 1) → 安全，append 会自动分配底层数组
• var s []int; s[0] = 1 → panic: index out of range，因为 s 是 nil，没底层数组可写
• JSON 解码时若字段声明为 []string，空数组 JSON [] 会解到非 nil 切片，而缺失字段会解到 nil 切片——判断是否为空，别只用 len(s) == 0，得先 s != nil

切片的“引用性”靠的是结构体里的隐式指针，但它随时可能被 append 悄悄换掉；数组的“确定性”来自编译期长度绑定，代价是失去弹性。选哪个，不是看哪个更“高级”，而是看你在乎的是长度契约，还是数据视图的灵活性。

今天关于《Go语言数组与切片区别解析》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于的内容请关注golang学习网公众号！