GoLang之类型系列二(类型元数据)

GoLang之类型系列二(类型元数据)

注：本文基于Windos系统上Go SDK v1.18进行讲解

1.类型元数据

如果我们自定义一个结构体类型T，并给它关联一个方法F1。我们知道变量t的内存布局只包含一个字符串变量，那它和F1之间怎样建立关联？

type T struct {
    name string
}
func (t T) F1() {
    fmt.Println(t.name)
}  
func main() {
    t := T{name: "eggo"}
    t.F1()
}

由于编译阶段，编译器知道每种类型定义了哪些方法，之前我们也介绍过，方法本质上就是函数，只不过在调用时，接收者会作为第一个参数传入。所以通过变量t来调用方法F1时，编译器自然知道要调用哪个函数。

但是到了执行阶段，为了支持反射、接口动态派发、类型断言这些语言特性或机制，编译器会给每种类型生成对应的类型描述信息写入可执行文件，这些类型描述信息就是类型元数据。

2.类型系统

数据类型虽然很多，但是不管是内置类型还是自定义类型，它的“类型元数据”都是全局唯一的。这些类型元数据共同构成了Go语言的类型系统。
下面就把类型元数据展开，看看里面究竟是什么结构，有什么内容。

3.runtime._type

像类型名称，大小，对齐边界，是否为自定义类型等信息，是每个类型元数据都要记录的。所以被放到了runtime._type结构体中，作为每个类型元数据的Header。
1.size：类型大小
2.ptrdata ：前缀持有所有指针的内存大小
3.align ：作为整体变量存放时的对齐字节数
4.filedalign：当前结构字段的对齐字节数
5.kind：基础类型枚举值和反射中的 Kind 一致，kind 决定了如何解析该类型
6.gcdata：和GC有关
7.str：类型名称字符串在二进制文件段中的偏移量
8.ptrToThis：类型元信息指针在二进制文件段中的偏移量

//go\src\runtime\type.go
//源码如下:
type _type struct {
	size       uintptr
	ptrdata    uintptr // size of memory prefix holding all pointers
	hash       uint32
	tflag      tflag
	align      uint8
	fieldAlign uint8
	kind       uint8
	// function for comparing objects of this type
	// (ptr to object A, ptr to object B) -> ==?
	equal func(unsafe.Pointer, unsafe.Pointer) bool
	// gcdata stores the GC type data for the garbage collector.
	// If the KindGCProg bit is set in kind, gcdata is a GC program.
	// Otherwise it is a ptrmask bitmap. See mbitmap.go for details.
	gcdata    *byte
	str       nameOff
	ptrToThis typeOff
}

4.内置类型元数据

4.1slice的类型元数据slicetype

runtime._type结构体是每个类型元数据的Header，在runtime._type之后存储的是各类型额外需要描述的信息，例如slice的类型元数据在_type结构体后面，记录着一个*_type，指向其存储的元素的类型元数据。

//go\src\runtime\type.go
//源码如下:
type slicetype struct {
	typ  _type
	elem *_type
}

如果是存储string的slice类型，这个指针就指向string类型的元数据。

4.2指针的类型元数据ptrtype

再看看指针类型的元数据，它在_type后面也额外存储了一个*_type，指向指针类型指向的那个类型的元数据。

//go\src\runtime\type.go
//源码如下:
type ptrtype struct {
    typ   _type
    elem  *_type
}

内置类型的元数据都是这样的结构，可以到runtime包下的type.go查看struct、map等类型的元数据信息。

4.3其他内置类型元数据

//go\src\runtime\type.go
//源码如下:


type uncommontype struct {
	pkgpath nameOff
	mcount  uint16 // number of methods
	xcount  uint16 // number of exported methods
	moff    uint32 // offset from this uncommontype to [mcount]method
	_       uint32 // unused
}

type imethod struct {
	name nameOff
	ityp typeOff
}

type interfacetype struct {
	typ     _type
	pkgpath name
	mhdr    []imethod
}

type maptype struct {
	typ    _type
	key    *_type
	elem   *_type
	bucket *_type // internal type representing a hash bucket
	// function for hashing keys (ptr to key, seed) -> hash
	hasher     func(unsafe.Pointer, uintptr) uintptr
	keysize    uint8  // size of key slot
	elemsize   uint8  // size of elem slot
	bucketsize uint16 // size of bucket
	flags      uint32
}

type arraytype struct {
	typ   _type
	elem  *_type
	slice *_type
	len   uintptr
}

type chantype struct {
	typ  _type
	elem *_type
	dir  uintptr
}

type slicetype struct {
	typ  _type
	elem *_type
}

type functype struct {
	typ      _type
	inCount  uint16
	outCount uint16
}

type ptrtype struct {
	typ  _type
	elem *_type
}

type structfield struct {
	name       name
	typ        *_type
	offsetAnon uintptr
}


type structtype struct {
	typ     _type
	pkgPath name
	fields  []structfield
}

// name is an encoded type name with optional extra data.
// See reflect/type.go for details.
type name struct {
	bytes *byte
}

type _typePair struct {
	t1 *_type
	t2 *_type
}

5.自定义类型元数据

5.1uncommontype结构体、method结构体

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

//go\src\runtime\type.go
//源码如下:
type nameOff int32
type uncommontype struct {
	pkgpath nameOff
	mcount  uint16 // number of methods
	xcount  uint16 // number of exported methods
	moff    uint32 // offset from this uncommontype to [mcount]method
	_       uint32 // unused
}

方法元数据结构如下：

//go\src\runtime\type.go
//源码如下:
type nameOff int32
type typeOff int32
type textOff int32
type method struct {
	name nameOff
	mtyp typeOff
	ifn  textOff
	tfn  textOff
}

5.2自定义slice的类型元数据

例如，我们基于[]string定义一个新类型myslice，它就是一个自定义类型，可以给它定义两个方法Len和Cap。

type myslice []string
func (ms myslice) Len(){
    fmt.Println(len(ms))
}
func (ms myslice) Cap(){
    fmt.Println(cap(ms))
}

myslice的类型元数据中，首先是slicetype类型描述信息，然后在后面加上uncommontype结构体。注意通过uncommontype这里记录的信息，我们就可以找到myslice的方法元数据列表了。

6.alias

现在我们可以利用类型元数据来描述下面这两种写法的不同了：

type MyType1 = int32
type MyType2 int32

MyType1这种写法，叫做给类型int32取别名，实际上MyType1和int32会关联到同一个类型元数据，属于同一种类型。rune和int32就是这样的关系。

而MyType2这种写法，属于基于已有类型创建新类型，MyType2会自立门户，拥有自己的类型元数据，即使MyType2相对于int32来说没有做任何改变，它们两个对应的类型元数据也已经不同了。

既然每种类型都有唯一对应的类型元数据，而类型定义的方法能通过类型元数据找到，那么，很多问题就变得好解释了，例如接下来的“接口”。