Fonctions

  

Les mathématiciens définissent maintenant les fonctions comme des relations, c'est-à-dire des sous-ensembles du produit cartésien de deux ensembles, qui vérifient simplement des propriétés d'existence et d'unicité (tout élément a une image et une seule).

Les informaticiens n'adoptent pas cette définition pour au moins deux raisons : d'une part, une fonction n'est pas seulement un ensemble de couples, mais est une méthode (ou algorithme) de calcul, et d'autre part une fonction, pour un argument donné, peut ne pas toujours rendre le même résultat (c'est le cas de la fonction rand de génération de nombres pseudo-aléatoires).

Les fonctions sont un des moyens les plus importants pour donner une structure compréhensible à un programme. On peut bien sûr écrire un programme de 10 000 lignes avec une seule fonction, main (qui est obligatoire) ; un tel programme est sûrement incompréhensible, et si par hasard il fonctionne, il sera impossible de le modifier.

On définit une fonction par son en-tête et son corps, c'est-à-dire :        

• le type de son résultat
• son nom
• une liste de paramètres, avec leur type
• son corps, qui est un bloc (composé d'une suite de déclarations, dites locales , puis d'une suite d'instructions)

Sauf quand le type du résultat est void, le corps d'une fonction contient au minimum une instruction << return   expression ; >> qui permet de communiquer son résultat. Quand le type du résultat est void , son corps peut contenir l'instruction << return; >>, mais ce n'est pas obligatoire.

La principale opération que l'on peut faire sur une fonction est l'appeler avec des arguments (l'autre opération est de prendre son adresse). Attention : une fonction f sans argument doit être appelée par f().