在 go 语言函数中，gc 自动回收不再使用的内存，其实现方式为：追踪标记： gc 线程标记所有可达对象。清除： 清除标记为垃圾的对象，回收其内存。例如，在函数 f 中创建的切片 s 在 f 返回时被标记为垃圾并回收。

Go 语言函数中 GC 的实现

在 Go 语言中，垃圾回收 (GC) 是由运行时自动进行的，以回收不再使用的内存。当函数返回时，GC 会检查函数的堆栈帧中引用的对象，并将不再需要的对象标记为垃圾。

GC 的实现方式

立即学习“go语言免费学习笔记（深入）”；

Golang Uber Dig

使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等

下载

Go 语言的 GC 采用分代式标记-清除算法：

1. 追踪标记 (Mark)：GC 线程会遍历堆内存，标记所有可达的对象。可达对象是指从程序根对象（例如全局变量、方法值）可通过指针追踪到的对象。
2. 清除 (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 占据的内存是如何被释放的。