Discussion :

[r0d]

Remarque: J'hésitais à poser cette question dans le même thread que celui sur le mot clé const, mais je ne pense pas que ce soit la même problématique.

Alors voilà ma question:

J'ai 3 classes, A, B et C. A est quelconque. B est définie ainsi:

Code :

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

1
2
3
4
5
6
7
class B
{
public:
  B():m_A(new A){}; //le constructeur de B créé une instance de A
protected:
  A m_A; //l'instance de A appartient à B
};

et C, qui doit avoir un pointeur sur B::m_A, est défini ainsi:

Code :

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

1
2
3
4
5
6
7
class C
{
public:
  C(A* pA):m_pA(pA){} // le constructeur de C demande un pointeur sur A
private:
  A* m_pA;
};

Pour résumé, nous avons:
- Une classe B qui possède une instance de A: c'est B qui instancie A et si B est détruit, cette instance de A est détruite également.
- Une classe C qui possède un pointeur (référence??) sur l'instance de A créée par B.

Questions:
1/ Je voudrais que C ne puisse pas modifier l'instance de A dont il possède un pointeur. Comment faire?
2/ Comment éviter les erreurs possibles dûes au fait que si je détruit B, le pointeur C::m_pA ne sera plus valide?

J'espère avoir été suffisamment clair. Si ce n'est pas le cas, n'hésitez pas à me demander des précisions.

Merci

[Swoög]

Lut !

alors pour la première question, il te suffit de déclaré le A* de C comme un const A* ainsi il n'aura qu'un accès en lecture

pour le second problème, je pense que seul les pointeurs intelligents peuvent être la solution...

d'un autre côté, si ton C a vraiment besoin d'une instance du A du B... il devrait être soumis à la même durée de vie d'un point de vue conceptuel...

sinon penche-toi sur les pointeurs intelligents (boost par exemple)

[r0d]

Ok, pour le 1, c'est bien ce que je pensais, mais je n'étais pas sûr du fonctionnement du const sur un pointeur.
Pour le 2 ... c'est bien ce que je craignais

Encore merci Swoög

[Eusebe]

2/ Comment éviter les erreurs possibles dûes au fait que si je détruit B, le pointeur C::m_pA ne sera plus valide?

Je vais peut-être dires des c*******s, je suis moi aussi débutant ^^

Est-ce que tu ne pourrais pas gérer dans tes objets B une liste des objets C qui pointent vers leur A ?

Ca permettrait dans le destructeur de B de prévenir les C concernés que tu as détruit A... (par exemple en créant dans la classe C une fonction DeleteA() qui remet le pointeur vers A à NULL)

[Swoög]

pour le const sur les pointeurs, reporte toi au post que je t'ai donné en lien dans un autre topic, tu verras les différences entre

Code :

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

1
2
3
const A*
A const *
A* const

[Eusebe]

Ok, pour le 1, c'est bien ce que je pensais, mais je n'étais pas sûr du fonctionnement du const sur un pointeur.

C'est vrai ça, maintenant que tu le dis, je me pose la même question...

Si le pointeur est contant, ça signifie qu'on ne peut pas changer d'objet pointé (changer de pointeur).
Mais ça ne signifie pas pour autant que l'on ne peut pas modifier les propriétés de l'objet pointé, si ?

Est-ce que ce n'est pas la classe A qu'il faut modifier en mettant toutes les fonctions non constantes en private, et en déclarant la classe B friend ?

EDIT : oups, Swoög est plus rapide que son ombre... Je vais aller voir le lien sur l'autre topic...

[Eusebe]

Après lecture du lien sur les Const, j'ai encore une question : quelle est la priorité entre "Const" et l'opérateur de déréférencement * ? ou exprimé différemment, est-ce que Const A* équivaut à (Const A)* ou à Const (A*) ?

Si j'ai bien compris, pour le reste :
A Const * : pointeur modifiable sur un objet A constant
A* Const : pointeur constant sur un objet A modifiable

Donc si on veux un pointeur constant sur un objet constant, il faudrait "A Const * Const" ?

[Swoög]

Code :

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

const A *

est totalement équivalent à

Code :

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

A const *

donc oui, si on veut un pointeur constant sur un objet constant, il faut :

Code :

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

A const * const

ou

Code :

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

const A* const