por qué un objeto volátil no puede llamar a la función miembro no volátil

Question

¿Por qué un objeto volatile no puede llamar a una función miembro que no es volatile?

En caso de const, tiene sentido que llamar a una función miembro no viola la constconstness del objeto y por lo tanto está prohibido. Pero ¿por qué en el caso de volatile?

Answer 1

En el caso de const, tiene sentido que llamar a una función de miembro no const viole la consistencia del objeto y, por lo tanto, está prohibido. Pero ¿por qué en el caso de volátiles?

Pasa lo mismo con volátiles. Volátil significa que cada acceso a un objeto es un efecto secundario visible y no puede eliminarse. Si llama a un método no volátil en un objeto volátil, violaría esta propiedad (porque el método no volátil trataría el objeto solo como un objeto normal). Por lo tanto, es imposible.

Answer 2

El calificador volatile funciona de la misma manera que const. Para ver lo que se puede hacer gracias a esto, eche un vistazo a this Alexandrescu article. Ese artículo también debe darle alguna idea sobre el por qué.

Answer 3

de la norma:

7.1.5.1. Si se intenta referir a un objeto definido con un tipo codificado volátil mediante el uso de un valor l con un tipo codificado no volátil , el comportamiento del programa no está definido.

Supongo que su compilador publica un error para evitar el comportamiento indefinido. La norma que lo establece debe ser motivo suficiente.