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：如何指定型別約束，其中方法的參數類型與接收者的型別相同的詳細內容。更多資訊請關注PHP中文網其他相關文章！