一、什么是嵌入类型

先看如下代码:

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,这就涉及到了之前总结过的【方法集】的概念了。复习一下:

go 中嵌入java go语言嵌入式_父类

go 中嵌入java go语言嵌入式_go 中嵌入java_02

从上面两个表,可以知道由于方法的接收者是 *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#语言中的继承。