Tengo una clase anidada en C++ que quiero que el código C pueda usar. Debido a que está anidado, no puedo reenviarlo a C, por lo que tenemos un código como este en un archivo de encabezado compartido:
#ifdef __cplusplus class Mgr { public: class Obj { public: int x; }; }; typedef Mgr::Obj * PObj; #else typedef void* PObj; #endifEsto da como resultado que C y C ++ vean cada uno definiciones diferentes de PObj, lo que me temo que viola la regla de una definición. Sin embargo, es "solo" un puntero, por lo que no estoy seguro de si esto puede salir mal o no.
C no hace nada con el puntero además de pasarlo a funciones de C++ que son contenedores para métodos. Por ejemplo, tendremos esto en el encabezado combinado:
#ifdef __cplusplus extern "C" { #endif int obj_GetX(PObj pObj); #ifdef __cplusplus } #endif /* __cplusplus */Con esto como la implementación en el archivo C++:
int obj_GetX(PObj pObj) { return pObj->x; }Asi que:
No es un problema en sí mismo, pero es posible que viole la estricta regla de alias si y cuando convierte ese void * de nuevo en Mgr::Obj * en su código C++.
No hay una buena solución para esto: es (para mí) una omisión flagrante en el estándar. Lo mejor que puede hacer es compilar cualquier código que haga tales conversiones con el -fno-strict-aliasing . Hago esto extensamente y nunca he tenido problemas para realizar moldes de esta manera.