En mi implementación, utilizo un puntero a una struct
que puede ser modificada en cualquier momento desde mi código; quiero que, desde el exterior de mi código, se pueda acceder a ese puntero, pero solo para lectura (para poder usarlo en ciertas funciones de utilidad).
struct Thread;
extern volatile struct Thread *const CurrentThread;
- Es necesario que sea
volatile
porque se cambiará desde un manejador de interrupciones (de momento, solo para Unix), y quiero que el compilador lo sepa. - Es crítica (muchas funciones usarán ese puntero, puede que desde el propio manejador de interrupciones), por lo que en principio no quiero usar una función que devuelva una copia del mismo (para garantizar la solo lectura).
- Ese puntero selecciona una tarea de entre un conjunto de ellas. Una modificación descontrolada producirá efectos, cuanto menos, curiosos.
Siempre es posible hacer un cast, pero por lo menos que el compilador avise si se intenta cambiar su valor por descuido.
Las preguntas son:
- ¿ Es correcta esa declaración para conseguir los objetivos descritos ?
- Si la respuesta es negativa, ¿ Como se pueden conseguir los efectos buscados ?
EDITO - Para dejar la pregunta algo más clara y concreta:
Puntero a struct
:
struct Thread *
Puntero constante a struct
(el puntero en sí mismo no se puede modificar):
struct Thread *const
Puntero constante a struct
. Nosotros no podemos cambiar el valor del puntero, pero este puede cambiar en cualquier momento fuera del control del compilador:
volatile struct Thread *const
¿ Es esto último correcto ?