类型元数据
runtime._type 类型元数据
类型名称、类型大小、对齐边界、是否自定义等,是每个类型元数据都要记录的信息,所以被放到了runtime._type结构体中,作为每个类型元素的Heade

在_type之后存储的是各种类型额外需要描述的信息,例如slice的类型元数据在_type结构体后面,记录着一个*_type指向其存储的元素的类型元数据,如果是string类型的slice,这个指针就指向string类型的元数据。

如果是自定义类型,后面还会有一个uncommontype结构体
| uncommontype | 意义 |
|---|---|
| pkgpath | 记录类型所在的包路径 |
| mcount | 记录该类型关联到多少个方法 |
| moff | 记录的是这些方法元数据组成的数组,相对于这个uncommontype结构体偏移了多少字节 |

自定义类型元数据
例如我们基于[]string定义一个新类型myslice,他就是一个自定义类型,可以给它定义两个方法Len和Cap。
myslice类型元数据,首先是[]string的类型描述信息,然后在后面加上uncommontype结构体。
注:通过
uncommontype这里记录的moff

本文详细介绍了Go语言中类型元数据的结构,包括runtime._type中的信息,以及自定义类型元数据的附加内容。接着讨论了接口的数据结构,包括空接口和非空接口的区别,并解析了itab结构体的复用机制。最后,文章深入探讨了类型断言的四种形式,强调了类型元数据在判断类型匹配和方法实现中的关键作用。
最低0.47元/天 解锁文章
1038

被折叠的 条评论
为什么被折叠?



