如何处理多态对象

Question

我计划将我们的服务器从 c++ 移植到 Go，我有一个关于处理基于派生类的对象列表的问题。 我的意思是，假设我有一个名为 A 的基类（或接口），并且它有子类 B 和 C，并且我想要一个可以处理类型 A 的列表的通用列表并且它是派生的。

在面向对象的语言中，我可以创建一个（指针）A 的列表，仅此而已，我可以将对象 B 和 C 添加到列表中，因为它们确实属于 A 类型。但是由于 Go 没有继承，我我对如何有效地处理这个问题感到困惑。

Answer 1

如前所述，您可以使用接口来执行此操作。您可以创建[]Intf 类型的列表，其中Intf 是您的类型通用的接口，然后您可以将实现该接口的任何类型放入您的列表中。

type A struct{}
type B struct{}

type Intf interface {
  // common methods of A and B
}

func f(a Intf) {
   // Here, a is A or B
}

您必须小心处理的是副本还是指针。例如：

a:=A{}
b:=B{}
x:=[]Intf{&a,&b}
f(x)

不同于：

x:=[]Intf{a,b}
f(x)

对于第一个，如果f修改了数组元素，那么变量a和b会被修改，因为接口包含一个指针。对于第二个，如果f 修改了数组元素，a 和b 不受影响，因为数组中的接口包含指向这些变量副本的指针。

如果说，A 在接口Intf 中包含一个方法，该方法接受一个指针接收器，那么您必须使用数组中所有A 实例的地址。

Go 的类型系统是明确且严格的。因此，例如，您通过接口实现了多态列表，并且您拥有函数：

func f(input []Intf) {
}
func g(input Intf) {
}

假设你有这些变量：

var a []A
var b A

其中A 实现Intf。那么：

g(b) // This is valid
f(a) // This is *not* valid

这是因为f 得到一个[]Intf，但a 是一个[]A，而不是[]Intf。要调用f，你必须建立一个[]Intf：

fInput:=make([]Intf,0,len(a))
for _,x:=range a {
   fInput=append(fInput,x)
}
f(fInput)

因此，如果您正在处理多态列表，那么始终使用接口列表而不是具体类型列表是有意义的。

如果您需要根据类型直接访问字段，您也可以使用类型断言：

func f(in []Intf) {
   for _,x:=range in {
      if a, ok:=x.(*A); ok {
          a.Field=1
      }
   }
}