Schleife (Programmierung)

Eine Schleife (auch „Wiederholung“ oder englisch loop) ist eine Kontrollstruktur in Programmiersprachen. Sie wiederholt einen Anweisungs-Block – den sogenannten Schleifenrumpf oder Schleifenkörper –, solange die Schleifenbedingung als Laufbedingung gültig bleibt bzw. als Abbruchbedingung nicht eintritt. Schleifen, deren Schleifenbedingung immer zur Fortsetzung führt oder die keine Schleifenbedingung haben, sind Endlosschleifen.

Schleifen können beliebig verschachtelt werden: Innerhalb des Schleifenkörpers der äußeren Schleife befindet sich wiederum eine Schleife, sie liegt innen, oder unter der äußeren Schleife. Jede Schleife kann in eine rekursive oder sogar endrekursive Form umgewandelt werden. Zur Beschleunigung des Programmablaufs werden Schleifen oft durch den Compiler entrollt.

Eine Schleife wird schrittweise wiederholt (iterativ) verarbeitet:

1. Üblicherweise wird (außer bei einer fußgesteuerten Schleife) erst geprüft, ob die Schleifenbedingung gültig ist; falls nicht, wird die Schleife beendet.
2. Der gesamte Schleifenrumpf wird ausgeführt. Anschließend wird mit 1. fortgesetzt.