如何处理 Go 中实现接口的指针的泛型类型？

在 Go 中实现接口的指针的泛型类型

在 Go 中，使用接口时，创建操作的泛型函数非常有用实现这些接口的数据类型。但是，如果接口表示指针类型，则确定指针的泛型类型可能具有挑战性。

为了解决这个问题，Go 提供了一种机制来声明带有类型参数的接口，该机制允许定义期望的接口实现类型是指向其类型参数的指针。例如，考虑以下接口：

type A interface {
  SomeMethod()
}

如果您通过结构指针实现此接口，例如：

type Aimpl struct {}

func (a *Aimpl) SomeMethod() {}

尝试传递时可能会遇到问题指向 Aimpl 的指针，该函数需要带有 A 参数的函数。原因是泛型函数需要一个实现 A 接口的类型，而不是指向实现它的类型的指针。

要解决此问题，您可以修改接口定义以指定类型参数:

type A[P any] interface {
  SomeMethod()
  *P
}

这表明接口期望实现它的类型是指向类型参数 P 的指针。

接下来，您需要调整接受修改后的接口类型的泛型函数的签名：

func Handler[P any, T A[P]](callback func(result T)) {
  result := new(P)
  callback(result)
}

泛型函数现在采用带有 T 类型参数的函数，该函数必须实现修改后的 A 接口。当您使用指向 Aimpl 的指针调用该函数时，它将正确识别实现类型并按预期执行。

但是，如果您无法修改原始 A 接口的定义，您可以创建自己的 A 接口包含类型参数的包装接口：

type MyA[P any] interface {
  A
  *P
}

通过包装原始接口，您可以采用与之前：

func Handler[P any, T MyA[P]](callback func(result T)) {
  result := new(P)
  callback(result)
}

这允许您使用实现原始 A 接口的指针类型，同时保持所需的通用行为。

以上是如何处理 Go 中实现接口的指针的泛型类型？的详细内容。更多信息请关注PHP中文网其他相关文章！