如何实现泛型接口？

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

}

这可能吗？我似乎并没有以这种方式实现接口，而且我已经尝试了很多相同的组合。

有没有办法实现通用接口？如果不是，是否只有返回interface{}类型的替代方案？

Answer 1

类型实际上并不实现通用接口，它们实现通用接口的实例化。没有实例化就不能使用通用类型（包括接口）。从那里开始，它就像前泛型 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}// okfunc foo() Getter[string] {    return MyStruct{}}以类型参数作为类型参数的接口具有类型参数的函数可以使用它们来实例化泛型类型，例如Getter[T]. 实施者必须有确切的Get() T方法。为了使其有效，它们也是通用的并使用相同的类型参数实例化：所以这不会编译即使T是string// Getter[T] literally needs implementors with `Get() T` methodfunc 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 receiverfunc (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{}}

Answer 2

该类型*MyDao实现了接口Dao[ReturnType]。因此，该函数应如下所示：func NewMyDao() Dao[ReturnType] {    return &MyDao{}}请注意，返回类型是通用接口的一个实例，而返回值只是该*MyDao类型的一个实例。