如何实现通用接口?

33

我刚刚看到Go在最新版本中引入了泛型,并且我正在尝试创建一个小项目来理解它的工作原理。除非非常简单的函数现在是通用的,否则我似乎无法弄清楚它的工作原理。我想能够做这样的事情:

type Dao[RT any] interface {
    FindOne(id string) *RT
}

type MyDao struct {
}

type ReturnType struct {
    id int
}

func (m *MyDao) FindOne(id string) *ReturnType {
    panic("implement me")
}

// how should this look like?

func NewMyDao() *Dao[ReturnType] {
    return &MyDao[ReturnType]{}
}

这真的可能吗?我好像没有按照该接口实现,而且我尝试了许多相同的组合。

有没有一种实现通用接口的方法?如果没有,那么替代方案只能返回interface{}类型吗?

2个回答

60

类型实际上不会实现通用接口,它们实现通用接口的实例化。 您无法使用未实例化的通用类型(包括接口)。从那里开始,就像在没有泛型的 Go 中一样,包括具有指针接收器的方法之间的区别。

因此,如果您使用具体类型重写使用类型参数的方法,则会非常有帮助。

让我们考虑一个通用接口和一些类型:

type Getter[T any] interface {
    Get() T
}

type MyStruct struct {
    Val string
}

有几种可能的情况

具体类型参数接口

实例化为Getter[string],由具有Get() string方法的类型实现

// implements Getter[string]
func (m MyStruct) Get() string {
   return m.Val
}

// ok
func foo() Getter[string] {
    return MyStruct{}
}

带有类型参数的接口作为类型参数

具有类型参数的函数可以使用它们来实例化通用类型,例如Getter[T]。 实现者必须具有完全相同的Get() T方法。 为了使其有效,它们也必须是通用的,并使用相同的类型参数进行实例化:

因此,即使Tstring,这也不会编译。

// Getter[T] literally needs implementors with `Get() T` method
func bar[T any]() Getter[T] {
    return MyStruct{} // doesn't compile, even if T is string
}

使MyStruct也成为参数化的工作:
type MyStruct[T any] struct {
    Val T
}

func (m MyStruct[T]) Get() T {
    return m.Val
}

func bar[T any]() Getter[T] {
    return MyStruct[T]{} // ok
}

具有通用实现的具体接口

让我们反转之前的情况。我们保留参数化的MyStruct[T any],但现在接口不是参数化的:

type Getter interface {
    Get() string
}

在这种情况下,只有当使用必要的具体类型实例化MyStruct时,它才实现了Getter
// Getter requires method `Get() string`
func baz() Getter {
    return MyStruct[string]{} // instantiate with string, ok
    // return MyStruct[int]{} // instantiate with something else, doesn't compile
}

指针接收器

这遵循与上述相同的规则,但通常需要实例化指针类型:

// pointer receiver, implements Getter[string]
func (m *MyStruct) Get() string {
   return m.Val
}

func foo() Getter[string] {
    return &MyStruct{} // ok
    // return MyStruct{} // doesn't implement
}

如果MyStruct是通用的,则情况相同。

// parametrized pointer receiver
func (m *MyStruct[T]) Get() T {
   return m.Val
}

func foo() Getter[string] {
    return &MyStruct[string]{} // ok
}

在您的情况下,将类型参数替换为具体类型的思维练习使得Dao[ReturnType]具有FindOne(id string) *ReturnType方法。实现此方法的类型是*MyDao(指针接收器),因此:

func NewMyDao() Dao[ReturnType] {
    return &MyDao{}
}

4
类型*MyDao实现了接口Dao[ReturnType],因此函数应该像这样:
func NewMyDao() Dao[ReturnType] {
    return &MyDao{}
}

请注意,返回类型是泛型接口的一个实例,返回值仅仅是一个 *MyDao 类型的实例。

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接