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

目录

类型系统

空接口赋值：

 非空接口：

类型断言：

空接口.(具体类型)

 非空接口.(具体类型)

空接口.(非空接口)

 非空接口.(非空接口)

---

类型系统

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

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

空接口赋值：

 非空接口：

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

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

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

---

 

类型断言：

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

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

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

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

---

空接口.(具体类型)

失败的情况：

 

 非空接口.(具体类型)

 

空接口.(非空接口)

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

 非空接口.(非空接口)