différence entre la constance logique et physique

Question

Quelle est la différence entre ces deux termes, et pourquoi ai-je besoin de mutable?

Answer 1

Scott Meyers, Effective C++, article 3:

utilisation const chaque fois que possible

a une excellente discussion (avec des exemples) sur ce sujet. C'est difficile d'écrire mieux que Scott!

Notez également que la constance physique est également connue sous le nom de constance au niveau du bit.

Answer 2

Vous avez besoin de mutable lorsqu'il existe des champs dans un objet pouvant être considérés comme "internes", c'est-à-dire qu'aucun utilisateur externe de la classe ne peut déterminer la valeur de ces champs. La classe peut avoir besoin d'écrire dans ces champs même si l'instance est considérée comme constante, c'est-à-dire qu'elle ne change pas.

Considérons un disque dur; son cache est un exemple d'un tel état. Le cache est écrit lorsque les données sont lire à partir du disque réel.

Il n'est pas possible d'exprimer proprement en C++ sans faire les membres correspondants mutable, pour permettre de les modifier même dans les méthodes marquées const. Comme indiqué dans un commentaire, vous pouvez toujours atteindre pour le marteau et utiliser un const_cast<> pour supprimer le const -ness, mais c'est bien sûr la tricherie. :)

Answer 3

La constance "physique" provient de la déclaration d'un objet const, et pourrait, en principe, être appliquée en plaçant l'objet en mémoire morte, de sorte qu'il ne peut pas changer. Tenter de le changer provoquera un comportement indéfini; cela pourrait changer, ou ne pas le faire, ou cela pourrait déclencher une erreur de protection, ou cela pourrait faire fondre la puce mémoire. La constance "logique" vient de la déclaration d'une référence ou d'un pointeur const et est appliquée par le compilateur. L'objet lui-même peut être ou non "physiquement" const, mais la référence ne peut pas être utilisée pour le modifier sans un cast. Si l'objet n'est pas "physiquement" const, alors C++ vous permet de le modifier, en utilisant const_cast pour contourner la protection. Un membre de classe mutable peut être modifié même si l'objet de classe lui-même (ou la référence ou le pointeur utilisé pour y accéder) est const. Des exemples de bonnes utilisations de ceci sont un mutex qui doit être verrouillé pendant une opération de lecture, et un cache pour stocker le résultat d'une opération de lecture coûteuse. Dans les deux cas, l'opération elle-même devrait être une fonction const (puisqu'elle n'affecte pas l'état visible de l'objet), mais elle doit modifier le mutex ou le cache, donc ceux-ci doivent être mutable. Il peut également être abusé pour que l'objet change visiblement quand il ne devrait pas logiquement, alors utilisez-le avec soin; ne déclarez les membres mutable que s'ils ne font pas partie de l'état externe visible.