10.3.1. Définition d'une fonction

Dans la définition d'une fonction, nous indiquons:

- le nom de la fonction
- le type, le nombre et les noms des paramètres de la fonction
- le type du résultat fourni par la fonction
- les données locales à la fonction
- les instructions à exécuter

Définition d'une fonction en langage algorithmique

   fonction <NomFonct> (<NomPar1>, <NomPar2>, ...):<TypeRés>
   |  <déclarations des paramètres>
   |  <déclarations locales>
   |  <instructions>
   ffonction

Définition d'une fonction en C

   <TypeRés> <NomFonct> (<TypePar1> <NomPar1>,
                         <TypePar2> <NomPar2>, ... )
   {
    <déclarations locales>
    <instructions>
   }

Remarquez qu'il n'y a pas de point-virgule derrière la définition des paramètres de la fonction.

Les identificateurs

Les noms des paramètres et de la fonction sont des identificateurs qui doivent correspondre aux restrictions définies dans chapitre 2.2.4. Des noms bien choisis peuvent fournir une information utile sur leur rôle. Ainsi, les identificateurs font aussi partie de la documentation d'un programme. (La définition et le rôle des différents types de paramètres dans une fonction seront discutés au chapitre 10.5. "Paramètres d'une fonction".)

Attention !

Si nous choisissons un nom de fonction qui existe déjà dans une bibliothèque, notre fonction cache la fonction prédéfinie.

Type d'une fonction

Si une fonction F fournit un résultat du type T, on dit que 'la fonction F est du type T' ou que 'la fonction F a le type T'.

Exemple

La fonction MAX est du type int et elle a besoin de deux paramètres du type int. Le résultat de la fonction MAX peut être intégré dans d'autres expressions.

int MAX(int N1, int N2)
{
 if (N1>N2) 
     return N1;
 else
     return N2;
}

Exemple

La fonction PI fournit un résultat rationnel du type float. La liste des paramètres de PI est déclarée comme void (vide), c.-à-d. PI n'a pas besoin de paramètres et il faut l'appeler par: PI()

float PI(void)
{
 return 3.1415927;
}

Remarques

• Une fonction peut fournir comme résultat:
  • un type arithmétique,
  • une structure (définie par struct - pas traité dans ce cours),
  • une réunion (définie par union - pas traité dans ce cours),
  • un pointeur,
  • void (la fonction correspond alors à une 'procédure').
  Une fonction ne peut pas fournir comme résultat des tableaux, des chaînes de caractères ou des fonctions. (Attention: Il est cependant possible de renvoyer un pointeur sur le premier élément d'un tableau ou d'une chaîne de caractères.)

• Si une fonction ne fournit pas de résultat, il faut indiquer void (vide) comme type du résultat.

• Si une fonction n'a pas de paramètres, on peut déclarer la liste des paramètres comme (void) ou simplement comme () .

• Le type par défaut est int; autrement dit: si le type d'une fonction n'est pas déclaré explicitement, elle est automatiquement du type int.

• Il est interdit de définir des fonctions à l'intérieur d'une autre fonction (comme en Pascal).

• En principe, l'ordre des définitions dans le texte du programme ne joue pas de rôle, mais chaque fonction doit être déclarée ou définie avant d'être appelée (voir aussi 10.3.3.)

Rappel: main

La fonction principale main est du type int. Elle est exécutée automatiquement lors de l'appel du programme. A la place de la définiton:

     int main(void)

on peut écrire simplement:

     main()