在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 intfunc (t *MyInt) Compare(other MyInt) int { // implementation}
登录后复制
尽管如果您按预期使用接口约束，则这种复杂的解决方法就变得完全没有必要。
游乐场https://www.php.cn/link/3ea816621e0d8ecd5e534ec28051d4d5
以上就是Go：如何指定类型约束，其中方法的参数类型与接收者的类型相同的详细内容，更多请关注【创想鸟】其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至253000106@qq.com举报，一经查实，本站将立刻删除。
发布者：PHP中文网，转转请注明出处：https://www.chuangxiangniao.com/p/2356895.html
