Go:如何指定一个类型约束,其中方法的参数类型与接收者的类型相同

wvyml7n5  于 5个月前  发布在  Go
关注(0)|答案(1)|浏览(65)

我想指定一个类型约束,如下所示:

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的接收者类型和参数类型相同?

vyswwuz2

vyswwuz21#

当你谈论约束时,你本质上是指接口类型的特定用法作为对类型参数集的限制。
类型约束是一个接口,它为相应的类型参数定义一组允许的类型参数,并控制该类型参数的值所支持的操作。
因此,当你(正确地)定义你的接口为:

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
}


但是,如果您按照预期的方式使用接口约束,那么这种复杂的解决方法就变得不必要了。
Playgroundhttps://go.dev/play/p/fM5c_XYZqDZ

相关问题