Wenn Funktionen in einer Übersetzungseinheit verwendet werden sollen, in denen sie nicht definiert sind, oder in der gleichen Übersetzungseinheit, aber vor ihrer Definition, müssen sie deklariert werden. Das bedeutet, daß der Compiler genau alle für den bloßen Aufruf wichtigen Informationen erhält, nämlich die Typen der Formalparameter und den zurückgegebenen Typ:

double sqr(double), sin(double); int sqr(int); static void plotpoint(int x, int y); extern char *strncat(char *dest, const char *src, size_t maxlen);

Die tatsächlichen Argumente, die eine Funktion bei einem Aufruf übergeben bekommt, heißen Aktualparameter. Eine Funktionsdeklaration wird auch als Prototyp der Funktion bezeichnet.

• Auch bei einer reinen Deklaration können für die Parameter Namen angegeben werden, die für den menschlichen Leser gedacht sind und vom Compiler ignoriert werden.

• Erhält eine Funktion gar keine Parameter, müssen aus syntaktischen Gründen (zum Unterschied gegenüber einfachen Variablen) dennoch die Klammern gesetzt werden:

  int rand();

  Aus Kompatibilität zu C kann äquivalent auch void in die Klammern geschrieben werden:

  int rand(void);

  (Ohne dieses Schlüsselwort wird in C nämlich nur der Rückgabetyp definiert und keine Aussage über Zahl und Typ der Parameter gemacht.)

• Die Parameterliste ist eine Liste von Typen, bzw. Deklarationen ohne zusätzliche Struktur. Deshalb muß auch bei mehreren aufeinanderfolgenden Parametern des gleichen Typs der Typ jedesmal angegeben werden (siehe plotpoint oben).

• Wie Variablen können mehrere Funktionen in einer Liste deklariert werden:

  int intfunc(), *intptrfunc();

• Durch die Angabe der Speicherklasse static für die Funktion wird ihr Gültigkeitsbereich auf die Übersetzungseinheit beschränkt, in der sie definiert ist. Wird die Funktion nur dort benötigt, sollte von dieser Möglichkeit immer Gebrauch gemacht werden, da so die Lesbarkeit und Sicherheit des Programms erhöht wird. Je nach System kann eventuell auch die Compilationszeit kürzer und das Programm effizienter werden.

  Bei extern oder gar keiner angegebenen Speicherklasse wird der Name der Funktion in die Symboltabelle für den Linker aufgenommen, so daß sie aus anderen Übersetzungseinheiten heraus aufgerufen werden kann (wo sie allerdings deklariert werden sollte).

• Die Typangabe der Parameter war der wichtigste Fortschritt von altem C zu ANSI-C. Früher wurden weder die Typen der Parameter noch überhaupt ihre Anzahl überprüft, was leicht zu katastrophalen Fehlern führte.

  Die Aktualparameter brauchen nicht genau vom Typ des zugehörigen Formalparameters zu sein, lediglich mit ihm kompatibel, d.h. wie in einer entsprechenden Zuweisung einer Variable an eine andere. Es finden dann die standardmäßigen automatischen Typumwandlungen statt.

  So ist zum Beispiel ohne Probleme der Aufruf sin(1) möglich -- es wird vom Compiler automatisch eine Typumwandlung durchgeführt, falls eine passende existiert. In diesem Fall würde intern ein Aufruf sin(1.0) erzeugt.

• In C brauchen Funktionen gar nicht deklariert zu werden, um verwendet werden zu können. Es ist also in einer Datei unvermittelt die Anweisung

  cout << testfunc(1,2.0,'a');

  erlaubt, ohne daß testfunc deklariert ist.

  In C++ ist das nicht erlaubt, und auch in C sollte man davon keinen Gebrauch machen. Dem Compiler ist so nämlich keinerlei Überprüfung für die Parameter und Rückgabetypen möglich. Der Rückgabetyp wird so als int angenommen, und die Typen der Formalparameter werden von den Typen dieser Aktualparameter übernommen: in unserem Beispiel

  int testfunc(int,double,char)

  ( Genau so eine Funktion muß dann später in der Datei oder in einer anderen Übersetzungseinheit definiert sein -- implizite Typumwandlungen sind hier natürlich nicht mehr möglich).

7: Funktionen

Startseite

7.2: Funktionsdefinitionen