Funktion (Programmierung)


Funktion (Programmierung)

Funktion (engl.: function) ist in der Informatik die Bezeichnung eines Programmkonstrukts. Unterscheidungsmerkmal einer Funktion im Vergleich zum ähnlichen Konstrukt der Prozedur ist es, dass die Funktion ein Resultat zurückliefert und deshalb im Inneren von Ausdrücken verwendet werden kann. Die genaue Bezeichnung und Details ihrer Ausprägung sind in verschiedenen Programmiersprachen durchaus unterschiedlich.

Inhaltsverzeichnis

Funktionen in der funktionalen Programmierung

Das Konzept einer Funktion im Sinne der Mathematik ist in der funktionalen Programmierung am deutlichsten umgesetzt. Hier stellen Funktionen Abbildungsvorschriften dar. Eine Funktion besteht dann aus einer Reihe von Definitionen, die diese Vorschrift beschreiben.

Beispiele

In Haskell würde man zum Beispiel schreiben:

 max :: Int -> Int -> Int
 max a b | a > b     = a
         | otherwise = b

Diese Schreibweise erinnert an die mathematische Definition des Maximums zweier Zahlen.

Ein funktionales Programm besteht ausschließlich aus Funktionsdefinitionen und besitzt keine Kontrollstrukturen wie Schleifen. Wichtigstes Hilfsmittel für die funktionale Programmierung ist daher die Rekursion.

Funktionen sind in funktionalen Programmiersprachen Objekte, mit denen wie mit Variablen gearbeitet werden kann. Insbesondere können Funktionen also als Argument oder Rückgabewert einer anderen Funktion auftreten. Man spricht dann von Funktionen höherer Ordnung. Ein Beispiel hierfür ist das map-Funktional:

 map :: (a -> b) -> [a] -> [b]
 map f []         = []
 map f (x : xs)   = f x : map f xs

map nimmt als Argument eine Funktion von a nach b, wobei a und b beliebige Typen sind (Typvariablen) und liefert als Ergebnis eine neue Funktion, die Listen von a in Listen von b abbildet, indem nämlich f auf jedes Element der Liste angewendet wird.

Funktionen in der imperativen Programmierung

Zwar dienen auch in der imperativen Programmierung Funktionen im Prinzip dazu, aufgrund einer Reihe von Argumenten ein Resultat zu berechnen, aber durch die Verwendung von globalen Variablen kann eine Funktion mehr Argumente empfangen, als aus ihrer Argumentliste ersichtlich ist, und kann auf diesem Weg auch mehr als ein Resultat abliefern. Änderungen in den globalen Variablen einer Funktion werden häufig als Nebeneffekt bezeichnet. Damit gerät das Konzept der Funktion in die Nähe der Prozedur, bei der solche „Nebenwirkungen“ in Wirklichkeit die beabsichtigten Hauptwirkungen sind (siehe dazu Wirkung in der Informatik). Das führt dazu, dass Programmiersprachen oft eine irreführende Terminologie verwenden: In C wird beispielsweise generell nur von Funktionen gesprochen; Prozeduren sind dort Funktionen mit dem Rückgabetyp „void“; in Modula-2 dagegen werden auch Funktionen mit dem Schlüsselwort PROCEDURE definiert.

Beispiele

Pascal

Pascal unterscheidet zwischen Funktionen und Prozeduren:

  • Funktionen werden mit dem Schlüsselwort „FUNCTION“ deklariert und liefern einen Rückgabewert mit einem definierten Typ. Funktionsaufrufe stehen innerhalb von Ausdrücken. Die Festlegung des Rückgabewerts erfolgt durch eine (Pseudo-)Zuweisung an den Funktionsnamen. Als Nebenwirkung können Funktionen aber den Zustand des Programms verändern, indem nämlich globale Variablen neue Werte erhalten.
  • Prozeduren werden mit dem Schlüsselwort „PROCEDURE“ deklariert und haben keinen definierten Rückgabewert. Ihre Wirkung kann sich deshalb nur in den Änderungen globaler Variablen zeigen.

Beispiel einer Funktionsvereinbarung in Pascal:

 function Summe(a: Integer; b: Integer): Integer;
  begin
    Summe := a + b;
  end;

Beispiel eines Funktionsaufrufs in Pascal:

 ergebnis := Summe(1, 2);

Funktionen und Prozeduren sind in Pascal (im Gegensatz zu C) schachtelbar, das heißt, sie können weitere Funktionen und Prozeduren enthalten.

Argumente werden normalerweise als Wert übergeben (by value); der Wert einer Variablen, die einer Funktion (oder Prozedur) als Argument übergeben wird, wird durch deren Ausführung nicht verändert. Es ist aber auch möglich, mit dem Schlüsselwort „VAR“ die Übergabe als Referenz (by reference) festzulegen. Dadurch wird nicht der Wert einer Variablen übergeben, sondern ihre Adresse.

C

Argumente werden prinzipiell immer als Wert übergeben (by value); soll eine übergebene Variable verändert werden, so übergibt man deren Adresse, also einen Pointer. Die Bestimmung des Rückgabewertes geschieht durch eine return-Anweisung. Funktionen in C sind nicht schachtelbar.

Beispiel einer Funktionsvereinbarung in C:

  int Summe(int a, int b)
  {
    return a + b;
  }

Beispiel eines Funktionsaufrufs in C:

 ergebnis = Summe(1, 2);

Weblinks


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Funktion — (von lat. functio ‚Tätigkeit‘, ‚Verrichtung‘) steht für: die Aufgabe eines Objektes, siehe Funktion (Objekt) Aufgabe und Zweck eines Systems, siehe Funktion (Systemtheorie) eine Abbildung zwischen Mengen, siehe Funktion (Mathematik) eine… …   Deutsch Wikipedia

  • Funktion — Zweck; Rolle; Aufgabe; Feature; Besonderheit; Eigenschaft; Funktionalität; rechtseindeutige Relation; Abbildung; Unterprogramm; Routine; …   Universal-Lexikon

  • Funktion (Informatik) — Eine Funktion (engl.: function, subroutine) ist in der Informatik die Bezeichnung eines Programmierkonzeptes, das große Ähnlichkeit zum Konzept der Prozedur hat. Hauptmerkmal einer Funktion ist es, dass sie ein Resultat zurückliefert und deshalb… …   Deutsch Wikipedia

  • Funktion höherer Ordnung — Eine Funktion höherer Ordnung ist in der Informatik eine Funktion, die Funktionen als Argumente erhält oder Funktionen als Ergebnis liefert. Der Begriff wird insbesondere im Lambda Kalkül verwendet, der theoretischen Grundlage der Funktionalen… …   Deutsch Wikipedia

  • Funktionionale Programmierung — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Funktionale Programmierung ist ein Programmierparadigma. Programme… …   Deutsch Wikipedia

  • Funktionale Programmierung — ist ein Programmierstil, bei dem Programme ausschließlich aus Funktionen bestehen. Dadurch werden die aus der imperativen Programmierung bekannten Nebenwirkungen vermieden. Die funktionale Programmierung entspringt der akademischen Forschung. In… …   Deutsch Wikipedia

  • Aspekt-orientierte Programmierung — Die Artikel Aspektorientierte Programmierung und Cross Cutting Concern überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen.… …   Deutsch Wikipedia

  • Methode (objektorientierte Programmierung) — Die objektorientierte Programmierung (kurz OOP) ist ein auf dem Konzept der Objektorientierung basierendes Programmierparadigma. Die Grundidee der objektorientierten Programmierung ist, Daten und Funktionen, die auf diese Daten angewandt werden… …   Deutsch Wikipedia

  • Bibliothek (Programmierung) — Eine Programmbibliothek bezeichnet in der Programmierung eine Sammlung von Programmfunktionen für zusammengehörende Aufgaben. Bibliotheken sind im Unterschied zu Programmen keine eigenständig lauffähigen Einheiten, sondern Hilfsmodule, die… …   Deutsch Wikipedia

  • Main-Funktion — Der Einsprungspunkt (engl. Entry point) bezeichnet in der Programmierung die Speicheradresse, ab der die Maschineninstruktionen eines Programms bei dessen Start ausgeführt werden die Speicheradresse ab der der Maschinencode einer Funktion, die… …   Deutsch Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.