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;