在 go 语言函数中,gc 自动回收不再使用的内存,其实现方式为:追踪标记: gc 线程标记所有可达对象。清除: 清除标记为垃圾的对象,回收其内存。例如,在函数 f 中创建的切片 s 在 f 返回时被标记为垃圾并回收。
Go 语言函数中 GC 的实现
在 Go 语言中,垃圾回收 (GC) 是由运行时自动进行的,以回收不再使用的内存。当函数返回时,GC 会检查函数的堆栈帧中引用的对象,并将不再需要的对象标记为垃圾。
GC 的实现方式
Go 语言的 GC 采用分代式标记-清除算法:
- 追踪标记 (Mark):GC 线程会遍历堆内存,标记所有可达的对象。可达对象是指从程序根对象(例如全局变量、方法值)可通过指针追踪到的对象。
- 清除 (Sweep):标记完成之后,GC 线程将清除所有标记为垃圾的对象,并回收其占据的内存。
实战案例
下面的代码演示了 GC 在函数中的行为:
package main
import "fmt"
import "runtime"
func main() {
// 创建一个匿名函数,并在其内部分配内存
f := func() {
var s []int
for i := 0; i < 1000000; i++ {
s = append(s, i)
}
}
// 调用匿名函数
f()
// GC 标记函数堆栈帧中的对象
runtime.GC()
// GC 清除不再需要的对象
runtime.GC()
}
在该示例中,匿名函数 f 创建了一个 s 切片,并向其追加了 100 万个整数。当 f 返回时,s 切片不再被引用,因此 GC 会将其标记为垃圾并回收其占据的内存。
通过在匿名函数返回前和返回后运行 runtime.GC(),我们可以强制 GC 立即执行,并观察 f 占据的内存是如何被释放的。