Rücksprung

Eine Sprunganweisung oder ein Sprungbefehl dient in Programmiersprachen von Computerprogrammen dazu, die Ausführung an anderer Stelle fortzuführen, also Programmteile zu überspringen.

Bei einem Rücksprung wird das Programm an einer Stelle fortgesetzt, die vor der Stelle der Sprunganweisung liegt, so dass Teile des Programmcodes nochmal durchlaufen werden.

Die bekannteste Sprunganweisung ist das so genannte GoTo.

Sprunganweisungen auf Maschinenebene

Im Unterschied zu den Hochsprachen spricht man hier häufiger von Sprungbefehlen als von Sprunganweisungen.

Mikroprozessoren kennen in der Regel sehr viele verschiedene Sprungbefehle. Diese kann man folgendermaßen unterscheiden:

• bedingt/unbedingt: der Sprung wird entweder immer ausgeführt oder nur wenn eine Bedingung erfüllt ist
• absolut/relativ: im ersten Fall wird das Programm an der angegebenen Adresse fortgeführt, im zweiten Fall hingegen erfolgt der Sprung relativ zur aktuellen Position

Eine besondere Form von Sprungbefehlen sind Unterprogramm-Aufrufe. Bei diesen wird zuerst die aktuelle Position auf dem Stack gespeichert und erst dann die Programmausführung an der neuen Adresse fortgeführt. Über Rücksprungbefehle kann später wieder an die ursprüngliche Position zurückgekehrt werden.

Sprunganweisungen auf Hochsprachenebene

In höheren Programmiersprachen ist eine Sprunganweisung eine Anweisung der Form

 goto markenname

oder

 if bedingung
   goto markenname

Im ersten Fall wird sie unbedingte Sprunganweisung, in zweiten bedingte Sprunganweisung genannt. Dabei steht markenname für den Namen einer Sprungmarke, die an einer anderen Stelle des Programms definiert ist. Bei der Abarbeitung des Programms wird an der Stelle fortgesetzt, an der die Sprungmarke steht.

Im Prinzip könnte man allein mit bedingten Sprunganweisungen und einigen Zusatzfunktionen für Datenein- und Ausgabe jeden Algorithmus programmieren. Die entstehenden Programme sind allerdings ab einer gewissen Größe unwartbar. In aktuellen Programmiersprachen werden explizit formulierte Sprunganweisungen deshalb selten verwendet. Stattdessen werden häufiger höherwertige Kontrollstrukturen (insbesondere Schleifen, Methodenaufrufe und bedingt ausgeführte Programmblöcke) eingesetzt.

GoTo

Eine sehr bekannte Sprunganweisung ist in etlichen Programmiersprachen der Befehl GoTo.

GoTo (von englisch go to – gehe zu oder gehe nach) ist in der Computerprogrammierung ein Befehl im Programmcode, der einen Sprung zu einer anderen Stelle im Programm bewirkt.

In der maschinennahen Programmierung dient der GoTo-Befehl dazu, Unterprogramme aufzurufen; an eine Bedingung geknüpfte GoTo-Befehle ermöglichen Verzweigungen. In manchen Assemblersprachen heißt der entsprechende GoTo-Befehl jmp (als Abkürzung für englisch jump – Sprung).

In höheren Programmiersprachen wird durch einen GoTo-Befehl entweder eine Code-Zeilennummer (zum Beispiel in alten BASIC-Dialekten) oder eine definierte Sprungmarke (Label, zum Beispiel in C oder Pascal) angesprochen.

Beispiel eines einfachen Programms mit GoTo in Pascal:

PROGRAM beispiel;
LABEL 10;
BEGIN
  10:
  writeln('Endlosschleife');
  GOTO 10;
END.

Das folgende Programmbeispiel (aus dem Essay Coding Style von Linus Torvalds ^[1]) zeigt die Verwendung eines GoTo-Befehls (goto out) in C:

int fun(int a)
{
     int result = 0;
     char *buffer = kmalloc(SIZE);
 
     if (buffer == NULL)
             return -ENOMEM;
 
     if (condition1) {
             while (loop1) {
                     ...
             }
             result = 1;
             goto out;
     }
     ...
out:
     kfree(buffer);
     return result;
}

In frühen Varianten älterer Programmiersprachen wie Fortran oder BASIC stellten GoTo-Befehle noch die wichtigste, wenn nicht die einzige Möglichkeit zur Programmierung von Verzweigungen dar; diese wurden deshalb auch zur Realisierung von Schleifen und Wenn-Dann-Bedingungen verwendet. Dies führte zu unübersichtlichem „Spaghetticode“.

Die Programmiersprache ALGOL führte 1960 [?] eigene Befehle wie while, for, if-else zur Programmierung von Schleifen und Wenn-Dann-Bedingungen ein. Diese Neuerungen wurden bald in andere Programmiersprachen übernommen und machten in den meisten Situationen GoTo-Befehle überflüssig (while als Ersatz für Rücksprünge und if als Ersatz für Vorwärtssprünge machen bei geeigneter Umstrukturierung eines jeden Programms die goto-Anweisung theoretisch überflüssig).

Die „strukturierte“ und die GoTo-Programmierung sind jedoch aus Sicht der theoretischen Informatik äquivalent; alle solchen Programme fallen in die Kategorie GoTo-Programme.

Auch in anderer Hinsicht sind die Befehle der strukturierten Programmierung mit dem GoTo äquivalent: Der Befehlssatz eines Prozessors enthält in der Regel keine explizite Unterstützung von Konstrukten wie while, repeat, for, if-else etc. Daher werden diese bei der Kompilierung eines Programms vom Compiler mittels GoTo-Befehlen nachgebildet. Die genannten Konstrukte bieten also keine neuen Möglichkeiten, sie sind jedoch sinnvoll, um menschenverständlichen Code zu forcieren.

Umstrittene Verwendung von GoTo

1968 sprach sich Edsger W. Dijkstra in seinem Aufsatz Go To Statement Considered Harmful (der Titel geht allerdings auf N. Wirth zurück), für eine Abschaffung des GoTo-Befehls in allen höheren Programmiersprachen aus. Das ist ohne weiteres möglich, da jedes GoTo-Programm durch ein While-Programm simuliert werden kann. Diese Meinung wurde in der Programmierausbildung bald zum Dogma erhoben; in einigen Sprachen wie Java wurde bewusst überhaupt kein GoTo-Befehl eingeführt (abgesehen von einem „gelabelten“ break – Schlüsselwort). Und dennoch behält man sich eine spätere Implementierung vor – GoTo ist als Schlüsselwort auch in Java reserviert. Andererseits unterstützen zahlreiche alte und neue imperative Programmiersprachen, z. B. Pascal, C, C++ und selbst das 2000 entwickelte C# und das 2007 publizierte D, noch GoTo.

Eine weniger kritisierte Variante des GoTo-Befehls ist das vorzeitige Verlassen eines Unterprogramms durch einen return-Befehl, das Abbrechen einer Schleife durch einen break-Befehl oder Abbrechen eines bestimmten Schleifendurchlaufs durch eine continue-Anweisung. Trotzdem gilt es in einigen Programmiersprachen als guter Programmierstil, wenn ein Block einen Einsprungpunkt und einen Ausstiegspunkt hat. In Sprachen, welche Exceptions erlauben, wird dagegen die „Ein-Ausstiegpunkt“-Regel als obsolet angesehen, da throw-Anweisungen die Argumentation hinter dieser Regel ad absurdum führen.

In der Praxis hat sich jedoch gezeigt, dass der Verzicht auf GoTo zwar möglich ist, jedoch in einigen Fällen zu sehr aufwändigen Konstrukten führt. Besonders in zeitkritischen Programmteilen ist ein goto deutlich effektiver als am Ende von mehreren geschachtelten Schleifen jeweils eine Abbruchprüfung durchzuführen.

Von einigen Entwicklern wurde auf der Linux Kernel Mailing List die häufige Verwendung von GoTo im Quellcode von Linux diskutiert. Linus Torvalds sagte dabei, dass die Verwendung von GoTo die Lesbarkeit des Quellcodes in vielen Fällen sogar deutlich erhöhen könne. ^[2]

Siehe auch

Wartbarkeit, Kontrollstruktur, Spaghetticode

Weblinks

• Edsger Dijkstra: Goto Statement Considered Harmful 1968 (englisch)

Einzelnachweise

1. ↑ Linux kernel coding style, Chapter 7: Centralized exiting of functions (englisch)
2. ↑ "Linux: Using goto In Kernel Code" auf KernelTrap (englisch)