作为常年写Go的后端开发，slice是日常编码最高频的数据结构。很多人以为slice就是动态数组，但底层是数组+指针+长度+容量的复合结构，很多bug都源于对底层原理理解不深。下面整理了实际项目里最容易踩的10个坑
1. 误以为slice是值类型，直接传参修改原切片
很多新手以为slice是引用类型，函数内部修改元素，外部就一定生效。修改切片元素可以，但是直接重新赋值切片，外部不会变化。
packagemainimport"fmt"funcmodifySlice(s[]int){s=append(s,999)// 这里是局部变量s重新指向新数组，外部完全感知不到}funcmain(){s:=[]int{1,2,3}modifySlice(s)fmt.Println(s)// 输出 [1 2 3]，并没有追加999}✅ 原因：slice结构体本身是值拷贝（ptr,len,cap复制一份），内部append触发扩容会生成新底层数组，局部变量修改不会影响外层。
✅ 解决：返回新slice，或者传指针。
2. append后保留旧切片，意外修改共享底层数组
切片截取操作s[low:high]不会复制底层数组，新旧slice共用同一个底层数组，修改会互相影响。
packagemainimport"fmt"funcmain(){a:=[]int{1,2,3,4,5}b:=a[:3]b[0]=99fmt.Println(a)// [99 2 3 4 5]，原数组被修改！}✅ 解决：如果需要独立切片，使用copy复制，或者完整表达式a[low:high:max]限制容量。
3. 空切片nil 和 空非nil切片混淆（判等踩坑）
var s []int是nil切片；s := []int{}是长度0，但不是nil。二者len(s)都是0，但==nil结果不一样，序列化、数据库处理时容易踩坑。
packagemainimport"fmt"funcmain(){vars1[]int// nil切片s2:=[]int{}// 非nil，len=0fmt.Println(s1==nil)// truefmt.Println(s2==nil)// false}✅ 经验：判断切片是否为空，永远用 len(s) == 0，不要用 s == nil。
4. 切片截取越界，编译不报错，运行panic
数组截取不能超过原切片cap，只看len容易翻车。截取的上限不能超过底层数组容量。这个错是非常容易不被察觉就上线到生成环境，者也是我个人多次遇到的一个犯错点
packagemainfuncmain(){s:=[]int{1,2,3}_=s[1:10]// 运行直接panic，编译不会报错！}✅ 经验：切片截取只会在运行期校验边界，不要硬写固定索引。
5. 循环append，没有预估容量，频繁扩容带来性能损耗
append扩容策略：容量不足时自动翻倍扩容，大量循环追加，反复复制底层数组，GC压力大。
packagemainfuncmain(){varres[]intfori:=0;i<10000;i++{res=append(res,i)}}✅ 优化：提前预估长度，初始化res := make([]int,0,10000)预分配cap，减少数组拷贝。
6. 删除元素时，直接截取，忘记清理被删除位置的指针（内存泄漏）
当slice元素是指针类型，使用切片截取删除元素，底层数组依然持有旧指针，GC无法回收对象，造成内存泄漏。
packagemaintypeUserstruct{Namestring}funcmain(){list:=[]*User{{Name:"a"},{Name:"b"},{Name:"c"}}list=list[:1]// 底层数组索引1、2依然保存*User指针，对象不会被GC}✅ 修复：手动置空指针list[1] = nil，再截断切片。
7. 切片range循环，复用循环变量，取地址拿到同一个变量
range循环的v是同一个变量，每次循环覆盖值。保存&v会全部指向同一个地址。
packagemainimport"fmt"funcmain(){data:=[]int{10,20,30}varres[]*intfor_,v:=rangedata{res=append(res,&v)}fmt.Println(*res[0],*res[1])// 全部输出30}✅ 修复：循环内部临时变量拷贝一份：val := v; res = append(res, &val)
8. make初始化切片，混淆长度和容量
新手经常把make三个参数搞反：make([]T, len, cap)，len是初始元素数量，cap是底层数组容量。
packagemainimport"fmt"funcmain(){s:=make([]int,2,5)fmt.Println(len(s),cap(s))// len=2，两个默认0元素s=append(s,100)fmt.Println(s)// [0 0 100]}很多人误以为make([]int,0,5)会生成2个元素，搞混后索引取值直接panic。
✅ 经验：想要空切片只预分配容量，写make([]int,0,cap)。
9. 直接对slice使用==比较
切片不能直接==，编译报错，只能和nil比较。
packagemainfuncmain(){a:=[]int{1,2}b:=[]int{1,2}fmt.Println(a==b)// 编译错误：slice can only be compared to nil}✅ 解决：写循环逐个对比元素，或者用反射（不推荐生产高频调用）。
10. 函数返回子切片，无意中持有大数组，内存泄漏
从大切片截取一小段返回，原大底层数组不会释放。哪怕只返回几个元素，整个底层数组常驻内存。
packagemainfuncgetPart()[]byte{big:=make([]byte,1024*1024)// 1MB大数组returnbig[:10]// 返回前10个字节// 整个1MB底层数组无法被GC释放}✅ 修复：新建小切片，copy需要的数据，切断对大数组的引用。
总结
slice的坑，本质都是一件事：分清切片描述符 和 底层数组。
- slice本身是小结构体，值传递；底层数组才是数据存储；
- 切片截取共享底层数组，小心互相修改、内存泄漏；
- 判空统一用 len(s)==0；
- 大量append提前预分配容量，减少拷贝。
掌握这几点，80%的slice相关bug都可以提前规避。
