如何实现泛型接口？

Question

我刚刚看到 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]{}
}

这可能吗？我似乎并没有那样实现接口，我已经尝试了很多相同的组合。

有没有办法实现通用接口？如果不是，是否只能替代 return interface{} 类型？

Answer 1

类型 *MyDao 实现接口 Dao[ReturnType]。因此，该函数应如下所示：

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

请注意，return 类型是通用接口的一个实例，returned 值只是 *MyDao 类型的一个实例。

Answer 2

类型实际上并不实现泛型接口，它们实现泛型接口的实例化。。从那里开始，它就像 pre-generics 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 方法。为了使其有效，它们也是通用的并使用相同的类型参数实例化：

所以即使 T 是 string

也不会编译

// 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{}
}

如何实现泛型接口？

How to implement generic interfaces?

generics

interface

go

具有具体类型参数的接口

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

具有通用实现者的具体接口

指针接收器