oop - 如何处理多态对象

Question

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

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

Answer 1

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

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被修改，因为接口(interface)包含一个指针。对于第二个，如果 f修改数组元素， a和 b不受影响，因为数组中的接口(interface)包含指向这些变量副本的指针。

如果，比如说， A接口(interface)中包含一个方法 Intf需要一个指针接收器，那么你必须使用所有 A 的地址数组中的实例。

Go 的类型系统是明确且严格的。因此，例如，您通过接口(interface)实现了多态列表，并且您具有以下功能:

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)

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

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

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