Les Pièges du Go 6
Le langage de programmation Go a la réputation d’être simple à apprendre. Cependant, il recèle quelques pièges qui peuvent être difficiles à détecter pour un novice. Cette série d’articles propose d’en désamorcer quelques uns.
Nous voudrions inverser un slice. Cela semble une tâche toute trouvée pour les Generics, donc nous écrivons le code suivant:
package main
import "fmt"
func reverse[S []any](s S) {
for i, j := 0, len(s)-1; i < j; i, j = i+1, j-1 {
s[i], s[j] = s[j], s[i]
}
}
func main() {
slice := []int{1, 2, 3}
reverse(slice)
fmt.Printf("%#v\n", slice)
}
Mais il ne compile pas, avec le message d’erreur suivant : []int does not implement []any ! Pourquoi ce code ne compile-t-il pas ? Comment le corriger ?
Explication
Tout d’abord, il faut indiquer que les Generics ne sont pas la cause du problème qui est plus fondamental et se résume à la question suivante : pourquoi ne peut-on envoyer le type []int à une fonction qui attend []any (ou []interface{}) ?
Nous allons faire une démonstration par l’absurde et supposer que l’on puisse passer []int à la fonction F([]interface{}) dans l’exemple suivant, qui devrait compiler :
package main
func F(v []interface{}) {
v[0] = "Oops!"
}
func main() {
v := []int{1, 2, 3}
F(v)
println(v[0])
}
Cet exemple ne compile pas avec le message d’erreur cannot use v (variable of type []int) as type []interface{} in argument to F et nous comprenons maintenant pourquoi : cela permettrait d’assigner, dans notre exemple, une chaîne dans un slice d’entiers.
Pour revenir à notre problème de départ, nous devons trouver un moyen de décrire le type du paramètre de notre fonction reverse() sans utiliser []any.
Nous pouvons corriger le code comme suit :
package main
import "fmt"
func reverse[S []E, E any](s S) {
for i, j := 0, len(s)-1; i < j; i, j = i+1, j-1 {
s[i], s[j] = s[j], s[i]
}
}
func main() {
slice := []int{1, 2, 3}
reverse(slice)
fmt.Printf("%#v\n", slice)
}
Nous indiquons alors au compilateur que notre argument est un slice du type E et que le type E est quelconque. Le compilateur est content, CQFD !
Pour une explication plus détaillée, voir cet article (en anglais).
Enjoy!