... et promotion

Quand le type de retour est numérique, il y a promotion de la valeur de l'expression de retour vers le type de retour quand cela est possible : par exemple un « return 3; » dans une fonction déclarée retourner un double ne retournera pas l'entier 24#24, mais le double 26#26.

De même que l'invocation est notée par le symbole 23#23, on note le retour d'une valeur 27#27 par le symbole 28#28 ou par 29#29 :

Sommes.sommerEntiers(1,10) 30#30 SommesTest.main(...),

ou

SommesTest.main(...) 31#31 Sommes.sommerEntiers(1,10).

Une fonction dont le type de retour est void retourne, mais ne retourne pas de valeur. On notera ces deux usages du verbe « retourner », intransitif en général, et transitif dans le cas d'une valeur.