l'éditeur php Xinyi vous présente aujourd'hui une contrainte de type Go qui décrit le comportement des structures variables. Dans le langage Go, nous pouvons utiliser des types d'interface pour définir un ensemble de méthodes et limiter les types de paramètres entrants via des contraintes de type. Cette méthode peut effectuer une vérification de type au moment de la compilation pour garantir la sécurité et la fiabilité du code. En utilisant rationnellement les types d’interface et les contraintes de type, nous pouvons atteindre la flexibilité et l’évolutivité du code, et améliorer la maintenabilité et la lisibilité du programme. Examinons ensuite de plus près comment utiliser les contraintes de type Go pour décrire le comportement d'une structure mutable.
Je souhaite définir une fonction générique où les contraintes de type décrivent le comportement de la structure mutable.
Ce que j'entends par "comportement mutable", c'est une interface comme celle-ci :
type Unmarshaler interface { Unmarshal(data []byte) error }
...La mise en œuvre ressemble à ceci :
type Foo struct { Content string } func (f *Foo) Unmarshal(data []byte) error { f.Content = string(data) return nil }
Appeler la méthode d'interface changera la structure.
Ce que je veux faire, c'est définir une fonction générique où la contrainte de type est l'interface ci-dessus. Les fonctions génériques sont chargées d'initialiser une instance d'un type concret, puis de la muter à l'aide de méthodes d'interface et de la renvoyer.
func Unmarshal[T Unmarshaler](data []byte) (T, error) { var m T return m, m.Unmarshal(data) }
Je veux donc pouvoir appeler cette fonction générique en utilisant le type Foo.
func main() { foo, err := Unmarshal[*Foo]([]byte("hello")) if err == nil { log.Println(foo.Content) // hello } else { log.Fatal(err) } }
Je dois passer *Foo
作为类型参数,因为只有指向 Foo
的指针才实现 Unmarshaler
接口。但是,当 Foo 的 Unmarshal
方法收到 f
的 nil
值时,就会出现恐慌。这对我来说都是有意义的,因为 var m T
将使指向 Foo
une valeur de pointeur nulle, c'est à dire nulle. Mais je ne suis pas sûr d'être dans une impasse ?
https://go.dev/play/p/H5s59NWNiDA
Autant que je puisse le décrire, je rencontre ce problème chaque fois que mes contraintes de type décrivent un comportement de structure mutable et que ma fonction générique veut initialiser puis muter l'instance de la structure. Est-il possible? Existe-t-il une meilleure façon de construire cela ?
Le problème principal est de créer des valeurs pour certains types de packages T
创建有用的值。有几种方法可以做到这一点: m := make(T)
(地图和频道)等。您可以使用 reflect
, mais il serait plus simple de laisser l'appelant transmettre la valeur en tant que paramètre.
func Unmarshal[T Unmarshaler](m T, data []byte) (T, error) { return m, m.Unmarshal(data) }
Appelez la fonction comme ceci :
foo, err := Unmarshal(&Foo{}, []byte("hello"))
//m.sbmmt.com/link/8eb51d0a68e9373df41f88e5b551d4a3
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!