一、什么是嵌入类型
先看如下代码:
type user struct {
name string
email string
}
type admin struct {
user // Embedded Type
level string
}
可以看到admin结构中的一个成员是user,那么admin中就嵌入了user类型。
admin也叫做外部类型
user也叫做内部类型
二、外部类型和内部类型之间的关系和机制
func (u *user) notify() {
fmt.Printf("Sending user email to %s<%s>\n",
u.name,
u.email)
}
如上代码,实现了一个方法notify(),接收者是 *user。
func main() {
// Create an admin user.
ad := admin{
user: user{
name: "john smith",
email: "john@yahoo.com",
},
level: "super",
}
// We can access the inner type's method directly.
ad.user.notify()
// The inner type's method is promoted.
ad.notify()
}
main函数中定义了一个变量ad,并且进行了赋值
运行:
Sending user email to john smith<john@yahoo.com>
Sending user email to john smith<john@yahoo.com>
①没有编译错误
②notify()可以被ad.user调用是可以理解的,但是ad.notify()也能执行是为什么。
这里涉及到了一个嵌入类型背后的机制,内部类型提升 (感觉有点像C#、Java里面的继承,user是父类,admin是子类,admin的实例对象直接调用了父类的notify方法。)
进一步研究:我们再定义一个接口、以及一个接受该接口的函数。
接口,只有一个方法notify
type notifier interface {
notify()
}
函数,接受一个实现notifier接口的类型实例,内部就是调用notify方法
func sendNotification(n notifier) {
n.notify()
}
main方法如下
func main() {
// Create an admin user.
ad := admin{
user: user{
name: "john smith",
email: "john@yahoo.com",
},
level: "super",
}
var user = ad.user
sendNotification(&user)
sendNotification(&ad)
}
运行结果:
Sending user email to john smith<john@yahoo.com>
Sending user email to john smith<john@yahoo.com>
①可以看到这里传入 &user和&ad都是可以的,说明类型提升导致admin也是实现了notifier接口了。
②为什么穿&user和&ad,而不是直接传user和ad,这就涉及到了之前总结过的【方法集】的概念了。复习一下:
从上面两个表,可以知道由于方法的接收者是 *user ,所以说只有*user实现了该接口的方法,这就是为什么输入&user、&ad了
再进一步研究:我们在C#当中,如果使用了virtual作为修饰符在父类中写了一个方法,那么在子类中通过override可以重写这个方法,最终的结果就是调用的非父类的该方法,而是子类的,Go语言同样可以。
例如
// 通过admin 类型值的指针
// 调用的方法
func (a *admin) notify() {
fmt.Printf("Sending admin email to %s<%s>\n",
a.name,
a.email)
}
在刚刚的代码中,追加一个*admin作为接受者的方法。
运行结果如下:
Sending user email to john smith<john@yahoo.com>
Sending admin email to john smith<john@yahoo.com>
可以发现此时这两此运行的结果就不一样了,第二次sendNotification(&ad)调用的notify方法就是admin这个类型的了。
这表明,如果外部类型实现了notify 方法,内部类型的实现就不会被提升。不过内部类型的值一直存在,因此还可以通过直接访问内部类型的值,来调用没有被提升的内部类型实现的方法。
三、总结
综上:嵌入类型为Go语言类型提供了一种很好的扩展能力,通过内部类型的提升,使得外部类型拥有了内部类型的方法,也可以通过外部类型实现同样的方法来替代内部类型的。总体来说很像C#语言中的继承。