Go slices.DeleteFunc 如何释放被删除元素引用

我在清理一批带指针的记录时，最容易误判的地方不是删除条件，而是“删掉以后对象还会不会被底层数组引用”。结论很明确：当前标准库的 slices.DeleteFunc 会原地压缩切片，并把新长度到原长度之间的尾部元素清零，所以被删除元素中的指针引用会从这块切片存储中断开；但它不会保证立刻释放整个底层数组，也不会抹掉程序其他地方保存的对象指针。

官方文档：https://pkg.go.dev/slices

先分清返回切片与底层数组

DeleteFunc 的签名是 func DeleteFunc[S ~[]E, E any](s S, del func(E) bool) S。它先找到第一个满足条件的元素，再把后面应该保留的元素向前覆盖，最后返回 s[:i]。因此，切片头中的指针可能仍指向原来的数组，只是 len 变小了。

这也是为什么调用时要写成 records = slices.DeleteFunc(records, shouldDelete)。只调用函数而丢弃返回值，变量看到的长度不会改变；如果继续按照旧长度遍历，就会把已经不应参与业务逻辑的槽位也算进去。

看清尾部清零如何断开引用

官方实现最后执行 clear(s[i:])，再返回 s[:i]。对于 []*Record，清零后的槽位变成 nil，垃圾回收器就不会再从这些槽位追到被删除的 Record。对于 []string 或含指针字段的结构体，效果也是切断废弃元素里的引用。

这里的关键词是“从这块切片槽位断开”。如果业务代码先做了 kept := records[1]，kept 仍然是独立的对象指针；如果另一个容器也保存了同一个对象，它同样不会因为 DeleteFunc 而消失。

写出可复用的删除示例

package main

import (
	"fmt"
	"slices"
)

type Record struct {
	ID      int
	Payload []byte // 这个字段代表记录可能继续引用一块较大的数据
}

func main() {
	records := []*Record{
		{ID: 1, Payload: make([]byte, 1024)},
		{ID: 2, Payload: make([]byte, 1024)},
		{ID: 3, Payload: make([]byte, 1024)},
		{ID: 4, Payload: make([]byte, 1024)},
	}

	// 接住返回值：DeleteFunc 会改变有效长度，并在尾部清零被删除槽位。
	records = slices.DeleteFunc(records, func(r *Record) bool {
		if r == nil { // 删除条件要先处理 nil，避免访问字段时触发 panic。
			return false
		}
		return r.ID%2 == 0 // 只删除偶数 ID，保留元素的相对顺序。
	})

	// 这里的 len 是业务有效区；cap 仍可能覆盖原来的底层数组。
	fmt.Println(len(records), cap(records))
	full := records[:cap(records)]
	fmt.Println(full[2] == nil, full[3] == nil) // 示例切片 cap 为 4 时，尾部槽位应为 true true。
}

示例中输出的有效长度是 2，容量通常仍为 4；把切片扩展到容量后观察到的尾部槽位是 nil。这只能说明废弃槽位已经被清零，不能据此断言 Go 运行时立刻把底层数组归还给操作系统。

避开仍然持有底层数组的误区

如果长生命周期对象暂时持有一个大容量切片，即使 DeleteFunc 清除了尾部引用，底层数组本身仍可能被这个切片头保持着。此时可以在确认需要缩容后复制有效区：records = slices.Clone(records)。这一步改变的是存储拥有关系，不是 DeleteFunc 删除语义的一部分。

还有一个边界：删除回调会接收到元素值，回调里不要修改同一切片的长度，也不要把“回调执行过”误当成“元素已经释放”。真正的结果要看返回切片的长度，以及尾部引用是否已经被清零。

相关问题

DeleteFunc 会新建切片吗？

通常不会。它修改原切片的元素内容并返回一个更短的切片视图；如果需要完全独立的底层数组，应在结果上再做复制。

删除的对象一定会马上被垃圾回收吗？

不一定。DeleteFunc 只断开被清零槽位的引用；其他指针、闭包、缓存或容器仍然引用对象时，垃圾回收器仍会保留它。

nil 切片和空但非 nil 切片有什么区别？

DeleteFunc 在结果为空时保留输入切片的 nil 属性。需要区分 nil 语义时，不要只用 len(result) == 0 判断。