Function definitions

Une définition de fonction associe le corps de la fonction (une séquence de déclarations et d'instructions) au nom de la fonction et à la liste des paramètres. Contrairement à la déclaration de fonction , les définitions de fonctions sont autorisées uniquement au niveau de la portée du fichier (il n'existe pas de fonctions imbriquées).

C prend en charge deux formes différentes de définitions de fonctions :

où

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;
}

Explication

Comme pour les déclarations de fonctions , le type de retour de la fonction, déterminé par le spécificateur de type dans specifiers-and-qualifiers et éventuellement modifié par le declarator comme d'habitude dans les déclarations , doit être un type d'objet complet non-tableau ou le type void . Si le type de retour serait qualifié cvr, il est ajusté vers sa version non qualifiée pour la construction du type de fonction.

void f(char *s) { puts(s); } // type de retour est void
int sum(int a, int b) { return a+b; } // type de retour est int
int (*foo(const void *p))[3] { // type de retour est pointeur vers un tableau de 3 int
    return malloc(sizeof(int[3]));
}

Comme pour les déclarations de fonctions , les types des paramètres sont ajustés des fonctions vers les pointeurs et des tableaux vers les pointeurs pour la construction du type de fonction, et les qualificatifs cvr de plus haut niveau de tous les types de paramètres sont ignorés pour déterminer le type de fonction compatible .

int f(int, int); // déclaration
// int f(int, int) { return 7; } // Erreur jusqu'à C23, OK depuis C23
int f(int a, int b) { return 7; } // définition
int g(void) { return 8; } // OK : void ne déclare pas de paramètre

Dans le corps de la fonction, chaque paramètre nommé est une expression lvalue , ils ont une durée de stockage automatique et une portée de bloc . La disposition des paramètres en mémoire (ou s'ils sont stockés en mémoire) n'est pas spécifiée : cela fait partie de la convention d'appel .

int main(int ac, char **av)
{
    ac = 2; // les paramètres sont des lvalues
    av = (char *[]){"abc", "def", NULL};
    f(ac, av);
}

Voir l'opérateur d'appel de fonction pour plus de détails sur la mécanique d'un appel de fonction et return pour le retour depuis les fonctions.

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

Notes

La liste d'arguments doit être explicitement présente dans le déclarateur, elle ne peut pas être héritée d'un typedef

typedef int p(int q, int r); // p est un type de fonction int(int, int)
p f { return q + r; } // Erreur

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

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C publiées précédemment.

Références

Voir aussi