Golang中匿名组合实现伪继承的方法

2020-01-28 13:28:09王振洲


package main

import (
  "bufio"
  "fmt"
)

type Logger struct {
}

type Work struct {
  Logger
}

type Work2 struct {
  *Logger
}
type Work3 struct {
  log *Logger
}

type Reader struct {
}
type Work4 struct {
  Reader
  bufio.Reader
}

func (Logger) Info(v ...interface{}) {
  fmt.Println(v...)
}

func main() {
  var wk = Work{Logger{}}
  wk.Info("hello: Work{Logger{}}")
  var wwk = Work{Logger: Logger{}}
  wwk.Info("hello: Work{Logger: Logger{}}")
  //... and so on
  var wk2 = Work2{new(Logger)}
  wk2.Info("hello: Work2{new(Logger)}")
  var wwk2 = Work2{Logger: &Logger{}}
  wwk2.Info("hello: Work2{Logger: &Logger{}}")
  wwk2.Logger.Info("hello: wwk2.Logger.Info")

  var wk3 = Work3{new(Logger)}
  wk3.log.Info("hello: Work3{new(Logger)}")
}

3. 结构体嵌入和匿名成员

Go语言提供别样的 结构体嵌入 机制,让一个结构体包含另一个结构体类型的 匿名成员 , 这样就可以通过简单的点运算符x.f来访问匿名成员链中嵌套的x.d.e.f成员。

Go语言有一个特性让我们只声明一个成员对应的数据类型而不指名成员的名字; 这类成员就叫匿名成员。 匿名成员的数据类型必须是命名的(而不是匿名的)类型或指向一个命名的类型的指针。


type Circle struct {
 Point
 Radius int
} 

type Wheel struct {
 Circle
 Spokes int
}

由于有了匿名嵌入的特性, 我们可以直接访问内嵌类型的成员变量而不需要给出完整的路径:


var w Wheel
w.X = 8 // 等价于 w.Circle.Point.X = 8
w.Y = 8 // 等价于 w.Circle.Point.Y = 8
w.Radius = 5 // 等价于 w.Circle.Radius = 5
w.Spokes = 20

同样的规则,内嵌类型的方法也会提升为外部类型的方法。

3.1 匿名冲突(duplicate field)

匿名成员也有一个隐式的名字,以其类型名称(去掉包名部分)作为成员变量的名字。 因此不能同一级同时包含两个类型相同的匿名成员, 这会导致名字冲突。


type Logger struct {
  Level int
}

type MyJob struct {
  *Logger
  Name string
  *log.Logger // duplicate field Logger
}

4. 匿名组合不是继承

4.1 方法的接受者没变

当我们嵌入一个类型,这个类型的方法就变成了外部类型的方法,但是当它被调用时,方法的接受者是内部类型(嵌入类型),而非外部类型。— Effective Go


type Job struct {
 Command string
 *log.Logger
}

func (job *Job)Start() {
 job.Log("starting now...")
 ... // 做一些事情
 job.Log("started.")
}

上面这个Job例子,即使组合后调用的方式变成了job.Log(...),但Log函数的接收者仍然是 log.Logger指针,因此在Log中也不可能访问到job的其他成员方法和变量。

4.1 内嵌类型不是基类

如果读者对基于 类 来实现的面向对象语言比较熟悉的话, 可能会倾向于将 内嵌类型 看作一个基类, 而 外部类型 看作其子类或者继承类, 或者将 外部类型 看作 "is a" 内嵌类型 。 但这样理解是错误的。