go - 为什么 Go 有 "goto"语句？

Question

我惊讶地发现 Go 有一个 'goto'陈述。我一直被教导说“goto”语句已成为过去，而且是邪恶的，因为它阻塞了程序的实际流程，并且函数或方法始终是控制流程的更好方法。

我一定错过了什么。为什么 Google 会包含它？

Answer 1

当我们实际查看 Go 标准库的源代码时，我们可以看到 gotos 实际应用得很好。

例如，在 math/gamma.go 文件中，the goto statement is used :

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

在这种情况下，goto 使我们免于引入另一个仅用于控制流的( bool )变量，最后检查。 在这种情况下，goto 语句实际上使代码更易于阅读和更容易理解(与您提到的反对 goto 的论点完全相反) .

还要注意，goto 语句有一个非常具体的用例。 language specification on goto声明它不能跳过进入作用域(被声明)的变量，也不能跳过其他(代码) block 。