golang类型系统

字符串 string

布尔类型 bool

数值类型 

指针类型(Pointer types)

结构体类型(Struct types)

函数类型(Function types)

数组类型(Array types)

切片类型(Slice types)

映射类型(Map types)

通道类型(Channel types)

接口类型(Interface types)

type NewTypeName SourceType

type _type struct{
   size uintptr  // 大小
    ptrdata uintptr // size of memory prefix holding all pointers
    hash uint32  // 类型 Hash
    tflag tflag // 类型的特征标记
    align uint8 // _type 作为整体变量存放时的对齐字节数
    fieldalign uint8 // 当前结构字段的对齐字节数
    kind uint8 // 基础类型枚举值和反射中的 Kind 一致，kind 决定了如何解析该类型
    alg *typeAlg // 指向一个函数指针表，该表有两个函数，一个是计算类型 Hash 函数。另一个是比较两个类型是否相同的 equal 函数
    gcdata *byte // GC 相关
    str nameOff // str 用来表示类型名称字符串在编译后二进制文件中某个 section、 的偏移量
    ptrToThis typeOff  // ptrToThis 用来表示类型元信息的指针在编译后二进制文件中某个section 偏移量，有连接器负责填充
}

structtype

prttype

slicetype

...

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 iface struct {
 tab  *itab 
 data unsafe.Pointer //动态类型数据
}

type eface struct {
 _type *_type //动态类型元数据
 data  unsafe.Pointer //动态类型数据
}

判断空接口中_type是否是具体类型的类型元数据(通过hash比较)

通过<接口类型，具体类型的_type>找到的itab是否与具体类型的itab一致就行了

其实就是判断，空接口的_type是否实现了非空接口，可以先去itab缓存里面通过<非空接口类型,空接口的_type>进行查找，如果找到并且fun[0]=0,就代表实现该非空接口。如果没有找到，就通过itab中的fun查找是否实现了非空接口中的所有方法

与空接口.(非空接口)一致

运行时反射是程序在运行期间检查其自身结构的一种方式

从 interface{} 变量可以反射出反射对象

从反射对象可以获取 interface{} 变量

要修改反射对象，其值必须可设置