类型实际上并不实现通用接口,它们实现实例化的通用接口。没有实例化就不能使用泛型类型(包括接口)。从那里开始,它就像前泛型 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
is 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
}
Making 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{}
}