Pointeurs et références constantes

Bonjour à tous,

Voici la fonction suivante qui recois une variable int "i", et qui la retourne :

Code:

---

1 2 3 4

int returnArg(int i) { return i; }

---

Comme la fonction ne modifie l'argument i, on peut la rendre constante :

Code:

---

1 2 3 4

int returnArg(const int i) { return i; }

---

Si cette fonction était placé dans une classe, comme elle ne fait pas appelle aux variable membre et donc ne les modifies pas, on en arrive à ceci :

Code:

---

1 2 3 4

int returnArg(const int i) const { return i; }

---

Jusque là je saisi tout, mais quand on fait usage à un pointeur ou une référence, comment s'y prendre, pour :
-Ne pas modifier l'adresse du pointeur ou ne pas modifier la référence
-Ne pas modifier la valeur du pointeur ou de la référence

J'ai déjà vu quelque chose du genre :

Code:

---

1 2 3 4

int returnArg(const int* i const) const { return i; }

---

Mais je ne serais pas vraiment le définir... Merci à ceux qui sauront m'éclaircir d'avantage.

Le mot-clé const qualifie le type qui le précède (et quand il est placé au début, on peut intervertir pour retomber sur cette règle).

Donc :

Code:

---

1 2 3 4 5 6

int const i; // entier constant int const * i; // pointeur sur entier constant (tu ne peux pas modifier *i) int * const i; // pointeur constant sur entier (tu ne peux pas modifier i) int const & i; // référence sur un entier constant (tu ne peux pas modifier *i) int * const * const i; // pointeur constant sur pointeur constant sur entier (tu peux modifier **i, mais pas *i ni i) etc.

---

Bonjour,
Il faut préciser quelques points :
-un reference fait toujours "référence" au même objet. Ce code devrait donc au moins provoquer une warning si ce n'est une erreur:

Code:

---

1 2

int& ref;

---

-const s'applique à ce qui est just devant lui(et seulement à défaut ce qui est après lui). Le code :

Code:

---

1 2	const int i;

---

fonctionne car il n'y a rien devant le const.
-donc dans le cas des pointeur et des reference il y a 6 possibilités:

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24

int i1 = 0,i2 = 0; int& r = i1; // r fait reference à i1 r=i2; // r fait toujours reference à i1; i=r=0   int const& rc = i1; // rc fait reference à i1 rc=i2; // erreur, rc fait reference à un entier constant   int* p = &i1; // p fait reference à i1 *p=i2; // p fait toujours reference à i1; i=*p=0 p=&i2; // p fait reference à i2   int const* pc = &i1; // pc fait reference à i1 *pc=i2; // erreur, pc fait reference à un entier constant pc=&i2 // ok, pc fait reference à i2     int *const cp = &i1; // cp fait reference à i1 *cp=i2; // cp fait toujours reference à i1; i=*p=0 cp=&i2; // erreur, cp est un pointeur constant   int const *const cpc = &i1; // cpc fait reference à i1 *cpc=i2; // erreur, cpc fait reference à un entier constant cpc=&i2; // erreur, cpc est un pointeur constant

---

Merci pour vos réponses,

Citation:

---

Envoyé par Laurent Gomila

Code:

---

int const * i; // pointeur sur entier constant (tu ne peux pas modifier *i)

---

---

Est ce que ça revient à la même chose que :

Code:

---

int* i const;

---

Le keyword const peut-être placé devant ou après le type qu'il qualifie à ce que j'ai compris, mais je trouve pas ça très logique... il risque d'y avoir confusion non ?

J'ai pas compris cette ligne de code :

Code:

---

r=i2; // r fait toujours reference à i1; i=r=0

---

C'est quoi i ? i1 ou i2 ?

i1 et i2 ce sont deux entiers déclarés au debut du code et i, c'est une erreur de frappe pour i1.

Code:

---

int* i const;

---

Ce code est invalide car const ne peut pas qualifier un nom de variable ("i"). Il faut que const soit juste après(éventuellement avant) ce qu'il qualifie, sans qu'il en soit séparé par des caractères(hors espaces, tabulations, retour à la ligne)

Citation:

---

Le keyword const peut-être placé devant ou après le type qu'il qualifie à ce que j'ai compris, mais je trouve pas ça très logique... il risque d'y avoir confusion non ?

---

Seulement lorsqu'il qualifie le tout premier type de l'expression, donc il n'y a aucune confusion possible.

Citation:

---

C'est quoi i ? i1 ou i2 ?

---

C'était juste pour illustrer le fait que modifier une référence modifie directement la variable originale.

Citation:

---

Envoyé par Laurent Gomila

C'était juste pour illustrer le fait que modifier une référence modifie directement la variable originale.

---

Alors pourquoi dans le code suivant, r fait toujours référence à i1 et non à i2 ?

Code:

---

1 2 3

int i1 = 0,i2 = 0; int& r = i1; // r fait reference à i1 r=i2; // r fait toujours reference à i1; i1=r=0

---

Parce qu'une référence est "liée" à une variable au moment de sa déclaration et uniquement à ce moment là. Tout ce qui se passe ensuite, y compris les affectations, sont transmises à la variable liée. On ne peut pas lier une référence à autre chose en cours de route, contrairement aux pointeurs.

Explique moi alors ceci :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

#include <iostream>   int main() { int i = 5; int &r = i; int i2 = 7; r = i2; std::cout << "Valeur de i2 :" << i2 << " - i: " << i << " - r : " << r << "\n"; return 0; }

---

Out : Valeur de i2 :7 - i: 7 - r : 7

r est bel est bien modifier...

Ce que tu fais là c'est que tu assignes la valeur de i2 à r (donc à i, qui ne vaut alors plus 5). Tu ne fais pas "pointer" r vers i2.

Tout est compris, merci à vous ! Sujet résolu.