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是对应的实现该接口的类型的实例指针。

编译器对接口这种数据类型做了很多限制

  • 不能有自己的字段
  • 不能定义自己的方法
  • 只能声明方法,不能实现
  • 可嵌入其他接口类型