Retour

L'instruction de retour existe sous l'une des deux formes suivantes :

• return exp ;
• return ;

La première doit être utilisée dans le corps d'une fonction dont le type de retour est différent de void et le type de exp doit être un sous-type de ce type de retour. La seconde peut être utilisée dans le corps d'une fonction dont le type de retour void. Dans les deux cas, l'exécution de cette instruction termine l'exécution du corps de la fonction et provoque l'exécution de l'instruction de continuation (telle que spécifiée dans le cadre d'invocation de la fonction, voir page ).