php小編新一今天為大家介紹一種描述可變結構行為的 Go 類型約束。在 Go 語言中，我們可以使用介面類型來定義一組方法的集合，並透過型別約束來限制傳入參數的型別。這種方式可以在編譯時進行類型檢查，確保程式碼的安全性和可靠性。透過合理使用介面類型和類型約束，我們可以實現程式碼的靈活性和可擴充性，提高程式的可維護性和可讀性。接下來，讓我們詳細了解如何使用 Go 類型約束來描述可變結構行為。
我想定義一個通用函數，其中類型約束描述可變結構行為。
我所說的「可變行為」是這樣的介面：
type Unmarshaler interface {
Unmarshal(data []byte) error
}
...實作看起來像這樣：
type Foo struct {
Content string
}
func (f *Foo) Unmarshal(data []byte) error {
f.Content = string(data)
return nil
}
呼叫介面方法會改變結構。
我想要做的是定義一個通用函數，其中類型約束是上面的介面。泛型函數負責初始化具體類型的實例，然後使用介面方法對其進行變異並傳回。
func Unmarshal[T Unmarshaler](data []byte) (T, error) {
var m T
return m, m.Unmarshal(data)
}
所以我希望能夠使用 Foo 類型來呼叫該泛型函數。
func main() {
foo, err := Unmarshal[*Foo]([]byte("hello"))
if err == nil {
log.Println(foo.Content) // hello
} else {
log.Fatal(err)
}
}
我必須傳遞 *Foo 作為類型參數，因為只有指向 Foo 的指標才實作 Unmarshaler 介面。但是，當 Foo 的 Unmarshal 方法收到 f 的 nil 值時，就會出現恐慌。這對我來說都是有意義的，因為 var m T 將使指向 Foo 的指標值為零，即 nil。但我不確定我是否已經走進了死胡同？
https://go.dev/play/p/H5s59NWNiDA
#正如我所能描述的那樣，每當我的類型約束描述一些可變的結構行為，並且我的泛型函數想要初始化，然後改變結構的實例時，我都會遇到這個問題。這可能嗎？有更好的方法來建造這個嗎？ 解決方法核心問題是為某些類型 T 建立有用的值。有幾種方法可以做到這一點： m := make(T) （地圖和頻道）等。您可以使用 reflect
func Unmarshal[T Unmarshaler](m T, data []byte) (T, error) {
return m, m.Unmarshal(data)
}
foo, err := Unmarshal(&Foo{}, []byte("hello"))以上是描述可變結構行為的 Go 類型約束的詳細內容。更多資訊請關注PHP中文網其他相關文章！
