通过结构体嵌入扩展类型
在前面文章中,已经介绍了结构体中的匿名成员。今天我们介绍下对象的行为集扩展。
red:= &color.RGBA{255, 0, 0, 255}
blue:= &color.RGBA{0, 0, 255, 255}
var p = ColoredPoint{Point{5, 4}, red}
var q = ColoredPoint{Point{10, 8}, blue}
fmt.Println(p.Distance(q.Point))
上面的p对象通过结构体嵌入,扩展了自己的行为集,拥有了计算两点之间的距离的行为方法。但是前面的文章,我们提及到:
func (p *Point) Distance(q Point) return {
...
}
按照以前的思路,Point的Distance方法接受者是Point指针对象,那我们就会问,上面的ColoredPoint对象调用Distance方法,那是这个对象继承了Point对象吗? 这个是错误的理解。可以尝试这么写:
p.Distance(q) // p, q都是ColoredPoint类型
编译报错,说明q并不是Point对象的继承。我们也知道Go语言有一个核心的特性:组合, 我们可以通过将大类型分解成小类型,然后组合在一起。所以是ColoredPoint对象"has a" Point类型。如果我们深挖p.Distance(q.Point)
的接收者, 内嵌字段会指导编译器去生成额外的包装方法委托已经声明好的方法:
func (p ColoredPoint) Distance(q Point) float64 {
return p.Point.Distance(q)
}
就是说,当我们用ColoredPoint类型的数据对象调用Distance方法时,编译器做了底层Point类型Distance方法的封装,p.Distance(q)不是直接调用Point类型数据的Distance方法,而是首先通过组合对象包装底层类型的方法来实现。
这样说,不知道大家理解没?
组合数据类型的相同行为处理
当组合数据类型中有相同的方法时,编译是否会报错,或者编译通过后对象调用方法的选择问题,我们来讨论一下:
type ITworker struct {
Person
Programmer
}
func (it ITworker) GetName() string {
return "www"
}
type Person struct {}
func (p Person) GetName() string {
return "cdh0805010118"
}
type (p Programmer) GetName() string {
return "码农"
}
func main() {
var it ITworker
fmt.Println(it.GetName())
}
请问,上述例子编译是否会通过,若通过,输出结果是什么?
答案:编译不通过,这个例子存在二义性。如果去掉Person或者Programmer,则编译通过,输出:www。
编译器解析原理:它会把组合对象的各个类型数据的方法构建成多叉树。首先检查同一层树,是否有相同的方法名,如果有,报二义性错误。如果没有则编译通过,在调用时,深度小的节点方法覆盖下层的方法;但是你也可以通过类型或者对象成员显示调用下层的方法。
总结,这篇文章提及了一个非常重要的特性:组合, 同时说明了为什么不是封装的理由分析?2.当组合对象拥有两个或者两个以上相同的行为时,编译器是如何进行编译工作的?
最后,我们来一个小的trick,在Go1.9发布之前,map并发是竞态的。现在仍然是的,只是官方提供了一个安全的map并发标准库sync.Map。以前可以这样做:
type Cache struct {
sync.Mutex
mapping map[string]interface{}
}
func (c *Cache) Read(key string) interface{}{
c.Lock()
value := c[key]
c.Unlock()
return
}
func (c *Cache) Write(key string, value interface{}) {
c.Lock()
c[key] = value
c.Unlock()
return
}
这个例子,使得我们不用显示的用c.mutex.Lock()和c.mutex.Unlock()方法,直接用c.Lock和c.Unlock使得并发操作更简单,同时显得mapping具有天然的锁机制。