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

2024年 2月 9日 93.9k 0

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

在Go语言中,我们可以使用类型约束来指定函数或方法的参数类型。当我们希望方法的参数类型与接收者的类型相同时,该如何指定呢?首先,需要明确的是,Go语言中并没有直接支持参数类型与接收者类型相同的特性。然而,我们可以通过在方法定义中使用指针类型来实现类似的效果。接下来,我们将详细介绍如何在Go语言中指定参数类型与接收者类型相同的方法。

问题内容

我想指定如下所示的类型约束:

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
}

登录后复制

尽管如果您按预期使用接口约束,则这种复杂的解决方法就变得完全没有必要。

游乐场https://www.php.cn/link/3ea816621e0d8ecd5e534ec28051d4d5

以上就是Go:如何指定类型约束,其中方法的参数类型与接收者的类型相同的详细内容,更多请关注每日运维网(www.mryunwei.com)其它相关文章!

相关文章

JavaScript2024新功能:Object.groupBy、正则表达式v标志
PHP trim 函数对多字节字符的使用和限制
新函数 json_validate() 、randomizer 类扩展…20 个PHP 8.3 新特性全面解析
使用HTMX为WordPress增效:如何在不使用复杂框架的情况下增强平台功能
为React 19做准备:WordPress 6.6用户指南
如何删除WordPress中的所有评论

发布评论