Définition d'une fonction

$\bullet$

Syntaxe :

définition-de-fonction :
$\Rightarrow$ type identificateur ( liste-de-déclarations-de-paramètres )
{
liste-de-déclarations$_{option}$
liste-d'instructions
}

Note

Dans le jargon C, l'ensemble :
type identificateur ( liste-de-déclarations-de-paramètres )
porte le nom bizarre de prototype de fonction.

$\bullet$

Sémantique :

type est le type de la valeur rendue par la fonction ; identificateur est le nom de la fonction ; liste-de-déclarations-de-paramètres est la liste (séparés par des virgules) des déclarations des paramètres formels. La liste-de-déclarations$_{option}$ permet si besoin est, de déclarer des variables qui seront locales à la fonction, elles seront donc inaccessibles de l'extérieur. La liste-d'instructions est l'ensemble des instructions qui seront exécutées sur appel de la fonction. Parmi ces instructions, il doit y avoir au moins une instruction du type :

return expression ;

Lors de l'exécution d'une telle instruction, expression est évaluée, et le contrôle d'exécution est rendu à l'appelant de la fonction. La valeur rendue par la fonction est celle de expression.