Unterprogramm

mini|Grundprinzip eines Unterprogramms

Ein Unterprogramm ist ein Teil eines Computerprogramms, das eine bestimmte Funktionalität bereitstellt. Es kann von anderen Programmen/Programmteilen aufgerufen werden, um eine Aufgabe zu übernehmen und verzweigt danach wieder an die aufrufende Stelle zurück. Ein Unterprogramm wird i. d. R. durch einen Bezeichner (z. B. einen Namen) identifiziert, und ihm können zur Verarbeitung Daten als Argumente übergeben werden.FU Berlin Unterprogramme

Bezüglich der Terminologie kennt man aus der Praxis einen großen Reichtum an Varianten, die teilweise synonym, teilweise mit semantischen Unterschieden angewendet werden. Bezeichnungen wie Prozedur (), Funktion (), Routine oder Subroutine, Operation, , Modul sind teils historisch und oft im Umfeld verschiedener Programmiersprachen entstanden, entsprechen aber im Wesentlichen der Bedeutung ‚Unterprogramm‘ oder werden so genannt. So sind im Kontext der objektorientierten Programmierung Methoden (methods) – je nach Programmiersprache – einer Klasse, einem Objekt oder einer generischen Funktion als in sich abgeschlossene Einheiten zugeordnet.

Bezüglich der Erstellung, Wartung und Ausführung können Unterprogramme je nach Art der Implementierung eigenständige Komponenten sein (‚Unterprogramme‘ im engeren Sinn, die oft vorübersetzt in Programmbibliotheken zusammengefasst sind) oder, zusammen mit anderen Funktionsteilen, den Programmcode eines bestimmten Programms bilden.

Zweck von Unterprogrammen Das Kapseln von Programmteilen in Unterprogrammen entspringt dem Paradigma der prozeduralen Programmierung. Die beiden wichtigsten Vorteile, die dadurch beim Softwaredesign erzielt werden, sind die Wiederverwendbarkeit von Programmteilen und die Verbesserung der Verständlichkeit und Wartbarkeit des Quelltexts.

Unterprogramme für bestimmte technische oder betriebliche Funktionen (z. B. eine Prüfziffernberechnung) als unternehmensweiter Standard sind ein Aspekt der Softwarearchitektur.

Eine Weiterführung des Konzepts der Unterprogramme sind die modulare Programmierung und Software-Module.

Terminologie Funktion In Programmiersprachen wie C, C++, C#, Java oder Python werden alle Unterprogramme grundsätzlich Funktion genannt. In Sprachen wie Pascal oder BASIC werden nur diejenigen Unterprogramme als Funktion bezeichnet, die einen Wert an den Aufrufer zurückliefern. Prozedur Oft wird unter Prozedur eine spezielle Funktion verstanden, die keinen Rückgabewert liefert (z. B. in Pascal oder BASIC). FORTRAN77 fasst unter alle Funktionen und prozedurale Unterprogramme (subroutines) zusammen. Abweichend davon werden in COBOL als Prozeduren lediglich die in der ‚Procedure Division‘ formulierten, durch ‚Paragraphs‘ (Abschnitte) benennbaren Anweisungen (Befehle) bezeichnet, unabhängig davon, ob sie als Unterroutine verwendet werden oder nicht. Auch in PL/I bezeichnet man die im Befehlsteil des Quelltextes enthaltenen – prozedural (= ‚fortschreitend‘) zu verarbeitenden – Anweisungen als „Prozeduren“. Methode Unter einer Methode versteht man in objektorientierten Programmiersprachen Unterprogramme von bzw. in Klassen.

Geschichte David Wheeler, Maurice V. Wilkes und Stanley Gill gelten als Entwickler der ersten Subroutine (damals auch genannt).

In frühen imperativen Programmiersprachen (zum Beispiel frühe BASIC- und FORTRAN-Varianten) gab es nur das Konzept des parameterlosen Unterprogramms, welches über Sprunganweisungen aufgerufen wurde und ausschließlich über globale Variablen mit dem Hauptprogramm wechselwirken konnte.

Mit dem Aufkommen der strukturierten Programmierung entwickelte sich das Konzept der Prozedur mit Aufrufparametern, die zunächst überwiegend als Referenzparameter übergeben wurden (call by reference), das heißt eine Änderung des Parameters innerhalb der Prozedur ändert den zugehörigen Parameter an der Aufrufstelle der Prozedur. Die Einführung von expliziten Rückgabewerten von Prozeduren (respektive Funktionen) ermöglichte die Berechnung von Resultaten, ohne die Referenzparameter zu verändern.

In einem weiteren Schritt wurden Wertparameter zur Übergabe an Prozeduren eingeführt (call by value), um unerwünschte Rückwirkungen auf das Hauptprogramm weiter zu reduzieren.

Zur Vermeidung von Programmfehlern wurde in einigen Programmiersprachen wie zum Beispiel Pascal eine starke Typisierung von Parametern eingeführt: die tatsächlich verwendeten Parameter müssen hierbei relativ streng zuweisungskompatibel mit den formal deklarierten Parametern sein.

In manchen Programmiersprachen, wie beispielsweise Modula-2, können Prozedurvariablen aufgerufen oder als Parameter eingesetzt werden.

Schließlich wurden Prozeduren als objektbezogene Methoden oder Zugriffsfunktionen Bestandteil des objektorientierten Paradigmas, etwa in den Programmiersprachen Java und C++.

Unterschiedliche Implementierungen Unterprogramme können, abhängig von der verwendeten Entwicklungsumgebung oder Programmiersprache, unterschiedlich implementiert sein: Als logisch in sich geschlossener Teil im Quelltext eines Programms. Hinsichtlich der administrativen Verwaltung (z. B. bei Änderungen), der Kompilierung und der technischen Ausführung auf einem Computer gehören solche Quelltextabschnitte fest zum Gesamtprogramm. Je nach Programmiersprache und Art der Implementierung hat die Subroutine Zugriff auf alle, nur bestimmte oder nur ihre eigenen Daten und Funktionen. Eine Variante davon ist das Verwenden von Programmcodeteilen, die als eigenständige, in Programmbibliotheken verwaltete Quelltext-Elemente geführt werden: Diese werden im Quelltext der sie benutzenden Programme durch spezielle Anweisungen (z. B. Include) in dem zur Kompilierung (temporär) bereitgestellten Quellcode eingefügt. Solche Codeteile aus Quelltextbibliotheken werden (z. B. in den Programmiersprachen COBOL oder RPG) auch ‚Copybook‘ genannt. Als administrativ und zur Ausführung eigenständige Programme. Sie werden erst zur Ausführungszeit „dynamisch“ geladen. Zum Teil, zum Beispiel bei DLL's, können solche ‚nachgeladenen Module‘ mehrere und unterschiedliche Unterprogramme enthalten. Details siehe Dynamisches Linken. Eine Mischform aus beidem sind Unterprogramme mit ebenfalls eigenständigem Quelltext und getrennter Kompilierung. Ihr Maschinencode wird jedoch zusammen mit dem Code sie aufrufender Programme zu einer ausführbaren Datei „statisch gebunden“. Details siehe Statisches Linken.

Innerhalb dieser Grundvarianten stellen bestimmte Programmiersprachen weitere Funktionsdetails bereit, die beim Binden und Laden von Unterprogrammen anwendbar sind. Siehe dazu die Beispiele zu Überladen oder Überschreiben.

Eine besondere Kategorie von Unterprogrammen bilden die in einem Computersystem bereitgestellten Systemfunktionen (wie Lesen, Schreiben, Clock usw.). Sie werden im engeren Sinn nicht als Unterprogramm bezeichnet, jedoch nach demselben Ablaufprinzip benutzt: Aufruf mittels Anweisung, meist mit Parameter-/Argumentenübergabe, Ausführung der Subfunktion zum Beispiel im Betriebssystem, anschließend Rückkehr ins rufende Programm mit Fortsetzung der Verarbeitung.

Beispiele Die Beispiele in den Programmiersprachen C, C++ und Java zeigen Details zur Programmierung mit Unterprogrammen.

C, C++ oder Java Das folgende Beispiel ist ein in Unterprogramm in C, C++ oder Java, das beim Aufruf einen Wert entgegennimmt und ihn mit einem konstanten Wert multipliziert, es soll die Umrechnung von Zoll in Zentimeter demonstrieren.

float inch2cm(float length) { return 2.54 * length; }

Python Das folgende Beispiel in Python gibt die in message übergebene Zeichenkette auf dem Bildschirm aus, liefert aber keinen Wert zurück.

def hello(message): print(message)

Assembler Ein einfaches Hallo-Welt-Programm in Assemblersprache, die vier Zeilen ab der Marke print stellen das Unterprogramm dar.

segment code

..start: mov ax, data mov ds, ax call print; Aufruf des Unterprogramms mov ah, 4Ch int 21h; Beenden des Programms

print: mov dx, hello mov ah, 09h int 21h ret

segment data hello: db 'Hello World!', 13, 10, '$'

Objektmodule Großrechner IBM-Welt Aufrufende Programme setzen einen Call-Befehl ab und übergeben dabei (mit ‚USING x, y …‘) eine Liste mit den Adressen der Datenfelder/Datenstrukturen, die das Unterprogramm benötigt oder zurückgeben soll. Im Maschinencode des Programms wird dabei vom Compiler das Register 1 mit der Adresse der Adressliste und das Register 14 mit der Rücksprungadresse, Register 15 mit der Einsprungadresse im Unterprogramm geladen, danach wird (über ‚BR 15‘) dorthin verzweigt. Aufgerufene Programme übernehmen die übergebenen Adressen zur Adressierung ihrer strukturidentischen Datendeklarationen (deren Bezeichner jedoch anders gewählt werden können), wodurch diese 'fremden’ Daten mit den Befehlen des Unterprogramms ansprechbar sind. Nach der Verarbeitung im Unterprogramm erfolgt der Rücksprung über das Register 14.

Wie und mit welchen Aufrufkonventionen aufrufende und aufgerufene Module zusammenwirken, zeigt das nachfolgende Beispiel. Unterstellt sei ein fiktives Hauptprogramm, das ein Unterprogramm mit Namen UPRO aufruft. Siehe auch nebenstehende Grafik: mini|Struktur der Call-Schnittstelle Quellcode des rufenden Programms (im Beispiel COBOL-ähnlicher Code): * Daten: A. >Struktur von A, z. B.: Ax >Format und Längen Ay ... B. B1 (Definitionen, ggf. weitere Teilfelder) B2 (Definitionen) B3 (Definitionen) * Funktionscode: A-ROUTINE. A-1. >Befehle-1 Call UPRO Using A, B2. A-2. >Befehle-2, z. B. Auswerten und Verarbeiten Rückgabewert(e) A-ROUTINE Exit. >beliebige weitere Routinen/Befehle * Programm-Ende

Quellcode des Unterprogramms, ggf. aus einer anderen Programmiersprache: Der daraus erzeugte Objectcode ist im Lademodul des Hauptprogramms eingebunden. * Datendefinitionen: A-DAT >Format und Sub-Struktur wie in A; andere Bezeichner möglich! B-2 dto. C-x z. B. eigene Definitionen von UPRO * Funktionscode: Entry UPRO Using A-DAT, B-2. >Feldbezeichnungen von Using ggf. abweichend, Reihenfolge identisch zu 'Call'! >Weitere Befehle des Unterprogramms: >Mit vollem Zugriff (auch ändernd) auf die Struktur (Einzelfelder) von A-Daten und B2. Ggf. setzen Returncode, z. B. in B-2 (= B2) Exit = UPRO-Ende

Ablauf des Unterprogramm-Aufrufs (Call und Return): (vom Compiler generierter Code, bei Assemblerprogrammen vom Programmierer codiert) * Call im rufenden Programm: Setzt in einer (vom Compiler angelegten) Hauptspeicher-Adressliste mit 2 Einträgen die Adresse von A und von B-2 Setzt einen Zeiger (Register, konkret R1) auf die Adressliste Setzt einen Zeiger (Register 14) auf die Rückkehradresse A-2. Setzt einen Zeiger (Register 13) auf die Register-Savearea, (Speicherbereich automatisch vom Compiler reserviert, Details sieheIBM SAVE) Lädt Register 15 mit der Adresse (Entrypoint) des Unterprogramms (die z. B. vom Linkage Editor im Maschinenprogramm eingesetzt wurde) Verzweigt über R15 in das Unterprogramm * Entry im Unterprogramm: >Sichern der Registerstände in die Savearea des rufenden Programms (lt. R13) Speichern der Adresse dieser Savearea (= Inhalt R13) in einem eigenen Speicherbereich >Übernehmen der übergebenen Variablen (aus Adressliste lt. R1): Adr(A-DAT) = aus Adressliste(1. Adresse), Adr(B-2) = aus Adressliste(2. Adresse) >Verarbeitung – mit Zugriff auf übergebene und eigene Daten sowie individueller Registernutzung * Rücksprung ins rufende Programm: >Laden R13 mit der gespeicherten Adresse der Savearea Rückladen aller Register aus der Savearea lt. R13 >Exit: Verzweigung (= Rückkehr) zu Adresse A-2 im rufenden Programm (lt. Inhalt R14)

Nach demselben Schema (Registerkonventionen, Savearea) könnte das Modul weitere Untermodule aufrufen. Das dazu erforderliche Sichern der Registerstände zum Zeitpunkt des Aufrufs erfolgt jeweils in einer „Savearea“ genannten Speicherstruktur aufrufender Module, die folgenden Aufbau aufweist: