Pourquoi Go a-t-il une instruction "goto"

J'ai été surpris de constater que Go a une déclaration «goto» . On m'a toujours appris que les déclarations «goto» sont une chose du passé et du mal car elles obstruent le flux réel d'un programme, et que les fonctions ou méthodes sont toujours un meilleur moyen de contrôler le flux.

J'ai dû louper quelque chose. Pourquoi Google l'a-t-il inclus?

Lorsque nous vérifions le code source de la bibliothèque standard Go, nous pouvons voir où les gotos sont réellement bien appliqués.

Par exemple, dans le math/gamma.gofichier, l' gotoinstruction est utilisée :

  for x < 0 {
    if x > -1e-09 {
      goto small
    }
    z = z / x
    x = x + 1
  }
  for x < 2 {
    if x < 1e-09 {
      goto small
    }
    z = z / x
    x = x + 1
  }

  if x == 2 {
    return z
  }

  x = x - 2
  p = (((((x*_gamP[0]+_gamP[1])*x+_gamP[2])*x+_gamP[3])*x+_gamP[4])*x+_gamP[5])*x + _gamP[6]
  q = ((((((x*_gamQ[0]+_gamQ[1])*x+_gamQ[2])*x+_gamQ[3])*x+_gamQ[4])*x+_gamQ[5])*x+_gamQ[6])*x + _gamQ[7]
  return z * p / q

small:
  if x == 0 {
    return Inf(1)
  }
  return z / ((1 + Euler*x) * x)
}

Le gotodans ce cas nous évite d'introduire une autre variable (booléenne) utilisée uniquement pour le flux de contrôle, vérifiée à la fin. Dans ce cas , l' gotoinstruction rend le code en fait meilleur à lire et à suivre plus facilement (tout à fait contrairement à l'argument contre gotovous mentionné).

Notez également que le goto déclaration a un cas d'utilisation très spécifique. La spécification du langage sur goto indique qu'il ne peut pas sauter par-dessus les variables entrant dans la portée (en cours de déclaration), et il ne peut pas sauter dans d'autres blocs (de code).

Goto est une bonne idée lorsqu'aucune des fonctionnalités de contrôle intégrées ne fait tout ce que vous voulez et lorsque vous pouvez exprimer ce que vous voulez avec un goto. (C'est dommage dans ces cas dans certaines langues lorsque vous n'avez pas de goto. Vous finissez par abuser de certaines fonctionnalités de contrôle, en utilisant des indicateurs booléens ou en utilisant d'autres solutions pires que goto.)

Si une autre fonction de contrôle (utilisée de manière raisonnablement évidente) peut faire ce que vous voulez, vous devriez l'utiliser de préférence à goto. Sinon, soyez audacieux et utilisez goto!

Enfin, il convient de noter que Go's goto a quelques restrictions conçues pour éviter certains bugs obscurs. Voir ces restrictions dans la spécification.

Les déclarations Goto ont reçu beaucoup de discrédit depuis l'ère du code Spaghetti dans les années 60 et 70. À l'époque, la méthodologie de développement de logiciels était très médiocre ou nulle. Cependant Goto n'est pas nativement mauvais mais peut bien sûr être mal utilisé et abusé par des programmeurs paresseux ou non qualifiés. De nombreux problèmes avec Gotos abusés peuvent être résolus avec des processus de développement tels que les révisions de code d'équipe.

gotosont des sauts de la même manière technique que continue, breaket return. On pourrait soutenir que ces déclarations sont mauvaises de la même manière, mais elles ne le sont pas.

La raison pour laquelle l'équipe Go a inclus Gotos est probablement due au fait qu'il s'agit d'une primitive de contrôle de flux commune. En outre, ils ont conclu, espérons-le, que la portée de Go exclut de rendre un langage sans danger pour les idiots impossible à abuser.