Dlaczego Go zawiera instrukcję „goto”

Zaskoczyło mnie, że Go zawiera stwierdzenie „goto” . Zawsze uczono mnie, że instrukcje „goto” należą do przeszłości i są złe, ponieważ blokują rzeczywisty przepływ programu, a funkcje lub metody są zawsze lepszym sposobem kontrolowania przepływu.

Muszę czegoś przegapić. Dlaczego Google to umieściło?

Kiedy faktycznie sprawdzimy kod źródłowy standardowej biblioteki Go, możemy zobaczyć, gdzie gotosą one właściwie dobrze zastosowane.

Na przykład w math/gamma.gopliku oświadczenie jest używany :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)
}

W gototym przypadku chroni nas przed wprowadzeniem kolejnej (boolowskiej) zmiennej używanej tylko do sterowania przepływem, sprawdzanej na końcu. W tym przypadku , gotooświadczenie czyni kod właściwie lepsze i łatwiejsze do odczytania obserwacji (dość w przeciwieństwie do argumentu przeciwko gotowspomniałeś).

Należy również zauważyć, że gotoinstrukcja ma bardzo specyficzny przypadek użycia. Specyfikacja języka w goto stwierdza, że ​​nie może przeskakiwać zmiennych wchodzących w zakres (deklarowanych) i nie może przeskakiwać do innych bloków (kodu).

Goto to dobry pomysł, gdy żadna z wbudowanych funkcji kontrolnych nie robi tego, co chcesz, i kiedy możesz wyrazić to, co chcesz, za pomocą goto. (Szkoda w tych przypadkach w niektórych językach, gdy nie masz goto. W końcu nadużywasz jakiejś funkcji kontrolnej, używasz flag logicznych lub używasz innych rozwiązań gorszych niż goto.)

Jeśli jakaś inna funkcja kontrolna (używana w dość oczywisty sposób) może zrobić to, co chcesz, powinieneś użyć jej zamiast goto. Jeśli nie, bądź odważny i użyj goto!

Na koniec warto zauważyć, że Go's goto ma pewne ograniczenia zaprojektowane w celu uniknięcia niektórych niejasnych błędów. Zobacz te ograniczenia w specyfikacji.

Wypowiedzi Goto spotykały się z dużym uznaniem od czasów kodu Spaghetti w latach 60. i 70. W tamtych czasach metodologia tworzenia oprogramowania była bardzo słaba lub żadna. Jednak Goto nie są natywnie złe, ale oczywiście mogą być nadużywane i nadużywane przez leniwych lub niewykwalifikowanych programistów. Wiele problemów z nadużywanymi Gotos można rozwiązać za pomocą procesów programistycznych, takich jak przeglądy kodu zespołu.

gotosą skokami w taki sam sposób techniczny jak continue, breaki return. Można by argumentować, że te stwierdzenia są złe w ten sam sposób, ale tak nie jest.

Dlaczego zespół Go włączył Gotos, prawdopodobnie wynika z faktu, że jest to powszechny prymityw kontroli przepływu. Ponadto, miejmy nadzieję, doszli do wniosku, że zakres Go wyklucza uniemożliwienie nadużywania języka bezpiecznego dla idioty.