语言从设计伊始就不支持经典的面向对象语法元素比如类、对象、继承等等但

func

关键字修饰的并且和函数一样也包含方法名对应函数名、参数列表、返回值列表与方法体对应函数体。

方法中的这几个部分和函数声明中对应的部分在形式与语义方面都是一致的比如方法名字首字母大小写决定该方法是否是导出方法方法参数列表支持变长参数方法的返回值列表也支持具名返回值等。

和由五个部分组成的函数声明不同Go

receiver

参数的类型就是这个方法归属的类型或者说这个方法就是这个类型的一个方法。

这里的

receiver

部分的参数名不能与方法参数列表中的形参名以及具名返回值中的变量名存在冲突必须在这个方法的作用域中具有唯一性。

除了

receiver

类型因为这样可以缩窄外部修改类型实例内部状态的“接触面”也就是尽量少暴露可以修改类型内部状态的方法。

*考虑到

方法调用时receiver

方法集合是用来判断一个类型是否实现了某接口类型的唯一手段可以说“方法集合决定了接口实现”。

int

类型我们称其拥有空方法集合。

接口类型相对特殊它只会列出代表接口的方法列表不会具体定义某个方法它的方法集合就是它的方法列表中的所有方法我们可以一目了然地看到。

Go

语言规定*T

语言支持两种类型嵌入分别是接口类型的类型嵌入和结构体类型的类型嵌入。

接口类型的类型嵌入

Etype

}在一个接口类型I定义中嵌入另外一个接口类型E的方式就是接口类型的类型嵌入。

接口类型嵌入的语义就是新接口类型如接口类型

结构体类型定义有另外一种形式那就是带有嵌入字段Embedded

int

}这种以某个类型名、类型的指针类型名或接口类型名直接作为结构体字段的方式就叫做结构体的类型嵌入这些字段也被叫做嵌入字段Embedded

Field。

如果嵌入类型的名字是首字母大写的那么也就说明这个嵌入字段是可导出的。

类型嵌入与方法集合

嵌入类型的方法集合并入到新接口类型的方法集合中并且接口类型只能嵌入接口类型。

而结构体类型对嵌入类型的要求就比较宽泛了可以是任意自定义类型或接口类型。

结构体类型的方法集合包含嵌入的接口类型的方法集合。

嵌入了其他类型的结构体类型本身是一个代理在调用其实例所代理的方法时Go

就会查找结构体中的嵌入字段的方法集合中是否包含了这个方法。

如果多个嵌入字段的方法集合中都包含这个方法那么我们就说方法集合存在交集。

这个时候Go

结构体类型嵌入接口类型在日常编码中有一个妙用就是可以简化单元测试的编写。

由于嵌入某接口类型的结构体类型的方法集合包含了这个接口类型的方法集合这就意味着这个结构体类型也是它嵌入的接口类型的一个实现。

即便结构体类型自身并没有实现这个接口类型的任意一个方法也没有关系。

在结构体类型中嵌入结构体类型为

的接口类型它们的方法集合与原接口类型的方法集合是一致的。

对于基于非接口类型的

defined

类型的方法集合为空的事实也决定了即便原类型实现了某些接口基于其创建的

defined

无论原类型是接口类型还是非接口类型类型别名都与原类型拥有完全相同的方法集合。