如何在 Golang 泛型中用具體類型填入介面片段？

Golang 泛型：同時使用介面和具體類型

在 Go 1.18 中，泛型為類型處理引入了新的可能性。然而，當一起使用介面和具體類型時，某些場景可能會帶來挑戰。

嘗試建立這樣的函數時會出現這樣的場景：

<code class="go">func Fill[X any](slice []*X){
   for i := range slice {
      slice[i] = new(X)
   }
}</code>

此函數旨在填充具有具體類型的介面片段。例如，可以使用此函數以 new(int) 填充 *int 陣列。

嘗試使用實作介面的具體類型填充介面切片時會出現問題。考慮以下程式碼：

<code class="go">func Fill[X, Y any](slice []X){
   for i := range slice {
      slice[i] = new(Y) // not work!
   }
}

xs := make([]sync.Locker, 10) // fill with nils
Fill[sync.Locker,sync.Mutex](xs) // ouch</code>

在這種情況下，函數不起作用，因為將 X 和 Y 都約束為任何會破壞介面和實作類型之間的關係。編譯器在編譯時僅辨識 X 和 Y 是不同的型別。

可能的解

有一個解法可以使用明確斷言來編譯程式碼：

<code class="go">func Fill[X, Y any](slice []X) {
    for i := range slice {
        slice[i] = any(*new(Y)).(X)
    }
}</code>

但是，這個解有一個顯著的缺點：如果Y 沒有實作X，它會發生恐慌，就像使用sync.Locker 和sync.Mutex 一樣。此外，對 Y 使用指標類型會導致 nil 值，因為它會遺失基本類型和零值資訊。

更好的替代方案

更強大的解決方案是使用構造函數而不是第二個類型參數：

<code class="go">func main() {
    xs := make([]sync.Locker, 10)
    Fill(xs, func() sync.Locker { return &sync.Mutex{} })
}

func Fill[X any](slice []X, f func() X) {
    for i := range slice {
        slice[i] = f()
    }
}</code>

在這種方法中，函數採用X 類型的切片和建構函數。建構函數會建立一個 X 類型的實例，用具體實例填滿切片。

以上是如何在 Golang 泛型中用具體類型填入介面片段？的詳細內容。更多資訊請關注PHP中文網其他相關文章！