diferencia entre const-sidad lógica y física

Question

¿Cuál es la diferencia entre estos dos términos y por qué necesito mutable?

Answer 1

Scott Meyers, Effective C++, punto 3:

Uso const siempre que sea posible

tiene una excelente discusión (con ejemplos) sobre este tema. ¡Es difícil escribir mejor que Scott!

Tenga en cuenta también que la constness física también se conoce como constness bitwise.

Answer 2

Necesita mutable cuando hay campos en un objeto que pueden considerarse "internos", es decir, cualquier usuario externo de la clase no puede determinar el valor de estos campos. La clase puede necesitar escribir en estos campos aunque la instancia se considere constante, es decir, no cambie.

Considere un disco duro; su caché es un ejemplo de tal estado. El caché es escrito cuando los datos son , lea del disco actual.

Esto no se puede expresar limpiamente en C++ sin hacer los miembros correspondientes mutable, para permitir su modificación incluso en los métodos marcados const. Como se señala en un comentario, siempre puede alcanzar el martillo y usar un const_cast<> para eliminar el const -ness, pero eso es por supuesto hacer trampa. :)

Answer 3

Constness "física" proviene de declarar un objeto const, y podría, en principio, ser impuesta al colocar el objeto en la memoria de solo lectura, por lo que no puede cambiar. Intentar cambiarlo causará un comportamiento indefinido; podría cambiar, o no, o podría desencadenar un error de protección, o podría derretir el chip de memoria.

Constness "lógica" viene de declarar una referencia o puntero const, y es impuesta por el compilador. El objeto en sí mismo puede o no ser "físicamente" const, pero la referencia no puede usarse para modificarlo sin un molde. Si el objeto no es "físicamente" const, entonces C++ le permite modificarlo, usando const_cast para eludir la protección.

Un miembro de clase mutable se puede modificar incluso si el objeto de clase en sí (o la referencia o el puntero utilizado para acceder a él) es const. Ejemplos de buenos usos de esto son un mutex que debe bloquearse durante una operación de lectura y un caché para almacenar el resultado de una costosa operación de lectura. En ambos casos, la operación en sí debería ser una función const (ya que no afecta el estado visible del objeto), pero necesita modificar el mutex o el caché, por lo que deben ser mutable. También se puede abusar para hacer que el objeto cambie visiblemente cuando lógicamente no debería, así que úselo con cuidado; solo declare los miembros mutable si no forman parte del estado visible externamente.