如何在Go中使用指向结构体成员的指针来保持结构体的活动状态

本篇文章主要是结合我之前面试的各种经历和实战开发中遇到的问题解决经验整理的，希望这篇《如何在Go中使用指向结构体成员的指针来保持结构体的活动状态》对你有很大帮助！欢迎收藏，分享给更多的需要的朋友学习~

给出以下 golang 代码：

type pointer struct { x, y int }

func foo(p *pointer) *int {
    return &p.y
}

compilerexplorer 显示 return &p.y 编译为

TESTB   AL, (AX)
ADDQ    $8, AX
RET

很容易理解。 testb 是空检查，然后 addq 通过将 pointer::y 的偏移量添加到 p 来生成指向 p.y 的指针。

我不明白的是，给定一个指向 p.y 的指针，垃圾收集器如何知道它不仅仅是一个任意的 *int，而是一个指向 pointer::y 的指针，因此 p 必须保持活动状态只要指向 p.y 的指针仍然存在？

正确答案

读完source code后我找到了答案。

1. 使用基于 Arena/span 的分配。
2. Arena 和 Span 与页面对齐，因此计算指针指向哪个 arena 很简单。
3. 有一个全局向量存储所有领域和跨度的元数据。
4. 每个跨度都有固定的“元素大小”。同一跨度内的所有对象都具有相同的大小。
5. 给定指针 p、span b 的基地址以及 span s 的元素大小，我们知道指针指向 span 中的第 n 个元素，其中 n = (p - b) / s。
6. 因此是span中第n个对象的地址b + s * n，需要将其标记为存活。

本篇关于《如何在Go中使用指向结构体成员的指针来保持结构体的活动状态》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于Golang的相关知识，请关注golang学习网公众号！