Go语言怎么实现Slice底层_Go语言Slice底层原理教程【收藏】

append不修改原slice，因它返回新slice且只拷贝header；必须s=append(s,3)赋值更新；扩容时底层数组可能新建，共享数组需用unsafe.Pointer(&s[0])比地址；nil slice仅指array=nil且len/cap=0。为什么 append 有时不修改原 slice？因为 append 返回的是新 slice，不是就地修改——它可能复用底层数组，也可能分配新数组，但无论哪种情况，append 都不改变传入的 slice 变量本身。常见错误现象：s := []int{1,2}; append(s, 3); fmt.Println(s) 输出仍是 [1 2]，没变必须显式赋值：s = append(s, 3) 才能更新引用根本原因：slice 是结构体值（24 字节），传递给 append 时只拷贝 header，函数内部无法反向写回原变量如果扩容发生（cap 不足），append 会新建底层数组并复制数据，此时旧 slice 和新 slice 完全无关怎么判断两个 slice 是否共享底层数组？不能靠 ==（编译报错），也不能靠 len/cap 相同——唯一可靠方式是比对底层数组首地址。用 unsafe.Pointer(&s[0]) 获取起始地址（注意：s 不能为空，否则 panic）示例：s1 := []int{1,2,3,4,5}; s2 := s1[2:4]; fmt.Printf("%p %p", &s1[0], &s2[0]) 输出相同地址 → 共享陷阱：即使地址相同，若其中一个 slice 经历过 append 且触发扩容，就立刻断开共享工程中慎用共享行为，尤其在并发或函数返回后继续使用原始 slice 时，容易静默出错make([]T, len, cap) 的 len 和 cap 到底怎么配？len 是“当前可用长度”，cap 是“还能往里塞多少而不扩容”——两者差值就是预留空间，直接影响后续 append 是否触发内存分配。 知网AI智能写作 知网AI智能写作，写文档、写报告如此简单