Iterative Programmierung

Die iterative Programmierung (von lat. iterare = wiederholen) ist ein Konzept, bei dem mehrfach auszuführende Arbeitsschritte in Schleifen (Wiederholungen von Anweisungen oder Anweisungsfolgen) umgesetzt werden.

Abgrenzung

Andere Programmierkonzepte sind

• die rekursive Programmierung, die für mehrfach auszuführende Arbeitsschritte Rekursion verwendet (wiederholte Selbstaufrufe eines Programmteils); prinzipiell lassen sich rekursive Algorithmen auch iterativ implementieren und umgekehrt.
• die logische Programmierung, die Lösungen für Probleme nicht über Anweisungsfolgen findet, sondern durch regelbasierte logische Folgerung.

Gegenüberstellung

In der Literatur werden Funktionen gerne im rekursiven Programmierstil vorgestellt, die meist als einfacher zu verstehen gelten. Iterative Varianten bieten jedoch oft Vorteile:

• Bei iterativer Programmierung kann der Speicherbedarf schärfer durch den Programmierer zugeschnitten und kontrolliert werden, wogegen bei rekursiver bei jedem Selbstaufruf unvermeidlich viel Prozedurkontext generiert wird.
• Darüber hinaus ist der Speicherbedarf für den Programm-Stapelspeicher programmiersprachlich schwer oder gar nicht kontrollierbar, wovon die berüchtigten Stapelüberläufe eine Folge sind.
• Im rekursiven Programmierstil lassen sich manche Szenarien nur durch eine sog. Rückruffunktion (englisch callback function) realisieren. Beispielsweise wird bei einer rekursiv programmierten Traversierfunktion eines Binärbaums dieser stets in seiner Gänze durchlaufen und die Nutzfunktion in einem Rückruf implementiert.
  Im Gegensatz dazu kann bei iterativer Programmierung das zu bearbeitende Segment des Baums durch eine Suchfunktion angesteuert, die Nutzfunktion nach Belieben als flache Anweisungsfolge bzw. als Unterprogramm implementiert und nach einem (iterativen) Querschritt beim nächsten Element wiederholt werden.

Beispiel

Ein Beispiel für die iterative Programmierung ist ein Datenbankdurchlauf (Pascal):

procedure Durchlauf;
begin
    while not Dataset.Eof do
    begin
        Befehl1;
        Befehl2;
        Befehl3;
        Dataset.Next;
    end;
end;

Dabei werden die Befehle 1 bis 3 solange wiederholt, bis alle Datensätze durchlaufen wurden.