Golang的垂直组合思维——type embedding
Posted Golang语言社区
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Golang的垂直组合思维——type embedding相关的知识,希望对你有一定的参考价值。
什么是Golang的正交组合-垂直组合思维:Tony Bai的博客 - Coding in GO way - Orthogonal Composition
Go语言通过type embedding实现垂直组合。组合方式莫过于以下这么几种:
a):construct interface by embedding interface
b):construct struct by embedding interface
c):construct struct by embedding struct
Go语言中没有继承,但是可以用结构体嵌入实现继承,还有接口这个东西。现在问题来了:什么场景下应该用继承,什么场景下应该用接口。这里从一个实际的案例出发。
问题描述:
网游服务器中的一个例子。假设每个实体都有一个ObjectID,每一个实例都有一个独一无二的ObjectID。用面向对象的观点,就是有一个Object对象,里面有getID()方法,所有对象都是继承自Object对象。
Creature继承Object,表示游戏中的生物。然后像Monster,Human,都继承自Creature的。Item也继承自Object,表示物品类。除了像装备这种很直观的物品,尸体这类Corpse也是继承自Item的。而尸体又有分MonsterCorpse和HumanCorpse等。
Effect也继承自Object,表示效果类。比如玩家身上的状态。还有其它很多很多,全是以Object为基类的。
总之,Object是一个最下面的基类,直接的派生类很多,派生类的派生类更多,这样一颗继承树结构。
实现方法:
construct struct by embedding struct
这是最简单的继承的方式:
1//construct struct by embedding struct
2type Object struct{
3 ID uint
4}
5type Creature sturct {
6 Object // Creature继承自Object
7}
8type Monster struct {
9 Creature // Monster继承自Monster
10}
这样做的好处就是,Monster直接可以调用到Creature里的方法,Creature直接可以调用Object里的方法。不用重写代码。
但是,Go中没有基类指针指向派生类对象,不可以Object指向一个Monster对象,调用Monster中的方法。
而我们实际上在很多地方需要这种抽象类型机制,比如存储需要存Creature类型,使用的时候再具体用Monster类型方法。
struct中嵌入struct,被嵌入的struct的method会被提升到外面的类型中。比如stl中的poolLocal struct,对于外部来说它拥有了Lock和Unlock方法,但是实际调用时,method调用实际被传给poolLocal中的Mutex实例。
1// sync/pool.go
2 type poolLocal struct {
3 private interface{} // Can be used only by the respective P.
4 shared []interface{} // Can be used by any P.
5 Mutex // Protects shared.
6 pad [128]byte // Prevents false sharing.
7 }
construct interface by embedding interface
我们新建一个工程并定义Object接口:
1//object/object.go
2package object
3type Object interface {
4 GetID() uint
5 //每一个Object的实现类型都有一个ID值,通过GetID()获取其ID
6}
Creature也定义为一个接口,他继承于Object,且拥有自己的方法Create()。为了体现继承的关系,我把它放在了子目录下:
1//object/creature/creature.go
2package creature
3import (
4 "fmt"
5 "github.com/ovenvan/multi-inheritance/object"
6)
7
8type Creature interface {
9 object.Object
10 Create()
11}
同样Human和Monster都继承于Creature,且拥有各自独一无二的方法Human.Born()[略]和Monster.Hatch():
1//object/creature/monster/monster.go
2package monster
3import (
4 "fmt"
5 "github.com/ovenvan/multi-inheritance/object"
6 "github.com/ovenvan/multi-inheritance/object/creature"
7)
8type Monster interface {
9 creature.Creature
10 Hatch()
11}
12type Mstr struct{/*some properties*/}
为了使Mstr能够实现接口Monster,我们需要为他实现func:
1func (this *Mstr) GetID() uint{/*your code*/}
2func (this *Mstr) Create() {/*your code*/}
3func (this *Mstr) Hatch(){/*your code*/}
4func NewMonster () Monster{return &Monster_s{}}
这样就不会出现construct struct by embedding struct时出现的基类指针无法指向子类的问题。现在一个东西实现Object,如果它是Monster,那么一定是Creature。但属于父类的GetID和Create方法是没法复用的,也就是说对于Hum struct,我们仍需要重写GetID和Create方法。如果这些方法实现基本相同,那么将会出现大量冗余代码。
construct struct by embedding interface
为了复用父类的方法,我们必须把方法定义在父类中。于是我们就想到了在父类中创建struct供子类继承,在父类的struct中实现方法func:
1//object/object.go
2package object
3type Object interface {
4 GetID() uint
5}
6type Obj struct { //needs to be public
7 id uint
8}
9func (this *Obj) GetID() uint{
10 return this.id
11}
为Creature接口创建的struct Crea 通过construct struct by embedding struct继承Obj,如此便继承了GetID的方法:
1//object/creature/creature.go
2package creature
3import (
4 "fmt"
5 "github.com/ovenvan/multi-inheritance/object"
6)
7type Creature interface {
8 object.Object
9 Create()
10}
11type Crea struct {
12 object.Obj //struct 中绑定interface和struct的区别?
13 // Object只实现了一个Obj实例,这个实例的作用是被继承,提供父类的代码,因此应该继承Obj,而非Object
14}
15func (t *Crea) Create(){
16 fmt.Println("This is a Base Create Method")
17}
18func (t *Crea)GetID() uint{ //override
19 fmt.Println("Override GetID from Creature")
20 return t.Obj.GetID()
21 //t.GetID() it is a recursive call
22}
为什么是construct struct by embedding struct而不是construct struct by embedding interface?如果可以实现绑定接口而非实例的话,我们是否可以不对外公开struct Obj呢。作者至现在思考的结果是,绑定接口是可行的,但不对外公开struct Obj(换言之,让使用者无法自如的创建struct Obj)是不可行的。
之所以在此绑定了Obj struct而非Object interface,是因为我们只创建了一个Object interface的实例,省去了赋值(给interface赋struct)的麻烦。具体而言,标准库中的package context中timerCtx绑定的是cancelCtx这一个struct。
1//context.go
2package context
3
4type Context interface {
5 //......
6}
7
8type cancelCtx struct {
9 Context
10 mu sync.Mutex // protects following fields
11 done chan struct{} // created lazily, closed by first cancel call
12 children map[canceler]struct{} // set to nil by the first cancel call
13 err error // set to non-nil by the first cancel call
14}
15
16type timerCtx struct {
17 cancelCtx //construct struct by embedding struct
18 timer *time.Timer // Under cancelCtx.mu.
19 deadline time.Time
20}
21
22func (c *timerCtx) cancel(removeFromParent bool, err error) {
23 c.cancelCtx.cancel(false, err) //具体调用
24 //......
需要注意的是,具体调用是、timerCtx调用cancelCtx.cancel的方法,而非(timerCtx.cancelCtx)调用cancel方法。
而如果我们希望在父类实现多个GetID的方法,并在子类中加以选择,那么我们就需要创建两个struct并分别实现不同的方法,使用construct struct by embedding interface来决定绑定哪一个struct。另外,如果使用construct struct by embedding interface,则不可以越过父类的方法(如果存在的话)去执行爷类(???)定义的方法。
为什么说不公开struct(即struct obj)不可行,因为不是在同一个package中进行赋值。也就是说必须公开对外可见后,外部才得以使用他来赋值。而使用NewObj(…)作包裹从本质而言也是一个道理。
最后我们给出Monster的代码,可以发现,他只需要实现自己独有的方法即可。当然它也可以有选择性的override父类的方法:
1//object/creature/monster/monster.go
2package monster
3import (
4 "fmt"
5 "github.com/ovenvan/multi-inheritance/object"
6 "github.com/ovenvan/multi-inheritance/object/creature"
7)
8type Monster interface {
9 creature.Creature
10 Hatch()
11}
12type Monster_s struct {
13 creature.Crea
14 alive bool
15}
16func (t *Monster_s) Hatch(){
17 t.Create()
18 fmt.Println("After created, i was hatched")
19}
20func (t *Monster_s) Create(){
21 t.Crea.Create()
22 fmt.Println("This is an Override Create Method from monster")
23}
24func (t *Monster_s)GetID() uint{
25 fmt.Println("Override GetID from Monster")
26 //return t.Crea.GetID()
27 return t.Obj.GetID() //直接调用父类的父类(Obj)的方法,
28 //跳过了Creature重写的方法。
29 //t.GetID() recursive call
30}
31
32func NewMonster (m object.ObjectManager) Monster{...}
最后看一下main.go:
1package main
2
3import (
4 "github.com/ovenvan/multi-inheritance/object/creature/monster"
5)
6
7func main() {
8 mstr:=monster.NewMonster()
9 mstr.Hatch()
10}
我在Github-multi-inheritance上传了本次实验的Demo,包括完善了各函数的代码,大家可以通过
1go get github.com/ovenvan/multi-inheritance
下载该Demo并提出修改意见。
版权申明:内容来源网络,版权归原创者所有。除非无法确认,我们都会标明作者及出处,如有侵权烦请告知,我们会立即删除并表示歉意。谢谢。
Golang语言社区
ID:Golangweb
www.GolangWeb.com
游戏服务器架构丨分布式技术丨大数据丨游戏算法学习
以上是关于Golang的垂直组合思维——type embedding的主要内容,如果未能解决你的问题,请参考以下文章
[Journey with golang] 3. Type system