Imperative Programmiersprache

Imperative Programmierung ist ein Programmierparadigma. Ein imperatives Programm beschreibt eine Berechnung durch eine Folge von Anweisungen, die den Status des Programms verändern. Im Gegensatz dazu wird unter dem deklarativen Programmierparadigma eine Berechnung beschrieben, in dem kodiert wird was berechnet werden soll, aber nicht wie.

Details

Der Programmstatus besteht aus allen Speicherzellen, auf die das Programm Zugriff hat, inklusive der deklarierten Variablen, den Prozessor-Registern und dem Programm-Zähler. Der Programm-Zähler gibt die Position in der Anweisungsfolge an, mit der die Programmausführung nach der aktuellen Anweisung fortgesetzt werden soll.

Beispiele für imperative Anweisungen sind eine Schleifenanweisung (bedingt wird der Programm-Zähler verändert) oder die Speicherung eines konstanten Wertes in einer Variablen.

Fortran, Pascal und C sind Beispiele für konkrete imperative Programmiersprachen.

Das abstrakte Ausführungsmodell, das dem imperativen Paradigma zugrunde liegt, ist nah verwandt mit der Ausführung von Maschinen-Code auf einem konkreten Computer, der die vorherrschende Von-Neumann-Architektur implementiert. Es existieren beispielsweise bedingte und unbedingte Sprunganweisungen, mit denen Schleifen realisiert werden können. Der Status des Rechners setzt sich aus dem Arbeitsspeicherinhalt und den Registerinhalten zusammen.

Beispiel

Ausgabe der Quadratzahlen von ungeraden Zahlen von 3 bis 11.

Imperative Version in C:

int i;
for (i=3; i<12; i=i+2) {
  int q = i * i;
  printf("%d\n", q);
}

Deklarative Version in Haskell

show $ [ i*i | i <- [3..11], odd i ]

Geschichte

Die 1957 entwickelte Programmiersprache Fortran, die älteste höhere Programmiersprache, implementiert wie die zuvor verwendeten Assemblersprachen das imperative Paradigma. LISP, 1958 erschienen, ist ein Beispiel für eine deklarative Sprache, bei denen der Computer selbst einen Handlungsablauf zur Berechnung konstruieren muss.

Abgrenzung

Der Begriff der prozeduralen Programmierung wird oft synonym gebraucht, setzt aber die Verwendung von Prozeduren voraus, was nicht für jede imperative Programmiersprache gelten muss. Beispielsweise kennen ältere BASIC-Varianten keine Prozeduren.

Das Prinzip des Information Hiding (Datenkapselung) wird in imperativen Sprachen oft dadurch umgesetzt, dass Prozeduren, die eine logische Einheit bilden, in Modulen oder Paketen zusammengefasst werden.

Einige imperative Programmiersprachen wie z.B. C++ und Java bieten neben prozeduralen Merkmalen auch zusätzliche Sprachmittel um explizit die objektorientierte Programmierung zu unterstützen.

Literatur

• Terrence W. Pratt and Marvin V. Zelkowitz: Programming Languages: Design and Implementation. 4th Auflage. Prentice Hall, 2000, ISBN 978-0130276780. 
• Robert W. Sebesta: Concepts of Programming Languages. 9th Auflage. Addison Wesley, 2009, ISBN 978-0136073475.