Rücksprung

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.

Inhaltsverzeichnis

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 togehe 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 jumpSprung).

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

Einzelnachweise

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

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Rücksprung — (Rückweichung), das Maß für das Zurücktreten eines Bauteils hinter einen andern; s. Risalit …   Lexikon der gesamten Technik

  • Rücksprung — zurückgesetzte Fassade * * * Rụ̈ck|sprung 〈m. 1u〉 Sprung nach hinten, Sprung zurück * * * Rücksprung,   ein Sprung aus einem Unterprogramm zurück ins Hauptprogramm. Ein Rücksprung wird durch eine Return Anweisung veranlasst …   Universal-Lexikon

  • zurückgesetzte Fassade — Rücksprung (einer Wand) …   Universal-Lexikon

  • Doppelrotation — Ein AVL Baum mit Balance Angaben Ein AVL Baum ist eine Datenstruktur in der Informatik, genauer ein balancierter binärer Suchbaum. Als Invariante beim AVL Baum gilt, dass sich für jeden Knoten k die Höhen h1 und h2 der bei …   Deutsch Wikipedia

  • Steuerstrecke — Blockschaltbild eines einfachen Standardregelkreises, bestehend aus der Regelstrecke G, dem Regler K und einer negativen Rückkopplung der Regelgröße y (auch: Istwert) auf den Regler. Als Regelstrecke bezeichnet man in der …   Deutsch Wikipedia

  • Systemtheorie (Ingenieurwissenschaften) — Der Begriff der Systemtheorie wird in verschiedenen wissenschaftlichen Disziplinen angewendet und hat in Bezug auf den Primärbegriff System keine einheitliche Bedeutung. Systeme können sich als physikalische, ökologische, ökonomische, soziale… …   Deutsch Wikipedia

  • 8085 — Intel 8085 Der Intel 8085 ist ein 1976 eingeführter 8 Bit Mikroprozessor von Intel. Als Nachfolger des Intel 8080 war er zu diesem binär kompatibel, integrierte jedoch Taktgenerator (8224) und Buscontroller (8228) und besaß eine leistungsfähigere …   Deutsch Wikipedia

  • Aufrufkonvention — Unter Aufrufkonvention (engl. calling convention) versteht man die Methode, mit der in Computerprogrammen einer Funktion Daten übergeben werden. In der Regel liegt es am Compiler, welche Konvention zum Einsatz kommt, so dass der Programmierer… …   Deutsch Wikipedia

  • Cdecl — Unter Aufrufkonvention (engl. calling convention) versteht man die Methode, mit der in Computerprogrammen einer Funktion Daten übergeben werden. In der Regel liegt es am Compiler, welche Konvention zum Einsatz kommt, so dass der Programmierer… …   Deutsch Wikipedia

  • Rücksprungadresse — Ein Unterprogramm oder eine Subroutine ist ein Teil eines Programmes, der aus gegebenenfalls mehreren anderen Programmteilen heraus gerufen werden kann und nach Abschluss der Abarbeitung jeweils in das aufrufende Programm wieder zurückkehrt. Je… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”