我想指定一个类型约束,如下所示:
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
的接收者类型和参数类型相同?
1条答案
按热度按时间vyswwuz21#
当你谈论约束时,你本质上是指接口类型的特定用法作为对类型参数集的限制。
类型约束是一个接口,它为相应的类型参数定义一组允许的类型参数,并控制该类型参数的值所支持的操作。
因此,当你(正确地)定义你的接口为:
字符串
你只讲了一半的故事。事实上,以上并不是一个约束。它只是一个接口。
为了真正成为类型约束,该接口必须被用作类型约束。
型
只有在类型参数列表中,您才可以通过使用类型参数示例化约束来强制
Compare(T)
的接收者为T
本身。当它不被用作约束时,接口只是一个方法集的定义,它 * 通过设计 * 对哪个类型可以实现它没有任何限制。
现在,可以使用类型项来指定哪些类型必须实现某个接口。但是类型参数不能直接用作类型项。您必须使用未命名的类型,例如指向
T
的指针:型
请注意,这将强制您在指针接收器(如
*MyInt
)上声明方法,这可能是理想的,也可能不是理想的。无论如何,这不能用它自己的类型参数
T Comparer[T]
示例化,因为无论T
是什么,约束都强加了一个额外的指针间接级别。函数参数永远不会满足它。实现此功能的技巧是使用不同的类型参数示例化
Comparer
。型
并将该方法声明为:
型
但是,如果您按照预期的方式使用接口约束,那么这种复杂的解决方法就变得不必要了。
Playgroundhttps://go.dev/play/p/fM5c_XYZqDZ