Go slice 截取后大数组为什么仍被保留

我第一次遇到这个问题，是一个只返回几十个字节的解析函数，却让进程的内存曲线迟迟下不来。代码看起来只是把缓冲区截了一小段，但返回值仍然指向原来的大数组。结论很明确：普通的 slice 截取不会复制数据；如果结果要长期保存，就应该把需要的片段复制到新的底层数组中。

这不是把 GC 调得更积极就能解决的问题，而是对象仍然可达。下面从切片的结构、典型问题和两个修复写法展开。

先看切片到底保存了什么

可以把一个 slice 理解成“指针、长度、容量”三个信息的组合。buf[start:end] 只改变这三个信息里的起点和范围，不会把元素逐个搬到新的数组。

package main

import "fmt"

func main() {
	// 截取只创建新的切片描述值，a 和 part 共享同一块底层数组。
	a := []byte("request-id=abc123;payload=large-data")
	part := a[:14]

	// 长度是当前可读范围，容量从 part 的起点延伸到原数组末尾。
	fmt.Println(string(part), len(part), cap(part))

	// 修改 part 的元素会反映到 a，这是共享底层数组的直接证据。
	part[0] = 'R'
	fmt.Println(string(a[:14]))
}

因此，len(part) 很小，并不等于它占用的底层数组也很小。尤其是从数组前部截取时，cap(part) 可能仍然接近原缓冲区容量；即使容量变小，只要指针仍落在原数组上，垃圾回收器就不能把这块数组当成完全无引用的对象。

小切片为什么会拖住大数组

最容易踩坑的场景是读取文件、请求体或消息缓冲区后，只返回其中一个局部字段。下面的函数返回了数字片段，但返回切片仍然来自整份数据：

package main

import "regexp"

var digitRegexp = regexp.MustCompile(`[0-9]+`)

func findDigits(data []byte) []byte {
	// Find 返回的结果仍可能指向 data 的底层数组，不会自动复制匹配内容。
	return digitRegexp.Find(data)
}

假设 data 是几百 MB 的文件内容，而匹配结果只有十几个字节。只要调用方把返回值放进缓存、任务对象或长生命周期结构里，整份原始数组仍会被这条引用链保留。这里要关注的是“结果保存多久”和“原始数组有多大”，不是只看返回值的长度。

用复制切断底层数组引用

最直观的修复方式是为结果分配一块刚好够用的新切片，再复制需要的内容。复制完成后，返回值与原始缓冲区之间不再共享底层数组。

package main

import "regexp"

var digits = regexp.MustCompile(`[0-9]+`)

func copyDigits(data []byte) []byte {
	// 先找到范围；没有匹配时返回 nil，避免无意义的分配。
	matched := digits.Find(data)
	if matched == nil {
		return nil
	}

	// 新数组只保存匹配片段，调用方长期持有也不会继续引用 data。
	result := make([]byte, len(matched))
	copy(result, matched)
	return result
}

在支持的 Go 版本中，bytes.Clone(matched) 也能表达同一意图，代码更短。对于空结果，仍要先明确项目对 nil 和空切片的约定；如果调用方只关心是否有内容，保持 nil 通常更省事。

package main

import "bytes"

func keepSmallPart(data, part []byte) []byte {
	// Clone 返回独立副本；part 为空时不会把无效引用带到长期对象里。
	return bytes.Clone(part)
}

什么时候值得复制

复制并非所有场景都必须做。一次函数调用内临时处理、原始缓冲区本身很小，或者结果只在当前请求中短暂使用时，共享底层数组通常更省分配。相反，下面几类情况应优先考虑复制：

• 原始数据明显大于返回片段，并且返回值会进入缓存、队列或全局状态。
• 原始缓冲区会被复用、清空或继续写入，而结果需要保持稳定快照。
• 结果的生命周期明显长于原始读取函数，希望让大数组尽快失去引用。

工程上可以把判断压缩成一句话：短期借用就切片，长期保存就复制。复制会增加一次内存分配和拷贝成本，所以不要为了“看起来更安全”给每个小切片都 Clone；只在大小比例和生命周期确实不对称时切断引用。

常见问题

把 slice 赋值给另一个变量会复制数组吗？

不会。赋值只复制 slice 描述值，两个变量仍可能指向同一底层数组。需要独立数据时使用 copy、bytes.Clone 或等价的显式复制。

把容量限制为 part[:len(part):len(part)] 能释放大数组吗？

不能。三下标切片表达式只限制后续 append 能使用的容量，不会复制元素，也不会切断对底层数组的引用。要让大数组不再由结果保留，仍需复制。

如何判断代码是否真的改善了内存占用？

先确认结果对象的生命周期和原始缓冲区大小，再用项目已有的内存分析手段观察趋势。本文的结构图用于解释引用关系，不代表某次运行的测量结果；具体数据应由你的业务压测和内存剖析得出。

记住这条边界即可：s[a:b] 是共享底层存储的视图，make+copy 或 bytes.Clone 才是独立副本。遇到“小结果长期存在、大输入迟迟不释放”，先检查这条引用链。