Go：如何指定类型约束，其中方法的参数是接收者

Question

我想指定一个类型约束，如下所示：

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

的接收者类型和参数类型相同？

Answer 1

当您谈论约束时，您本质上是指接口类型的具体用法作为对类型参数集的限制。

类型约束是一个接口，它定义相应类型参数的允许类型参数集，并控制该类型参数的值支持的操作。

因此，当您（正确）将接口定义为：

type Comparer[T any] interface {
    Compare(T) int
}

你只讲了故事的一半。事实上，上述并不是一个限制。这只是一个界面。

为了真正成为类型约束，该接口必须用作一个。

func Foo[T Comparer[T]](t1, t2 T) bool {
    return t1.Compare(t2)
}

type Thing[T Comparer[T]] struct {
    Value T
}

只有在类型参数列表中，您可以通过使用其类型参数实例化约束来强制

Compare(T)

的接收者为

T

本身。

当不用作约束时，接口只是方法集的定义，通过设计对哪种类型可以实现它没有任何限制。