為什麼 Go 的泛型程式碼會失敗並顯示「不能使用 *T 類型的變數作為參數中的類型」？

理解泛型程式碼中的錯誤

在Go 中，使用泛型時的一個常見錯誤是「無法使用*T 類型的變數作為參數中的類型」。將指向泛型類型的指標傳遞給函數。發生這種情況是因為泛型類型參數 T 不等於用於限制它的約束類型。

理解類型限制

在提供的程式碼中，介面 FooBar 被定義為兩個的並集類型 foo 和 bar。這意味著任何實作 a() 字串方法的類型都可以指派給 FooBar 介面。然而，blah 函數中所使用的泛型型別參數 T 並非隱含等價於 FooBar。

在指標上實作方法

此外，類型 foo 和 bar 中的方法是在指標接收器上實現的（foo 和 bar）。這意味著方法 a() 字串實際上是為指向這些類型的指標定義的，而不是類型本身。

解決錯誤

要解決錯誤，您需要斷言泛型類型參數 T 實作 stringer 介面或在約束本身中明確定義類型的並集。

斷言 Stringer實作

func blah[T FooBar]() {
    t := new(T)
    do(any(t).(stringer))
}

但是，這種方法放棄了類型安全並可能導致運行時恐慌。

明確定義聯合

type FooBar[T foo | bar] interface {
    *T
    stringer
}

func blah[T foo | bar, U FooBar[T]]() {
    var t T
    do(U(&t))
}

這種方法保留了型別安全並允許將泛型型別參數T 初始化為非零

結論

理解泛型類型參數及其限制之間的關係對於在Go 中有效使用泛型至關重要。透過仔細定義介面和約束，您可以強制類型安全並避免執行時間錯誤。

以上是為什麼 Go 的泛型程式碼會失敗並顯示「不能使用 *T 類型的變數作為參數中的類型」？的詳細內容。更多資訊請關注PHP中文網其他相關文章！