尧图网站设计 尧图网站设计YAOTU DESIGN
ARTICLE DETAIL

资讯详情

深耕网站设计与一线实操的经验洞察。

Go 没有继承,如何实现多态?从方法、接口到组合一篇讲透

Go 没有继承,如何实现多态?从方法、接口到组合一篇讲透 Go 没有继承如何实现多态从方法、接口到组合一篇讲透摘要很多人第一次接触 Go 的面向对象会觉得别扭——没有 class、没有继承那「多态」「代码复用」怎么办这篇文章不背语法讲清楚一件事Go 的面向对象是「组合 接口」两条腿走路。看懂这条路线接口、多态、依赖倒置才会真正内化而不是死记语法。目录Go 没有继承如何实现多态从方法、接口到组合一篇讲透一、先回答那个绕不开的问题Go 算不算面向对象语言二、方法一切多态的地基2.1 什么是方法2.2 值接收者 vs 指针接收者重中之重2.3 方法集method set——多态的底层规则三、接口Go 最反直觉的设计——隐式实现3.1 隐式实现Go 最反直觉的设计3.2 接口的核心规则3.3 空接口 interface{}四、多态同一接口不同表现4.1 多态的本质4.2 指针接收者的多态陷阱高频坑五、组合替代继承Go 面向对象的灵魂重点5.1 匿名嵌入Embedding5.2 就近原则同名字段怎么处理5.3 多重组合「多重继承」5.4 为什么说「组合 继承」核心理解六、实战升华从接口到依赖倒置开闭原则6.1 反面教材if-else 判断具体类型6.2 正解抽象出接口实现多态6.3 顺便带上「封装」七、一张表Go 的面向对象工具箱八、总结三条主线串起 Go 面向对象附本文涉及的关键语法速查一、先回答那个绕不开的问题Go 算不算面向对象语言先别急着写代码我们得先把这个「认知地基」打好否则后面学接口、学多态都会觉得别扭。面向对象Object-Oriented有四个经典特性你应该都不陌生特性一句话含义封装把数据和行为打包到一起对外只暴露必要接口隐藏内部细节继承子类复用父类的代码并可以扩展多态同一接口不同对象有不同的表现抽象提炼共性忽略无关细节争议点就出在「继承」上。很多传统面向对象语言是以 class 继承为核心的你先定义一个父类子类继承父类拿到父类的字段和方法再通过覆写override实现多态。但 Go 的官方态度很明确Go 是一门「有面向对象风格」的语言但它没有 class、没有继承它用的是**结构体struct 方法method 接口interface**这套组合拳。Go 之父们为什么这么做核心原因是继承带来了「脆弱的基类问题」和「深层次的耦合」。子类继承了父类意味着子类被父类的实现细节绑死了——父类一改所有子类都可能被牵连。Go 选择了一条更克制、更灵活的路用「组合」替代「继承」把一个类型嵌进另一个类型里而不是「继承自」它用「接口」实现「多态」接口只约定「能做什么」不约定「是什么」。一句话记住继承思维问的是「你是谁is-a」Go 问的是「你能干什么has-a / can-do」。这是理解 Go 面向对象全部差异的钥匙。二、方法一切多态的地基在 Go 里「方法」是挂在某个类型上的函数。它和普通函数最大的区别是多了一个接收者receiver。2.1 什么是方法typeMyIntint// (i *MyInt) 就是接收者add 这个方法挂在了 MyInt 类型上func(i*MyInt)add(){*i}funcmain(){vari MyInt8i.add()// 调用方法fmt.Println(i)// 9}这里MyInt是我们自己定义的类型哪怕底层就是int它也可以拥有方法。「自定义类型都可以有方法」是 Go 面向对象的第一步。2.2 值接收者 vs 指针接收者重中之重方法有两种接收者这是很多人学 Go 的第一个坎typeDogstruct{Namestring}// 值接收者调用时拷贝一份 Dogfunc(d Dog)Speak(){fmt.Println(wang)}// 指针接收者调用时传的是地址能修改原值func(d*Dog)SetName(namestring){d.Namename}两者的区别值接收者func (d Dog)指针接收者func (d *Dog)是否拷贝拷贝一份改不动原值传地址能改原值适用场景只读、结构体小、不需要修改要修改字段、结构体大省拷贝、实现接口常用2.3 方法集method set——多态的底层规则这是理解后面「多态陷阱」的关键一定要吃透。Go 规定了一个类型 T它的「方法集」决定了它能否实现某个接口。规则就一条接收者类型T的方法集*T的方法集值接收者func (t T) M()✅ 包含 M✅ 包含 M指针接收者func (t *T) M()❌ 不包含 M✅ 包含 M翻译成人话值接收者的方法值类型T和指针类型*T都能调用指针接收者的方法只有指针类型*T能调用值类型T调不到。为什么因为值接收者的方法编译器可以「自动取地址 / 自动解引用」来帮你调但指针接收者的方法如果只有值类型的拷贝编译器不知道这个指针该指向哪个「可修改」的变量所以干脆不让你调。这个规则现在先记住第四节你会看到它直接决定了「多态时要不要传」。三、接口Go 最反直觉的设计——隐式实现3.1 隐式实现Go 最反直觉的设计在很多语言里你要显式声明「我实现了这个接口」——比如写一个implements关键字不写编译器就不认。但 Go 里根本没有这种关键字。Go 的接口实现是**隐式structural typing**的只要一个类型实现了接口里定义的所有方法它就自动实现了这个接口不需要任何声明。typeAnimalinterface{Speak()}typeDogstruct{Namestring}// 只要 Dog 有 Speak() 方法它就「自动」是 Animal不用写任何声明func(d Dog)Speak(){fmt.Println(wang)}这个设计的精妙之处你写Dog的时候脑子里根本不用想着「我要实现 Animal 接口」。哪天你发现Dog需要被当作Animal用它已经天然满足了。这就是 Go 常说的「面向接口编程而不是面向实现编程」的底层支撑。3.2 接口的核心规则把你之前笔记里那 8 条规则压缩成最有用的几条接口本身不能创建实例但可以指向一个实现了它的类型变量实例。接口里所有方法都没有方法体都是没实现的方法。一个自定义类型只有实现了接口的所有方法才能把它的实例赋给接口类型。只要是自定义数据类型不一定是结构体就能实现接口。一个类型可以实现多个接口一个接口也可以继承多个接口。第 5 条里的「接口继承接口」要注意如果接口A内嵌了接口B、C那么要实现A就必须把B、C的所有方法也都实现。3.3 空接口 interface{}还有一个特殊的接口——空接口varxinterface{}// Go 1.18 之后可以写成 var x any空接口没有任何方法所以任何类型都实现了它。这就是为什么空接口能装任意类型的数据比如fmt.Println能打印任何东西就是因为它接收...any。四、多态同一接口不同表现4.1 多态的本质多态Polymorphism字面意思是「多种形态」。在 Go 里它指一个接口类型的变量可以指向任意一个实现了该接口的具体类型并且调用方法时会「动态分发」到具体类型的实现上。看最经典的动物例子typeAnimalinterface{Speak()}typeDogstruct{Namestring}func(d Dog)Speak(){fmt.Println(wang)}typeCatstruct{Namestring}func(c Cat)Speak(){fmt.Println(miao)}// 关键这个函数只认 Animal 接口不关心你到底是狗还是猫functest(a Animal){a.Speak()}funcmain(){test(Dog{Name:dog})// wangtest(Cat{Name:cat})// miao}test函数的参数是Animal接口但它能接收Dog也能接收Cat并且「谁传进来就调用谁的Speak」。这就是多态写代码的时候依赖抽象接口运行的时候才决定具体调谁。4.2 指针接收者的多态陷阱高频坑还记得第二节的「方法集」规则吗现在它要在这里「收账」了。把Dog的接收者改成指针typeAnimalinterface{Speak()}typeDogstruct{Namestring}// 改成指针接收者func(d*Dog)Speak(){fmt.Println(wang)}funcmain(){vara Animal// a Dog{Name: dog} // 编译错误Dog does not implement Animal (Speak has pointer receiver)aDog{Name:dog}// 必须传指针a.Speak()}为什么会报错因为Speak是指针接收者按方法集规则只有*Dog实现了AnimalDog本身并没有实现。所以口诀只要接口方法集里有一个方法是指针接收者多态时就必须传指针x。这是面试和实际写代码都极高频的一个坑务必记住。五、组合替代继承Go 面向对象的灵魂重点到这里我们终于要正面聊「Go 没有继承那它怎么复用代码、怎么表达『一个东西是另一个东西』」——答案是组合嵌入。5.1 匿名嵌入EmbeddingGo 通过把类型匿名嵌进另一个结构体来达到「复用字段和方法」的效果typePeoplestruct{NamestringAgeint}func(p People)Speak(){fmt.Println(我的名字是,p.Name)}typeStudentstruct{People// 匿名嵌入只有类型名没有字段名Nostring}funcmain(){s:Student{People:People{Name:ll,Age:20},// 创建时要带类型名No:20240506,}s.Speak()// 直接调用 People 的方法被「提升」了fmt.Println(s.Name)// 直接访问 People 的字段}注意几个关键点字段和方法会被「提升」Student可以直接用People的字段和方法不管它们首字母大写还是小写都能访问。访问可以简化s.People.Name可以直接写成s.Name。5.2 就近原则同名字段怎么处理当外层结构体和嵌入类型有同名字段或方法时遵循就近原则typeInnerstruct{Namestring}typeOuterstruct{Inner Namestring// 外层也有 Name}funcmain(){o:Outer{Inner:Inner{Name:内},Name:外}fmt.Println(o.Name)// 外 —— 就近最外层优先fmt.Println(o.Inner.Name)// 内 —— 想访问内层显式用类型名}5.3 多重组合「多重继承」如果嵌入多个匿名类型它们有同名字段/方法而外层本身没有这个字段那访问时就必须显式指定类型名否则编译报错typeAstruct{Namestring}typeBstruct{Namestring}typeCstruct{A B// 两个都叫 Name}funcmain(){c:C{A:A{Name:a},B:B{Name:b}}// fmt.Println(c.Name) // 编译错误ambiguous selector c.Namefmt.Println(c.A.Name,c.B.Name)// 必须显式指定}这其实就是 Go 版的「多重继承」但官方建议少写——因为同名冲突要手动消歧反而麻烦。组合的设计哲学是「能简单就别复杂」。5.4 为什么说「组合 继承」核心理解这是面向对象里最重要的思想转变我多讲两句。继承是「白盒复用」子类能看到父类的内部实现于是子类被父类的实现细节绑死。父类改一个内部方法所有子类都可能被波及——这就是著名的脆弱的基类问题Fragile Base Class Problem。组合是「黑盒复用」Student只是把People「塞」进来用它只依赖People的对外行为看不到、也不关心People内部怎么实现。People内部怎么改只要对外行为不变Student就稳如泰山。继承组合关系is-a是has-a有耦合强白盒绑死实现弱黑盒只依赖行为复用粒度整个类只复用需要的那部分灵活性编译期固定运行期可换金句Go 的设计哲学里有一句很有名的话——「少一点继承多一点组合」。组合让代码更解耦、更好测试、更好维护。这也是为什么 Go 敢在工程里大规模用「小接口 组合」来搭大系统。六、实战升华从接口到依赖倒置开闭原则光讲语法不算学会我们把它落到真实业务里——一个多支付方式的场景。6.1 反面教材if-else 判断具体类型// 坏写法面向过程靠 if-else 判断具体类型funcPay(order*Order,payTypeint)error{ifpayType1{// 微信支付逻辑}elseifpayType2{// 支付宝逻辑}// 每新增一种支付方式就得回来改这个函数returnnil}问题很明显新增一种支付方式就要改这个函数改多了还容易改出 bug。这违反了开闭原则对扩展开放对修改关闭。6.2 正解抽象出接口实现多态// 抽象支付器只定义「行为」不关心「是谁」typePayerinterface{Pay(amountint64)error}// 不同的具体实现typeWxPaystruct{}func(w*WxPay)Pay(amountint64)error{fmt.Printf(微信支付 %d 元\n,amount)returnnil}typeAliPaystruct{}func(a*AliPay)Pay(amountint64)error{fmt.Printf(支付宝支付 %d 元\n,amount)returnnil}// Order 只依赖 Payer 接口不关心具体是微信还是支付宝typeOrderstruct{IDint64Amountint64}func(o*Order)DoPay(payer Payer)error{returnpayer.Pay(o.Amount)}funcmain(){order:Order{ID:1,Amount:100}order.DoPay(WxPay{})order.DoPay(AliPay{})}现在要新增银联支付只需要新增一个UnionPay结构体并实现Pay方法Order的代码一个字都不用改。这就是依赖倒置原则DIP高层模块Order不依赖低层模块具体的 WxPay/AliPay两者都依赖抽象Payer 接口。6.3 顺便带上「封装」接口负责「对外抽象」封装负责「对内保护」。看这个例子typeOrderstruct{idint64// 小写私有包外不能直接改statusint}const(UnpaidiotaPaid Canceled)// 对外暴露方法修改状态时做合法性校验func(o*Order)Cancel()error{ifo.statusPaid{returnerrors.New(已支付不能取消)}o.statusCanceledreturnnil}// 对外只读func(o*Order)Status()int{returno.status}封装的目的保证对象内部数据永远合法防止外部乱改造成脏数据。这也是 Go 里为什么用「大写导出、小写私有」来控制访问权限的原因。七、一张表Go 的面向对象工具箱把 Go 里承担面向对象职责的「工具」整理成一张速查表面向对象需求Go 的对应机制类的载体structmethod代码复用组合嵌入而不是继承接口实现隐式方法齐了就自动实现无需声明多态接口 方法集封装首字母大写导出、小写私有抽象interface八、总结三条主线串起 Go 面向对象把整篇文章收敛成三句话方法是地基——值接收者/指针接收者决定了「方法集」方法集又决定了「能不能实现接口」。接口是灵魂——隐式实现让「面向接口编程」成为可能多态 接口 方法集指针接收者的方法多态时必须传。组合是 Go 的「继承」——has-a取代is-a黑盒复用取代白盒复用配合接口做到依赖倒置、开闭原则。放下「继承」的执念接受「小接口 组合」这套玩法Go 的面向对象反而比 class 体系更简单、更清晰、更好测试。附本文涉及的关键语法速查// 方法func(receiver 类型)方法名(参数)返回值{...}// 接口type接口名interface{方法1()方法2(参数)返回值}// 隐式实现实现接口所有方法即可无需声明// 组合嵌入typeOuterstruct{Inner// 匿名嵌入}// 多态接口变量指向具体实现vara AnimalDog{}// 指针接收者的方法 → 必须传 如果你对某一段还有疑问或者想把「接口 组合」用到自己正在做的项目里欢迎在评论区讨论。
返回列表