我想指定一个类型约束,如下所示:
type Comparer interface {
Compare(another Comparer) int
}
但是我希望实现类型将其自身的具体类型传递到方法
Compare
而不是接口Comparer
中,如下所示(我知道以下没有实现Comparer
):
func (a MyInt) Compare(b MyInt) int {
xxxx
return xxxx
}
我尝试使用这样的通用接口:
type Comparer[T any] interface {
Compare(T) int
}
但这并不强制方法
Compare
的接收者也是类型 T。
有没有办法强制方法
Compare
的接收者类型和参数类型相同?
当您谈论约束时,您本质上是指接口类型的具体用法作为对类型参数集的限制。
类型约束是一个接口,它定义相应类型参数的允许类型参数集,并控制该类型参数的值支持的操作。
因此,当您(正确)将接口定义为:
type Comparer[T any] interface {
Compare(T) int
}
你只讲了故事的一半。事实上,上述并不是一个限制。这只是一个界面。
为了真正成为类型约束,该接口必须用作一个。
func Foo[T Comparer[T]](t1, t2 T) int {
return t1.Compare(t2)
}
type Thing[T Comparer[T]] struct {
Value T
}
只有在类型参数列表中,您可以通过使用其类型参数实例化约束来强制
Compare(T)
的接收者为 T
本身。
当不用作约束时,接口只是方法集的定义,通过设计对哪种类型可以实现它没有任何限制。
现在,可以使用类型术语来指定哪些类型必须实现某个接口。但是类型参数不能直接用作类型术语。您必须使用未命名类型,例如指向
T
: 的指针
type Comparer[T any] interface {
*T
Compare(T) int
}
请注意,这会强制您在指针接收器上声明方法,例如
*MyInt
,这可能是理想的,也可能不是。
无论如何,这不能用它自己的类型参数实例化为
T Comparer[T]
,因为无论T
是什么,约束都会施加额外的指针间接级别。函数参数永远无法满足它。
实现此功能的技巧是使用不同的类型参数实例化
Comparer
。
func test[T any, V Comparer[T]](a, b T) int {
return V(&a).Compare(b)
}
并将方法声明为:
type MyInt int
func (t *MyInt) Compare(other MyInt) int {
// implementation
}
尽管如果您按预期使用接口约束,则这种复杂的解决方法就变得完全没有必要。