gc如何处理切片内存回收

编程并不是一个机械性的工作，而是需要有思考，有创新的工作，语法是固定的，但解决问题的思路则是依靠人的思维，这就需要我们坚持学习和更新自己的知识。今天编程网就整理分享《GC如何处理切片内存回收》，文章讲解的知识点主要包括，如果你对golang方面的知识点感兴趣，就不要错过编程网，在这可以对大家的知识积累有所帮助，助力开发能力的提升。

var a = [...]int{1,2,3,4,5,6}
s1 := a[2:4:5]

假设 s1 比 a 晚超出范围。 gc如何知道回收s1底层数组a的内存？

考虑 s1、spec 的运行时表示

type SliceHeader struct {
        Data uintptr
        Len  int
        Cap  int
}

gc 甚至不知道 a 的开头。

解决方案

Go 使用标记和清除收集器作为当前的实现。

根据该算法，将有一个根对象，其余的为树状结构，如果是多核机器，gc 会与一个核上的程序一起运行。

gc 将遍历树，当某些东西无法到达时，将其视为空闲。

go 对象还具有对象的元数据，如 post 中所述。

摘录：

我们需要一些有关对象的信息，因为我们没有标头。标记位保留在侧面，用于标记和分配。每个字都有 2 个与其关联的位，用于告诉您该字内是标量还是指针。它还对对象中是否有更多指针进行编码，以便我们可以尽早停止扫描对象。

go 的切片（切片头）是结构而不是指向结构的指针的原因由 russ cox 在切片部分的 page 中记录。

这是摘录：

go 最初将切片表示为指向结构（切片头）的指针，但这样做意味着每个切片操作都会分配一个新的内存对象。即使使用快速分配器，也会为垃圾收集器带来大量不必要的工作，并且我们发现，与字符串的情况一样，程序避免了切片操作，而有利于传递显式索引。删除间接和分配使得切片足够便宜，可以在大多数情况下避免传递显式索引。

数组的大小（长度）是其类型的一部分。 [1]int 和 [2]int 类型是不同的。

要记住的一件事是 go 是面向值的语言，它们不存储指针，而是存储直接值。

[3]int，数组是 go 中的值，所以如果你传递一个数组，它会复制整个数组。 [3]int 这是一个值（一个整体）。

当执行 a[1] 时，您正在访问该值的一部分。

sliceheader 数据字段表示将此视为数组的基点，而不是 a[0]

据我所知：

当有人请求 a[4] 时，

a[0]+(sizeof(type)*4)

已计算。

现在，如果您通过切片 s = a[2:4] 访问某些内容， 如果有人请求 s[1]，则请求的是，

a[2]+sizeof(type)*1

理论要掌握，实操不能落！以上关于《gc如何处理切片内存回收》的详细介绍，大家都掌握了吧！如果想要继续提升自己的能力，那么就来关注编程网公众号吧！