Function definitions

Eine Funktionsdefinition verknüpft den Funktionsrumpf (eine Folge von Deklarationen und Anweisungen) mit dem Funktionsnamen und der Parameterliste. Im Gegensatz zur Funktionsdeklaration sind Funktionsdefinitionen nur im Dateigültigkeitsbereich erlaubt (es gibt keine geschachtelten Funktionen).

C unterstützt zwei verschiedene Formen von Funktionsdefinitionen:

wo

int max(int a, int b)
{
    return a>b?a:b;
}
double g(void)
{
    return 0.1;
}

int max(a, b)
int a, b;
{
    return a>b?a:b;
}
double g()
{
    return 0.1;
}

Erklärung

Wie bei Funktionsdeklarationen muss der Rückgabetyp der Funktion, bestimmt durch den Typspezifizierer in specifiers-and-qualifiers und möglicherweise modifiziert durch den declarator wie üblich in Deklarationen , ein vollständiger Nicht-Array-Objekttyp oder der Typ void sein. Wenn der Rückgabetyp cvr-qualifiziert wäre, wird er für die Konstruktion des Funktionstyps auf seine unqualifizierte Version angepasst.

void f(char *s) { puts(s); } // Rückgabetyp ist void
int sum(int a, int b) { return a+b; } // Rückgabetyp ist int
int (*foo(const void *p))[3] { // Rückgabetyp ist Zeiger auf Array von 3 int
    return malloc(sizeof(int[3]));
}

Wie bei Funktionsdeklarationen werden die Typen der Parameter von Funktionen zu Zeigern und von Arrays zu Zeigern angepasst, um den Funktionstyp zu konstruieren, und die Top-Level-cvr-Qualifizierer aller Parametertypen werden für die Bestimmung des kompatiblen Funktionstyps ignoriert.

int f(int, int); // Deklaration
// int f(int, int) { return 7; } // Fehler bis C23, OK seit C23
int f(int a, int b) { return 7; } // Definition
int g(void) { return 8; } // OK: void deklariert keinen Parameter

Im Funktionsrumpf ist jeder benannte Parameter ein lvalue -Ausdruck; sie haben automatische Speicherdauer und Blockgültigkeitsbereich . Die Speicheranordnung der Parameter (oder ob sie überhaupt im Speicher abgelegt werden) ist nicht spezifiziert: Sie ist Teil der Aufrufkonvention .

int main(int ac, char **av)
{
    ac = 2; // Parameter sind Lvalues
    av = (char *[]){"abc", "def", NULL};
    f(ac, av);
}

Weitere Einzelheiten zur Funktionsweise eines Funktionsaufrufs finden Sie unter Funktionsaufruf-Operator und Informationen zum Verlassen von Funktionen unter return .

static const char __func__[] = "function name";

Hinweise

Die Argumentliste muss explizit im Deklarator vorhanden sein, sie kann nicht von einem typedef geerbt werden

typedef int p(int q, int r); // p ist ein Funktionstyp int(int, int)
p f { return q + r; } // Fehler

max(a, b) // a and b have type int, return type is int
{
    return a>b?a:b;
}

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C-Standards angewendet.

Referenzen

Siehe auch