Go语言-类型系统

• 在我的理解里，Go语言的类型系统应该有这样几个层面

1. 基本类型
   • 与其他语言中的基本类型一样
2. 指针类型、容器类型/派生类型(derived type)
   • 在基本类型之上增加指针、数组、切片、映射等结构，形成派生类型
3. 结构体类型
   • 与其他语言中的结构体类型一样
   • 与C语言不同的是，结构体可以不命名,当未命名的结构体的字段(包括名称、类型、tag)一致时，可以作为相同的类型
   • 允许匿名成员，且当匿名成员是结构体时，可以将匿名成员嵌套在当前结构体中，参见结构体嵌套
4. 命名类型(defined type)
   • 使用type为类型命名
   • 在Go语言中，命名不是一种类似快捷方式的存在，而是实际上存在的一层
5. 接口类型
   • 一种duck类型，一个类型实现了接口中定义的方法就相当于实现了接口，而不需要显式的指定类型实现的接口
   • 接口类型是建立在命名类型上的
     • 接口类型必须命名
     • 方法就是定义了接收器的函数, 必须是当前包中已经定义的方法才能作为接收器
     • 实际类型相同，命名不同，方法不能通用，必须显式的转换类型
   • 接口中允许嵌套其他结构体，参见接口嵌套