¿Por qué es 'parasitario' volátil en C++?

Question

Considere el siguiente código:

int main()                  
{                    
    int i;                  
    volatile int* p = &i;              
    int *v = p;                 
    return 0;                 
} 

Esto da un error en g++:

$ g++ -o volatile volatile.cpp 
volatile.cpp: In function ‘int main()’: 
volatile.cpp:6: error: invalid conversion from ‘volatile int*’ to ‘int*’ 

Mi intención era que yo quiero hacer p volátil. Sin embargo, una vez que he leído el valor de p, no me importa si el acceso a v es volátil. ¿Por qué se requiere que v se declare volátil?

Este es un código hipotético, por supuesto. En una situación real, podría imaginarse que p apunta a una ubicación de memoria, pero se modifica externamente y quiero que v señale la ubicación que p señaló en el momento de , aunque más tarde se modifique externamente. Por lo tanto, p es volátil, pero v no lo es.

Por cierto, me interesa el comportamiento tanto cuando se considera C como C++, pero en C esto solo genera una advertencia, no un error.

Answer 1

Si se refiere a que el puntero debe ser volátil, en lugar del objeto al que apunta, entonces declararemos como

int* volatile p; 

Answer 2

En C++ la palabra clave volatile se aplica el mismo tipo de restricción en lo que puede hacer tan const hace. El Estándar se refiere a esto como 'cv-qualification' como en 'const/volátil qualification. Las constras solo pueden usarse por constelaciones, y de la misma manera los volátiles solo pueden ser utilizados por volátiles.

Como un lado, esto puede ayudarlo a escribir el código multiproceso. No en virtud de emplear alguna magia de compilación que hace que tu variable sea repentinamente atómica o algo así, sino forzándote a actuar solo en datos volátiles de forma volátil. Vea esto Alexandrescu article para más información.