Pourquoi le paramètre de type générique My Go ne satisfait-il pas à l'interface « stringer » ?

Comprendre les contraintes de type générique dans Go

Dans Go 1.18, les génériques offrent un outil puissant pour améliorer la flexibilité du code. Cependant, lorsque vous travaillez avec des contraintes de type, il est important de comprendre pourquoi certaines erreurs peuvent se produire.

Le problème

Considérez le code suivant :

type stringer interface {
    a() string
}

func do(s stringer) {
    fmt.Println(s.a())
}

func blah[T FooBar]() {
    t := &T{}
    do(t)
}

func main() {
    blah[foo]()
}

Lorsque vous tentez de compiler ce code, vous pouvez rencontrer l'erreur :

cannot use t (variable of type *T) as type stringer in argument to do: *T does not implement stringer (type *T is pointer to type parameter, not type parameter)

Comprendre l'erreur

Cette erreur provient d'un malentendu sur le fonctionnement des contraintes de type génériques. La contrainte FooBar dans la fonction blah est un espace réservé pour les types qui satisfont l'interface FooBar. Cependant, la variable t est de type T, qui est un pointeur vers le paramètre de type T. Cela signifie que T n'est pas un paramètre de type lui-même et ne peut donc pas satisfaire l'interface stringer.

La solution

La solution à ce problème est d'introduire une relation entre le paramètre de type T et l'interface du stringer. Il existe deux approches potentielles :

1. Assertion explicite

Vous pouvez affirmer explicitement que *T satisfait l'interface stringer en utilisant la conversion de type quelconque :

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

2. Composition de type

Vous pouvez également définir un nouveau type qui combine les contraintes de FooBar et stringer :

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

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

Cette approche garantit la sécurité du type en intégrant stringer dans l'interface FooBar et nécessite que T soit un type pointeur pour satisfaire la contrainte FooBar.

Conclusion

Comprendre la relation entre les contraintes de type et les paramètres de type est crucial pour travailler efficacement avec les génériques dans Go. En introduisant une relation entre T et stringer, soit par assertion explicite, soit par composition de type, vous pouvez résoudre l'erreur et activer le comportement souhaité.

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!