Exécution d'un sous-programme
Points communs aux fonctions et procédures
L'exécution d'une fonction ou d'une procédure est déclenchée par l'exécution d'un appel de sous-programme. On y trouve le nom du sous-programme suivi des paramètres effectifs entre parenthèses:
Nom du Sous-Programme (Param. effectif, ..., Param. effectif)
De manière générale, un paramètre effectif est une expression qui est évaluée lors de l'exécution de l'appel du sous-programme. En particulier, il peut donc s'agir simplement d'une variable ou d'un littéral. Le nombre de paramètres effectifs doit être égal au nombre de paramètres formels.
L'exécution d'un appel de procédure provoque les opérations suivantes:
L'exécution d'un appel de sous-programme commence par le passage des paramètres dont le mécanisme est le même pour les procédures et les fonctions.
Il existe plusieurs modes de passage de paramètre. Dans ce cours nous ne considérons que le mode de passage par valeur. Il fonctionne de la manière suivante:
- Si les paramètres effectifs sont des expressions non réduites à des littéraux, ces dernières sont tout d'abord évaluées.
- De la mémoire est allouée pour chaque paramètre formel.
- La valeur de chaque paramètre effectif est affectée au paramètre formel de même position.
Les instructions contenues dans le corps du sous-programme sont ensuite exécutées avec ces valeurs de paramètres.
Lorsqu'elles ont toutes été exécutées, la mémoire allouée aux paramètres et aux variables locales est libérée. Il se produit ensuite le mécanisme du retour de sous-programme dont le principe n'est pas le même pour les procédures et les fonctions.
Cas particulier des procédures
Dans le cas d'une procédure, le retour est simplement la continuation de l'exécution du programme à l'instruction qui suit son appel.
D'autre part, l'appel d'une procédure peut être considérée comme une instruction.
Cas particulier des fonctions
Un appel de fonction au contraire n'est pas vraiment une instruction, mais doit plutot être considéré comme une expression à évaluer.
Comme toute expression, elle peut donc figurer à l'intérieur d'une instruction: dans le membre droit d'une affectation, dans les paramètres effectifs d'un appel de sous-programme, ....
L'autre point particulier des fonctions est qu'elles retournent un résultat, contrairement aux procédures. Tout se passe comme si le résultat retourné par la fonction venait s'inscrire dans le code à l'endroit où figure son appel.