¿Por qué Go tiene una declaración "goto"?

Me sorprendió descubrir que Go tiene una declaración "goto" . Siempre me han enseñado que las declaraciones 'goto' son cosa del pasado y malvado, ya que obstruyen el flujo real de un programa, y ​​que las funciones o métodos son siempre una mejor manera de controlar el flujo.

Debo estar perdiendo algo. ¿Por qué Google lo incluyó?

Cuando realmente verificamos el código fuente de la biblioteca estándar de Go, podemos ver dónde gotoestán realmente bien aplicados los correos electrónicos.

Por ejemplo, en el math/gamma.goarchivo, se usa la gotodeclaración :

  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)
}

En gotoeste caso, nos ahorra la introducción de otra variable (booleana) utilizada solo para el flujo de control, verificada al final. En este caso , la gotodeclaración hace que el código sea realmente mejor de leer y más fácil de seguir (muy al contrario del argumento gotoque mencionaste en tu contra ).

También tenga en cuenta que la gotodeclaración tiene un caso de uso muy específico. La especificación del lenguaje en goto establece que no puede saltar sobre las variables que entran en el alcance (siendo declaradas), y no puede saltar a otros bloques (de código).

Ir a es una buena idea cuando ninguna de las funciones de control integradas hace exactamente lo que desea y cuando puede expresar lo que desea con un goto. (Es una pena en estos casos en algunos lenguajes cuando no tienes un goto. Terminas abusando de alguna función de control, usando indicadores booleanos o usando otras soluciones peores que goto).

Si alguna otra función de control (usada de una manera razonablemente obvia) puede hacer lo que desea, debe usarla en lugar de ir a goto. Si no, ¡sé atrevido y usa goto!

Finalmente, vale la pena señalar que Go's goto tiene algunas restricciones diseñadas para evitar algunos errores oscuros. Consulte estas restricciones en la especificación.

Las declaraciones de Goto han recibido mucho descrédito desde la era del código Spaghetti en los años 60 y 70. En aquel entonces, la metodología de desarrollo de software era muy pobre o nula. Sin embargo, los Goto no son malvados de forma nativa, sino que, por supuesto, pueden ser mal utilizados y abusados ​​por programadores perezosos o inexpertos. Muchos problemas con Gotos abusados ​​se pueden resolver con procesos de desarrollo, como revisiones de código de equipo.

gotoson saltos de la misma forma técnica que continue, breaky return. Se podría argumentar que estas son declaraciones son malas de la misma manera, pero no lo son.

La razón por la que el equipo de Go ha incluido Gotos probablemente se deba al hecho de que es una primitiva común de control de flujo. Además, con suerte, concluyeron que el alcance de Go excluye hacer que un lenguaje seguro para idiotas no sea posible de abusar.