Pensar en C++ (Volumen 1) - Grupo ARCO

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 246 — #284
✐
Capítulo 8. Constantes
modo, el entorno modifica el dato (posiblemente mediante multitarea, multihilo o
interrupciones), y volatile indica la compilador que no haga suposiciones sobre
el dato, especialmente durante la optimización.
Si el compilador dice, «yo guardé este dato en un registro anteriormente, y no he
tocado ese registro», normalmente no necesitará leer el dato de nuevo desde memoria.
Pero si esa variable es volatile, el compilador no debe hacer esa suposición
porque el dato puede haber cambiado a causa de otro proceso, y debe releer el dato
en vez de optimizar el código (dicha optimización consiste en eliminar la lectura
redundante que se hace normalmente).
Pueden crearse objetos volatile usando la misma sintaxis que se usa para crear
objetos constantes. También puede crearse objetos volatile constantes que no pueden
cambiarse por el programador cliente pero se pueden modificar por una entidad
ajena al programa. Aquí se muestra un ejemplo que representa una clase asociada
con algún elemento físico de comunicación.
//: C08:Volatile.cpp
// The volatile keyword
class Comm {
const volatile unsigned char byte;
volatile unsigned char flag;
enum { bufsize = 100 };
unsigned char buf[bufsize];
int index;
public:
Comm();
void isr() volatile;
char read(int index) const;
};
Comm::Comm() : index(0), byte(0), flag(0) {}
// Only a demo; won’t actually work
// as an interrupt service routine:
void Comm::isr() volatile {
flag = 0;
buf[index++] = byte;
// Wrap to beginning of buffer:
if(index >= bufsize) index = 0;
}
char Comm::read(int index) const {
if(index < 0 || index >= bufsize)
return 0;
return buf[index];
}
int main() {
volatile Comm Port;
Port.isr(); // OK
//! Port.read(0); // Error, read() not volatile
} ///:~
Como ocurre con const, se puede usar volatile para los atributos de la clase,
246
✐
✐
✐
✐