Por que Go tem uma declaração “goto”

Fiquei surpreso ao descobrir que Go tem uma declaração 'goto' . Sempre fui ensinado que as declarações 'goto' são coisas do passado e más, pois obstruem o fluxo real de um programa, e que funções ou métodos são sempre uma maneira melhor de controlar o fluxo.

Eu devo estar esquecendo alguma coisa. Por que o Google o incluiu?

Quando realmente verificamos o código-fonte da biblioteca padrão Go, podemos ver onde os gotos estão realmente bem aplicados.

Por exemplo, no math/gamma.goarquivo, a gotoinstrução é usada :

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

O gotoneste caso nos poupa de introduzir outra variável (booleana) usada apenas para controle de fluxo, verificada no final. Nesse caso , a gotoinstrução torna o código realmente melhor de ler e mais fácil de seguir (ao contrário do argumento contra que gotovocê mencionou).

Observe também que a gotoinstrução tem um caso de uso muito específico. A especificação da linguagem em goto afirma que ela não pode saltar sobre as variáveis ​​que entram no escopo (sendo declaradas) e não pode saltar para outros blocos (código-).

Goto é uma boa ideia quando nenhum dos recursos de controle integrados faz exatamente o que você deseja e quando você pode expressar o que deseja com um goto. (É uma pena, nesses casos, em alguns idiomas, quando você não tem um goto. Você acaba abusando de algum recurso de controle, usando sinalizadores booleanos ou usando outras soluções piores do que goto.)

Se algum outro recurso de controle (usado de maneira razoavelmente óbvia) pode fazer o que você deseja, você deve usá-lo em preferência para ir para. Se não, seja ousado e use goto!

Finalmente, é importante notar que goto de Go tem algumas restrições destinadas a evitar alguns bugs obscuros. Veja essas restrições nas especificações.

As declarações de Goto receberam muito descrédito desde a era do código Spaghetti nos anos 60 e 70. Naquela época, a metodologia de desenvolvimento de software era muito pobre ou inexistente. No entanto, Goto não é nativamente mau, mas pode, claro, ser mal usado e abusado por programadores preguiçosos ou não qualificados. Muitos problemas com Gotos abusados ​​podem ser resolvidos com processos de desenvolvimento, como revisões de código de equipe.

gotosão saltos da mesma maneira técnica que continue, breake return. Alguém poderia argumentar que essas afirmações são más da mesma maneira, mas não são.

A razão pela qual a equipe Go incluiu o Gotos é provavelmente devido ao fato de que é um primitivo de controle de fluxo comum. Além disso, eles esperançosamente concluíram que o escopo do Go exclui tornar uma linguagem segura para idiotas impossível de ser abusada.