Asignación de miembro en una función const

Question

Tengo un miembro de clase myMember que es un myType puntero. Quiero asignar este miembro en una función que se declara como const. Estoy haciendo la siguiente manera:

void func() const 
{ 
    ... 
    const_cast<myType*>(myMember) = new myType(); 
    ... 
} 

Hacer esto funciona bien en VC++, pero GCC da un error con el "valor-I requerido como operador de la izquierda de la asignación" mensaje.

Haciendo el miembro mutable permítanme simplemente eliminar el const_cast y asignar el valor. Sin embargo, no estoy del todo seguro de que eso tenga otros efectos secundarios.

¿Puedo asignar mi miembro sin tener que hacer que el miembro sea mutable? ¿Cómo? ¿Hay algún efecto secundario en hacer mutable a los miembros?

Answer 1

El código de costumbre en realidad el trabajo en VC++ - no se está actualizando el valor (o al menos que no deberia), de ahí la advertencia de GCC. código correcto es

const_cast<myType*&>(myMember) = new myType(); 

o [de otra respuesta, gracias: P]:

const_cast<ThisType*>(this)->myMember = new myType(); 

Por lo que es mutable efectivamente significa que usted obtiene implícitas const_cast s en const funciones miembro, que generalmente es lo que debe ser dirigiéndose hacia cuando te encuentras haciendo un montón de const_cast s en this. No hay 'efectos colaterales al uso de' mutable 'que no sea eso.

Como puede ver en los vehemente debates que rodean esta pregunta, el uso indebido de mutable y muchos const_cast s definitivamente pueden ser síntomas de malos olores en su código. Desde un punto de vista conceptual, la eliminación de la constness o el uso de mutable puede tener implicaciones mucho más grandes. En algunos casos, lo correcto puede ser cambiar el método a no const, es decir, admitir el hecho de que está modificando el estado.

Todo depende de la cantidad de const-corrección cuestiones en su contexto - usted no quiere terminar simplemente sprinking mutable alrededor como polvo mágico para hacer funcionar las cosas, pero mutable está destinado para el uso si la pieza miembro de isnt de lo observable estado del objeto. La visión más rigurosa de la corrección de constión sostendría que no se puede modificar ni un solo bit del estado del objeto (p. Ej., Esto podría ser crítico si su instancia está en ROM ...) - en esos casos no quiere ninguna constness estar perdido. En otros casos, puede tener algún estado externo almacenado en algún lugar fuera del objeto; por ejemplo, un caché específico de subprocesos que también debe tenerse en cuenta al decidir si es apropiado.

Answer 2

Este escenario - un cambio de estado interno encapsulado que no afecta el estado externo (por ejemplo, resultados de almacenamiento en caché) - es exactamente lo que significa la palabra clave mutable.

Answer 3

class Class{ 
int value; 
void func()const{ 
const_cast<Class*>(this)->value=123; 
} 
}; 

Answer 4

const_cast es casi siempre un signo de error de diseño. En su ejemplo, func() no debe ser const, o myMember debe ser mutable.

Una persona que llama de func() esperará que su objeto no cambie; pero esto significa "no cambiar de una manera que ella pueda notar"; esto es, no para cambiar su estado externo.Si al cambiar myMember no se cambia el estado externo del objeto, para eso es la palabra clave mutable; de lo contrario, func() no debe ser const, porque traicionaría las garantías de su función.

Recuerde que mutable no es un mecanismo para circunvenir la const-correctness; es un mecanismo para mejorarlo.

Answer 5

Como escribió Steve Gilham, mutable es la respuesta correcta (y breve) a su pregunta. Solo quiero darte una pista en una dirección diferente. Tal vez es posible en su szenario hacer uso de una (o más de) interfaz? Tal vez se puede asimilar desde el siguiente ejemplo:

class IRestrictedWriter // may change only some members 
{ 
public: 
    virtual void func() = 0; 
} 

class MyClass : virtual public IRestrictedWriter 
{ 
public: 
    virtual void func() 
    { 
    mValueToBeWrittenFromEverybody = 123; 
    } 

    void otherFunctionNotAccessibleViaIRestrictedWriter() 
    { 
    mOtherValue1 = 123; 
    mOtherValue2 = 345; 
    } 

    ... 
} 

Por lo tanto, si pasa a una cierta función IRestrictedReader * en lugar de un const MyClass * puede llamar func y así cambiar mValueToBeWrittenFromEverybody mientras que mOtherValue1 es una especie de "const".

. Encuentro que mutable siempre es un hack (pero úsala a veces).