Почему в Go есть инструкция goto

Я был удивлен, обнаружив, что в Go есть инструкция goto . Меня всегда учили, что операторы goto ушли в прошлое и являются злом, поскольку они перекрывают реальный поток программы, и что функции или методы всегда являются лучшим способом управления потоком.

Я, должно быть, что-то упускаю. Почему Google включил это?

Когда мы действительно проверим исходный код стандартной библиотеки Go, мы увидим, где на gotoсамом деле хорошо применены s.

Например, в math/gamma.goфайле используется gotoинструкция :

  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этом случае мы избавляемся от введения другой (логической) переменной, используемой только для потока управления, проверяемой в конце. В этом случае , то gotoоператор делает код на самом деле лучше читать и легче последующей (вполне в отличие от аргумента против gotoвы упомянули).

Также обратите внимание, что этот gotoоператор имеет очень специфический вариант использования. В спецификации языка goto указано, что он не может перепрыгивать через переменные, входящие в область видимости (объявляемые), и не может переходить в другие (кодовые) блоки.

Goto - хорошая идея, когда ни одна из встроенных функций управления не делает то, что вы хотите, и когда вы можете выразить то, что хотите, с помощью goto. (Жалко в этих случаях на некоторых языках, когда у вас нет goto. В конечном итоге вы злоупотребляете некоторыми функциями управления, используете логические флаги или другие решения хуже, чем goto.)

Если какая-то другая функция управления (используемая достаточно очевидным образом) может делать то, что вы хотите, вам следует использовать ее вместо goto. Если нет, проявите смелость и используйте goto!

Наконец, стоит отметить, что goto Go имеет некоторые ограничения, призванные избежать некоторых неясных ошибок. См. Эти ограничения в спецификации.

Утверждения Goto получили много дискредитации со времен эры кода спагетти в 60-х и 70-х годах. В то время методология разработки программного обеспечения была очень плохой. Однако Goto изначально не является злом, но, конечно, может быть неправильно использован ленивыми или неквалифицированными программистами. Многие проблемы со злоупотреблениями Gotos можно решить с помощью процессов разработки, таких как проверка кода команды.

gotoявляются прыжками в той же технической манере continue, что breakи , и return. Кто-то может возразить, что эти утверждения являются злом, но это не так.

Команда Go включила Gotos, вероятно, из-за того, что это обычный примитив управления потоком. Вдобавок они, надеюсь, пришли к выводу, что Go исключает возможность злоупотребления безопасным для идиотов языком.