我正在try 使用泛型来实现接口Interface
.它有一个接受另一个接口作为参数的方法:
type SubInterface interface {
SendResponse(string)
}
type Interface interface {
Subscribe(SubInterface)
}
我想出了这些接口的以下通用版本:
type GenericSubInterface[T any] interface {
SendResponse(T)
}
type GenericInterface[Res any] interface {
Subscribe(GenericSubInterface[Res])
}
我希望GenericInterface[string]
可以赋值给Interface
,但不知何故并不是这样.
var a Interface
var b GenericInterface[string]
// cannot use b (variable of type GenericInterface[string]) as Interface value in assignment: GenericInterface[string] does not implement Interface (wrong type for method Subscribe)
// have Subscribe(GenericSubInterface[string])
// want Subscribe(SubInterface)
a = b
创建Interface
的通用实现也不起作用:
type GenericImplementation[Res any] struct {
}
func (i *GenericImplementation[Res])Subscribe(ss GenericSubInterface[Res]) {
var msg Res
ss.SendResponse(msg)
}
// cannot use &GenericImplementation[string]{} (value of type *GenericImplementation[string]) as Interface value in variable declaration: *GenericImplementation[string] does not implement Interface (wrong type for method Subscribe)
// have Subscribe(GenericSubInterface[string])
// want Subscribe(SubInterface)
var c Interface = &GenericImplementation[string]{}
在我看来奇怪的是,子接口可以相互分配:
var d SubInterface
var e GenericSubInterface[string]
// works fine
d = e
这个问题似乎只有在接口以某种方式嵌套时才会发生.有没有办法解决这个问题,我可以使用string
以外的类型的泛型来实现Interface
?