Go语言嵌入类型

 

一、什么是嵌入类型

先看如下代码：

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>
",
        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>
",
       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#语言中的继承。