Fonction imbriquée - Définition

Une fonction imbriquée ou fonction interne est une fonction encapsulée dans une autre. Elle ne peut être appelée que par la fonction englobante ou par des fonctions imbriquées directement ou non dans la même fonction englobante.
En d'autres termes, la portée de la fonction imbriquée est limitée par la fonction englobante.

Un exemple avec la syntaxe de Pascal :

function E(x: integer): integer
function F(y: integer): integer
begin
F:= x + y
end
begin
E:= F(3)
end

Et le même exemple avec une syntaxe façon C :

int E(int x)
{
int F(int y)
{
return x + y;
}
return F(3);
}

La fonction F est imbriquée dans E (notez que x est visible dans F, mais y est invisible en dehors de F).

Les fonctions imbriquées sont une forme d'encapsulation et sont utilisées pour diviser des tâches procédurales en sous-tâches qui n'ont de signification que locale. Elle permet d'éviter la pollution de l'espace global de noms par des noms de fonctions, variables... dont l'usage est restreint à une petite partie du programme.

Parmi les langages les plus connus qui supportent les fonctions imbriquées, il y a

• Algol, Pascal, Ada, Scheme, Common Lisp, Python, D et Perl.

En Scheme et la plupart des langages fonctionnels, les fonctions imbriquées sont une manière commune d'implanter des fonctions comportant des boucles. Une simple fonction imbriquée récursive ou récursion terminale est créée, qui se comporte comme la boucle principale, alors que la fonction englobante effectue les actions qui me doivent être faites qu'une fois. Dans les cas plus complexes, plusieurs fonctions mutuellement récursives peuvent être créées comme des fonctions imbriquées.