gotosatser

Gotosatser är en kontrollflödesinstruktion som obegränsat överför kontrollen till en annan plats i samma funktion eller block, genom att hoppa till en etikett definierad i koden. Satsen skrivs vanligtvis som goto etikett; där etiketten definieras som etikett: någonstans i programmet. Detta ger ett omkastat, icke-segmenterat flöde. Gotosatser finns i många äldre språk, exempelvis C, C++, Fortran och Pascal. I moderna språk som Java och C# är goto i praktiken avskaffat eller ersatt av strukturella kontroller och undantag.

En vanlig användning i C är att hantera fel och resursstädning: man hoppar till en cleanup-etikett när ett fel uppstår, så man undviker duplicerad kod. Exempel: if (err) goto cleanup; ... cleanup: free(resource);. Denna ansats kräver rigorös disciplin eftersom jump över variabler med automatisk lagring kan leda till odefinierat beteende. Gotosatser riskerar att skapa ostrukturerad och svårförståelig kod, ofta kallad spaghetti-kod. Därför rekommenderas begränsad användning—för små, väl avgränsade ändamål såsom felhantering i språk som C—eller att hellre använda strukturerade lösningar.

Vissa kompilatorer stöder indirekt goto (computed goto), där man hoppar till en etikett som beräknas vid körning (exempelvis i interpreter). Begränsningar gäller i språk som C och C++; i C++ riskerar hopp över objekt med icke-trivial konstruktor eller destruktor att orsaka problem.

Se även: spaghettikod, undantagshantering, RAII, label och switch.