GO语言类型系统,接口,类型断言

目录

类型系统

空接口赋值:

 非空接口:

类型断言:

空接口.(具体类型)

 非空接口.(具体类型)

空接口.(非空接口)

 非空接口.(非空接口)


类型系统

每种类型都有对应的类型元数据,而类型定义的方法通过类型元数据找到。每种类型的类型元数据都是全局唯一的。

注意:别名是别名 ,自定义类型是自定义类型

GO语言类型系统,接口,类型断言_第1张图片

空接口赋值:

GO语言类型系统,接口,类型断言_第2张图片

 非空接口:

关键在于这个itab,指向具体元数据和方法 

GO语言类型系统,接口,类型断言_第3张图片

 举个例子: 一旦接口类型确定了,动态类型也就确定了。所以这两个不会变,变的是下面那些。因此,此时itab结构体就可以按照那两个固定的复用。

GO语言类型系统,接口,类型断言_第4张图片

 实际上,用到的itab会被缓存。

GO语言类型系统,接口,类型断言_第5张图片


 

类型断言:

1,空接口.(具体类型)

2,非空接口.(非空接口类型)

3,空接口.(非空接口)

4,非空接口.(具体类型)


空接口.(具体类型)

GO语言类型系统,接口,类型断言_第6张图片

失败的情况:

GO语言类型系统,接口,类型断言_第7张图片 

 非空接口.(具体类型)

GO语言类型系统,接口,类型断言_第8张图片

 

空接口.(非空接口)

GO语言类型系统,接口,类型断言_第9张图片

我们先检查IO.readWriter和os.file的itab结构体(从哈希得到对应的itab),若没有再去检查所有方法。 

GO语言类型系统,接口,类型断言_第10张图片

 非空接口.(非空接口)

GO语言类型系统,接口,类型断言_第11张图片

 

你可能感兴趣的:(Go语言,go)