指定类型约束：如何在方法中指定参数类型与接收者类型相同

本篇文章向大家介绍《指定类型约束：如何在方法中指定参数类型与接收者类型相同》，主要包括，具有一定的参考价值，需要的朋友可以参考一下。

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

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://go.dev/play/p/fM5c_XYZqDZ

本篇关于《指定类型约束：如何在方法中指定参数类型与接收者类型相同》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于Golang的相关知识，请关注golang学习网公众号！