1.1 侵入式接口和非侵入式接口
虽然我也学过C++,但是关于侵入式或非侵入式接口仍然让我感觉云里雾里。在这里只能收集一些我能看得懂,并且也能理解的一些观点:
以C++的侵入式接口为例,需要显式地创建一个类去继承抽象类,去实现特定接口,这种就是侵入式接口。
golang中的非侵入式接口只要事先了接口中的所有方法,就视为实现了接口。在此提一下著名的 “duck type”理论
“当看到一只鸟走起来像鸭子、游泳起来像鸭子、叫起来也像鸭子,那么这只鸟就可以被称为鸭子。”
在鸭子类型中,关注的不是对象的类型本身,而是它是如何使用的
1.2 接口的类型和值
var c interface{}
fmt.Println(c) //nil
fmt.Println(unsafe.Sizeof(c)) //16
fmt.Printf("%T\n",c) //nil
/*----------------------------------------------------*/
c = 100
fmt.Println(c) //100
fmt.Println(unsafe.Sizeof(c)) //16
fmt.Printf("%T\n",c) //int
从概念上来讲接口的值包含两部分,一个具体的类型和一个该类型的值。二者称为接口的动态类型的动态值(摘自 The Go Programmind Language)恕我知识浅薄,个人感觉这个说法其实扯淡,甚至是一种误导。
1.3接口的内部实现
下边才是重点
//接口的内部实现
type iface struct {
tab *itab
data unsafe.Pointer
}
//itab的内部实现
type itab struct {
inter *interfacetype
_type *_type
link *itab
bad int32
unused int32
fun [0]unsafe.Pointer
}
//data实现 -- unsafe源码包
type Pointer *ArbitraryType
type ArbitraryType int
接口结构是包含两个字段的数据结构,第一个包含一个指向内部表的指针,类似于C++的vptr,这个内部表叫做tab,tab中包含了对应的方法数组,除此之外还保存了实现该接口的类型元数据。data是对应的实现该接口的类型的实例指针。
编译器对接口这种数据类型做了很多限制
- 不能有自己的字段
- 不能定义自己的方法
- 只能声明方法,不能实现
- 可嵌入其他接口类型