Go语言的结构体嵌入为什么不算继承?

今日端午节,又是高考。祝大家节日快乐,祝考生考出好成绩,大家开车请勿鸣笛!

面向对象的设计思想,是根据现实世界进行抽象得出的一套理论。既然是现实世界的抽象,继承的本质是有“父子”关系。比如,动物是父类,猫是子类。不能说有父类的属性和方法就是继承。

Go 语言之所以摈弃继承,主要考虑到,面向对象这么多年的发展,继承被滥用了。但一些继承的特性又很需要,所以,提供了“嵌入”这种东西,方便“模拟”继承,但它的本质是组合,不是继承。

我举一个例子,证明 Go 中的嵌入是组合不是继承。

package main

import (
    "fmt"
)

type Animal struct {
    Name string
    Age  int
}
type Cat struct {
    *Animal
    Type string
}

func TestInherit(a *Animal) {
    fmt.Println(a.Name)
}
func main() {
    cat := &Cat{
        Animal: &Animal{Name: "xiaohua", Age: 12},
        Type:   "波斯猫",
    }
    TestInherit(cat)
}

以上代码会编译错误:

cannot use cat (type Cat) as type Animal in argument to TestInherit

但按照面向对象的理论:所有能用父类的地方,都可以使用子类(里氏代换原则)。很明显,Go 的嵌入不符合这个要求。

所以,Go 官方 FAQ 中说,Go 既是面向对象语言又不是面向对象语言。对此,你怎么看?

8