Go垃圾回收：如何处理指向内存分配起始位置以外的引用？

先看你给出的例子：

array := make([]int, 1000)
slice := array[999:1000]
array = nil

此时即便array被置为nil，GC依然会保留整个数组——这背后的核心是Go的内存分配器和GC紧密结合，靠内存块元数据来实现完整内存块的追踪。

核心原理：每个内存块都有专属元数据 #

Go在分配内存时，会给每一块从堆上分配的内存（数组、结构体、字符串底层数组等）附加元数据，这些元数据里记录了：

• 内存块的起始地址
• 内存块的总大小
• 其他用于GC和内存管理的标记信息

这些元数据不会暴露给用户代码，但GC和内存分配器可以直接访问。

GC标记阶段的处理逻辑 #

当GC进入标记阶段，遍历所有根对象（栈变量、全局变量等）时，遇到任何指向堆内存的指针（哪怕它指向的是内存块的中间位置），都会执行以下步骤：

1. 根据当前指针的地址，查找对应的内存块元数据——也就是找到这个地址属于哪一块完整的分配内存。
2. 将该内存块的起始地址对应的整个块标记为存活（在用）。
3. 递归处理该内存块内部包含的其他指针，继续标记关联的内存。

不同场景的具体表现 #

• 切片场景：切片的底层结构包含指向数组元素的指针、长度和容量。哪怕指针指向数组的末尾（比如例子中的slice），GC依然能通过这个指针定位到整个数组的元数据，进而标记整个数组为存活。
• 结构体场景：如果只持有结构体某个字段的指针，GC会通过字段地址反向找到所属结构体的内存块，标记整个结构体为存活，不会因为只引用了部分字段就回收整个结构体。
• 字符串场景：字符串的底层是指向字节数组的指针和长度，子串的指针指向原字节数组的中间位置时，GC同样能定位到原字节数组的完整内存块，确保整个块不会被回收。

对你猜测的验证 #

你之前猜测的“通过内部分配块机制查找包含该引用地址的块，并将整个块标记为在用”完全正确——这就是Go GC处理这类场景的核心逻辑，元数据和反向查找机制保证了只要内存块的任何部分被引用，整个块都会被保留。

内容的提问来源于stack exchange，提问作者Gonen I