Discussion :

[Faiche]

Bonjour,

Selon ce que j'ai compris, une variable mutable est une variable qu'on peut modifier, même quand elle est const.

1) Est-ce le seul effet de ce mot clé ?
2) Dans quel cas utilise-t-on, dans la vie réelle, ce mot clé ?

Dans le GOTW sur l'emploi de const, ils montrent une class sans const, et expliquent où et pourquoi mettre du const.

Ici la partie de code qui m'interresse, sans les const

Code :

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

1
2
3
4
5
6
7
8
9
10
 
class Polygon 
{
    public:
      Polygon() : area_(-1) {}
 
    private:
      void InvalidateArea() { area_ = -1; }
      double area_;
};

Ici, leur solution :

Code :

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

1
2
3
4
5
6
7
8
9
10
 
class Polygon 
{
    public:
      Polygon() : area_(-1) {}
 
    private:
      void InvalidateArea() const { area_ = -1; }
      mutable double area_;
};

Pour pouvoir annoncer une fonction const, il rend mutable la variable.

Si quelqu'un veut bien éclairer ma lanterne sur ces questions, je lui en serais reconnaissant.

Merci

[Médinoc]

Les cas les plus courants d'utilisation de mutable sont le cache et le comptage de références intrusif.

[Médinoc]

Ma solution pour Polygon:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
class Polygon 
{
public:
	Polygon() : area_(-1) {} 
	void MovePoint( /*paramètres*/ )
	{
		//Faire quelque chose
		//...
		InvalidateArea();
	}
 
	double getArea() const
	{
		if(area_ == -1)
			area_ = CalculateArea();
		return area_;
	}
 
private:
	void InvalidateArea() { area_ = -1; }
	double CalculateArea() const;
	mutable double area_;
};

Je pense que ce code explique mieux. Certaines méthodes non-const modifient le polygone et invalident son aire, mais celle-ci n'est recalculée que quand elle est demandée, et mise en cache jusqu'à ce qu'une nouvelle modification l'invalide...

[Faiche]

Pourquoi mettre le getArea const, indiquant donc qu'on ne va pas modifier la classe, s'il est possible qu'on le fasse ?

C'est que je comprends l'effet des modifieurs, mais pas l'intérêt.

Je suppose que tant que je ne serais pas confronté à un cas pratique, ça ne me parlera pas

[Médinoc]

C'est parce que sémantiquement, getArea() ne modifie pas la classe.

area_ n'est pas considéré comme une vraie variable de la classe, mais un simple cache mis là pour la performance. C'est pour ça qu'il est déclaré mutable. En clair, ce n'est pas un membre à part entière, donc modifier area_ n'est pas considéré comme une modification de la classe.

Et pour un comptage de références intrusif, c'est la même raison.

[Faiche]

D'accord, merci.