Discussion :

[FabTheGeek]

Bonjour à tous,

une petite question concernant la transmission d'arguments par référence dans les fonctions.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
int f(const int& r)
{ }

nécessite-il forcément que la variable transmise soit un int constant? Ou est ce juste une sémantique spéciale pour dire que la variable, bien que passée par ref ne sera pas modifiée?

Merci

[r0d]

bonjour,

le const n'est pas obligé, il s'agit juste d'un attribut sémantique qui dit à celui qui va utiliser: "tu peux être sûr que cette variable ne sera pas modifiée".


Sinon quelques remarques:

Dans le cas d'un type natif, le passage par référence constante ne change absolument rien au passage par valeur.

On peut lire parfois que le passage par référence constante aide le compilateur à optimiser dans le cas d'un type complexe. C'est faux. Le compilateur ne peut pas optimiser à cause de l'existence du mot clé mutable.

[FabTheGeek]

Mais on est bien d'accord que

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

const int& a

signifie : déclarer pour argument une référence vers un int constant ? Et non une référence constante (redondance )vers un int? N'est ce pas?

A moins que le mécanisme de déclaration de variable et celui d'argument ne fonctionnent pas de la même façon...

[Goten]

Oui c'est une référence sur constante. (et par abus de langage on parle de référence constante).
le const s'applique toujours à ce qui le précéde sauf si il y'a rien avant il s'applique à ce qui est juste après.
ie :
const T& == T const &


(beaucoup préfèrent la seconde écriture afin d'éviter ce genre d'ambiguïté.)

[FabTheGeek]

donc mettons que

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
int a=2;
int b;
 
int main()
{
 
b=g(a);
return 1;
}
 
int g(const int& x)
{ }

dans le premier appel je dis bien x pointe vers a qui n'est pourtant pas constant... et je devrais donc avoir une erreur non?

[Arzar]

Non, ce que ça veut dire c'est que dans la fonction tu ne pourras pas modifier x (et donc pas a, vu que x n'est qu'un alias pour a).