Funktionen als Argumente
Functions as arguments
Programmierung
Programming
Inhalt
Contents
Mitunter möchte man Funktionen als Argumente an andere Funktionen übergeben.
Sometimes you want to provide functions as arguments to other functions
Es gibt zwei Wege, dies zu tun: - Funktion mit Funktionen als Formalparameter definieren. Der Aktualparameter muss dann eine Funktion sein. Das ist der offiziell empfohlene Weg. - Eingebettete Definitionen im Funktionsaufruf. Das funktioniert, stützt sich aber auf Nebenwirkungen und hat selbst Nebenwirkungen.
There are two options to hand over functions to other functions: - specify function arguments in the definition and provide arguments that evaluate to functions in the function call. This is the officially recommended way. - specify inline definitions in the function call. This works, but just uses side effects and has it's own side effects
Der offizielle Weg: Funktionsargumente
The official way: function arguments
Definition
In der Definition kennzeichnet man ein Funktionsargument durch einen Namen mit nachgestellter Zahl der Argumente in Klammern.
In the function definition, the number of expected arguments of an argument function is specified as a number in parens after the function name
Die 1 als Argument von g() kennzeichnet, dass f() hier eine Funktion mit einem Argument erwartet.
Number 1 as argument of g() specifies that f() expects a function with one argument.
Richtiger Aufruf: Funktionswertiger Ausdruck
Correct call: expression evaluates to a function
Der als Aktualparameter für Funktionsargumente übergebene Ausdruck muss eine Funktion mit der richtigen Zahl von Argumenten ergeben. Deren Namen sind belanglos, müssen aber undefiniert sein, sonst ergibt der Ausdruck einen Zahlenwert und keine Funktion.
When calling a function with function arguments, then the actual values must be functions with the expected number of arguments. These can have arbitrary names but must be undefined, otherwise the expression evaluates to a number and not to a function.
sin(x) wird nur dann zu sin(x) ausgewertet, wenn x nicht definiert ist.
sin(x) evaluates to sin(x) only if x is undefined.
Falscher Aufruf: das Funktionsargument ergibt eine Zahl
Incorrect call, expression evaluates to a number
Hier ergibt das erste Argument keine Funktion, weil x bereits einen Wert hat.
Here, the first argument does not evaluate to a function because the dummy argument has a value.
Hier löschen wir x, damit es für Beispiele weiter unten wieder undefiniert ist.
Here, we clear x, to have it undefined for examples further downstream.
Der inoffizielle Weg: Eingebettete Definitionen
The unofficial way: Inline definitions
Eingebettete Definitionen sind Zuweisungen mit dem Operator := innerhalb der Argumentliste. Diese nimmt beliebige Ausdrücke auf, darunter eben auch Zuweisungen. Diese sind dann innerhalb der Funktion bekannt, als wären sie Teil der Funktionsdefinition selbst.
Inline definitions are assignments inside the argument list of the function call. You can place any expressions in the argument list, among them expressions. Such definitions are known to the function body as if they were part of it.
Deshalb muss beim Aufruf der gleiche Funktionsname verwendet werden wie in der Definition der Funktion. Das ist beim offiziellen Weg nicht erforderlich.
This means that in the function call you must use the same name as is used inside the function (in the official way this is not required)
Definition
Der Formalparameter expr hat keine Bedeutung, er dient nur als Platzhalter für eine eingebettete Definition beim Aufruf.
The argument expr has no meaninng, it just provides a placeholder for an inline definition when calling the function.
Funktionsaufruf mit eingebetteter Definition
Function call with inline definition
An Stelle des ersten Arguments wird die Funktion g(x) eingebettet definiert. Sie wird als lokale Definition behandelt.
The first argument slot is used for the definition of g(x). This is treated as a local definition.
g(x) ist außerhalb des Aufrufs unbekannt.
g(x) is unknown outside the call
Der Parameter expr erhält den Rückgabewert der eingebetteten Definition.
The value of expr is the result of the definition statement.
Im Grunde ist es egal, welchen konkreten Platzhalter in der Argumentliste eine eingebettete Definition einnimmt, außer, man will den Rückgabewert der Definition benutzen.
It does not matter, which particular slot of the argument list the inline definition occupies, except for the value of the corresponding formal parameter.
Funktionaufruf mit globaler Definition
Function call with global definition
g(x) wird global definiert
global definition of g(x)
Da alle globalen Funktionen intern bekannt sind, wenn sie nicht dort überschrieben werden, muss keine eingebettete Definition mehr verwendet werden.
function call without any function, g(x) is taken from global context
Programmierung
Programming
Inhalt
Contents
$Author: mkraska $ $Date: 2014-05-01 13:05:55 +0200 (Do, 01. Mai 2014) $