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 既是面向对象语言又不是面向对象语言。对此,你怎么看?