Go 子切片长期保存导致大数组无法回收怎么办

如果一个服务只把大缓冲区中的几十个字节放进长期缓存，却发现内存迟迟降不下来，先检查这个缓存值是不是一个子切片。Go 的子切片只是原数组的一段视图，不会自动复制数据；只要它还被结构体、map 或缓存持有，原来的大数组就可能继续保持可达。

官方资料：https://go.dev/blog/slices-intro

短期处理可以直接切片；长期保存的小片段应复制到新的底层数组。把容量限制为长度只能防止 append 写回旧数组，不能让旧数组被垃圾回收。

• 先看清楚：len 很小，不代表底层数组很小。
• 再分开：限制 cap 是写入边界，复制才是引用边界。
• 最后复查：旧子切片、缓存键和值、指针元素都可能留下长期引用。

先从 len 和 cap 判断是不是“小窗口”

切片本身可以理解为“指向底层数组某个位置的描述符”，它携带长度和容量。把大数据切成 buf[100:116] 后，len 只有 16，但它仍然指向 buf 的存储区域。只要这个切片被长期对象保存，垃圾回收器就不能把仍可达的底层数组当成无用数据。

package main

func keepSmallWindow(buf []byte) []byte {
	// 这里只保留一个很小的视图，不会复制原数组内容。
	window := buf[100:116]
	// len 很小，但 window 仍然和 buf 共享底层数组。
	return window
}

排查时不要只打印长度。可以同时记录片段是否会跨越函数或请求生命周期、是否进入缓存，以及它的容量是否远大于长度。容量很大是强烈信号，但即使容量看起来不大，只要切片仍和大数组共享存储，也应该从数据所有权角度确认它是否需要独立保存。

full slice expression 能限制什么，不能限制什么

有时我们会写成 window := buf[100:116:116]，把容量限制为长度。这样做的意义是：后续对 window 的 append 不会继续覆盖原数组在窗口之后的元素，通常会触发新的分配。它改变的是追加写入的边界，不是切片对底层数组的引用关系。

func limitAppend(window []byte) []byte {
	// 三个下标分别是起点、终点和容量终点。
	bounded := window[:len(window):len(window)]
	// append 可能分配新数组，但 bounded 本身仍引用旧数组。
	return append(bounded, '!')
}

因此，下面两种问题要分别回答：如果担心调用方 append 后改到相邻数据，可以限制容量；如果担心长期保存导致大数组不能回收，必须创建新的底层数组并复制有效内容。

长期保存时复制有效片段

最清楚的修复方式是按片段长度新建切片，再用 copy 复制。新切片和原缓冲区之间不再共享底层数组，原缓冲区在没有其它引用后才有机会被回收。

func cloneWindow(buf []byte, start, end int) []byte {
	// 调用方应先保证区间合法；这里复制的是需要长期保存的内容。
	src := buf[start:end]
	owned := make([]byte, len(src))
	// copy 只复制有效片段，不把大缓冲区一起带进缓存。
	copy(owned, src)
	return owned
}

func cloneWithAppend(src []byte) []byte {
	// nil 目标让 append 创建独立存储，适合保存一份小副本。
	return append([]byte(nil), src...)
}

如果片段可能为空，make([]byte, 0) 和 append([]byte(nil), src...) 的 nil 语义可能不同，应该按接口约定选择。复制只负责切断字节切片的底层数组关系，不会深复制片段中包含的指针指向的对象。

别忘了缓存和嵌套引用

修复函数本身后，还要沿着返回值的去向复查。常见遗漏包括：缓存同时保存了原始 buf 和复制后的值；结构体的另一个字段仍引用原数组；切片元素是指针或带指针字段的结构体，复制切片后仍然共享元素指向的对象；或者某个 goroutine 闭包捕获了旧切片。

不要为了追求“看起来独立”而盲目复制所有数据。短生命周期的解析窗口可以继续共享原数组；真正需要复制的是跨请求、跨批次或长期缓存的少量结果。这样既切断不必要的保留，也不会把每一次临时切片都变成额外分配。

常见问题

把子切片的 cap 调小就能释放大数组吗？

不能。三下标切片只改变追加时的容量上限，子切片仍然引用原底层数组；要解除长期保留，应复制有效内容。

复制后的切片一定不会共享任何内存吗？

对于元素为字节等值类型的切片，复制会切断底层数组共享；如果元素包含指针、map、slice 或指针字段，复制通常只是浅复制，仍需按对象所有权决定是否深复制。

怎样确认修复没有留下旧引用？

沿保存路径检查结构体、map、缓存和闭包，把旧切片全部替换或清除；再用针对性的内存观测和边界测试对比修复前后的长期对象规模。不要把一次局部的 len 变小当成回收已经发生的证据。

这类问题的判断顺序可以固定下来：先确认子切片是否跨越了长期生命周期，再区分容量边界和引用边界，最后用 make 加 copy 或独立 append 复制真正需要保存的内容。只要旧数组不再被其它入口持有，垃圾回收才有机会回收它。