Go 切片截取后原数组无法回收导致内存泄漏怎么办？

Question

仓乃文 · Accepted Answer

切片截取 s[low:high] 不会复制底层数组，新切片和原切片共享同一块内存。当原数组很大但截取后只用到很小一部分时，整块大数组因被小切片引用而无法被 GC 回收，这就是 Go 中最隐蔽的内存泄漏之一。

泄漏场景：
```go
func leak() []byte {
    big := make([]byte, 1<<20) // 1MB
    small := big[:10]           // 只用前 10 字节，但整块 1MB 无法回收
    return small
}
```

修复方法——copy 切断引用：
```go
func noLeak() []byte {
    big := make([]byte, 1<<20)
    small := make([]byte, 10)
    copy(small, big[:10]) // 新底层数组，big 可被 GC 回收
    return small
}
```

用完整切片表达式限制容量：
```go
s := big[low:high:max] // cap = max - low，append 时立即分离
```

补充说明：
- 这类泄漏在日志处理、文件读取、协议解析中极常见
- 完整切片表达式 a[low:high:max] 能限制 cap，append 时立即分配新数组
- pprof 中看到内存增长但对象数不多，优先怀疑切片截取泄漏
- 规则：只要返回的切片远小于底层数组，就必须 copy