Si he creado un módulo C que presenta un identificador al usuario con un puntero a una estructura declarada hacia adelante, así:
typedef struct FOO_Obj *FOO_Handle;
Si luego declaro prototipos de funciones que lo usan como un parámetro calificado const
de esta manera:
void FOO_work(const FOO_Handle fooHandle);
¿Cómo se aplica la const
?
const struct FOO_Obj *FOO_Handle // A struct FOO_Obj *const FOO_Handle // B const struct FOO_Obj *const FOO_Handle // C
¿O es la UB ?
B. (No hay un comportamiento indefinido con el código que presentó).
La llamada de función
void FOO_work(const FOO_Handle fooHandle);
es equivalente a
void FOO_work(struct FOO_Obj* const fooHandle);
La variable fooHandle
en la función se codificará como un puntero constante a un objeto struct FOO_Obj
no constante. No podrá agregar el calificador const a fooHandle
para convertirlo en un puntero a un objeto const.
En cambio, si desea tener un puntero a un objeto const y mantener la estructura oculta, debe hacer otro typedef:
typedef const struct FOO_Obj* FOO_ConstHandle;