Passage par référence

Usuellement les langages de programmations proposent plusieurs formes de passages de paramètres.

• passage par valeur : dans le passage par valeur, les valeurs des paramètres d'appel sont recopiés dans le programme appelé. Ainsi la fonction appelée travaille avec une copie des paramètres. Un des avantages de ce mode de passage de paramètres est l'absence d'effets de bords : la fonction appelée ne peut modifier ses paramètres. Un inconvénient, par contre, pourra être le temps que peut prendre la copie des paramètres. En fait, c'est le seul mode de passage de paramètres existant en C et en C++. Mais la possibilité d'avoir des arguments de type pointeur ou références permet d'obtenir passage par référence classique.
• passage par référence : dans ce mode de passage de paramètres, la fonction appelée travaillera avec les références des paramètres d'appel. Aussi, à moins de syntaxiquement l'interdire (ce qui est possible en C++), la fonction peut modifier ces paramètres. Un avantage de ce mode de transmission est qu'il évite des copies coûteuses des paramètres.
• passage par nom : ce mode de transmission est plus rare, mais c'est celui utilisé par le préprocesseur avec les arguments des macros. Dans ce mode, les paramètres de l'appel seront textuellement substitués aux diverses occurrences des paramètres formels.

  #define max(A,B)  (A)>(B)?(A):(B)
  
  max(a+b,c) ;  // (a+b)>(c)?(a+b):(c)

• autres modes : il existe d'autres modes possibles de passage de paramètres. D'abord, au lieu de préciser comment l'appel se passe, un langage peut spécifier les propriétés de cet appel. Plutôt que de préciser passage par valeur ou par référence, on peut spécifier que le paramètre pourra ou ne pourra pas être modifié, laissant l'implémenteur du langage libre de copier ou de ne pas copier les paramètres.

  On peut définir, comme en Ada, un mode in pour lequel les paramètres ne pourront qu'être lus (ce qui suppose un contrôle sur les pointeurs), un mode out dans lequel un paramètre ne pourra qu'être écrit, et un mode in out où le paramètre pourra être lu et modifié. Pour ces différents modes de passage, c'est le compilateur qui garantira que ces propriétés sont vérifiées. Un mode de transmission par référence qui évite la recopie peut être une bonne solution pour ces trois modes.