Estoy haciendo una envoltura en C++ sobre un código C; dicho código utiliza el patrón callback, asícallback de la forma habitual: toda función callback recibe como argumento un puntero al objeto que lanzó la callback.
struct Object { };
void close( struct Object *obj, void (*callback)( struct Object *sender ) );
Para escribir la envoltura, he creado una clase punteroWrapper
cuyo único propósito es ocultar un puntero a struct Object
. Es una clase que cumple con Standard Layout Type, por lo que puede ser pasada como un puntero, simplemente haciendo un moldeado del tipo:
struct Wrapper {
Object *_data;
};
close( reinterpret_cast< Object * >( wrapper ), nullptr );
Para adaptarlo a C++, estoy usando std::function< >
para encapsular las funciones callback, lo cual me permite usar lambdas, funciones-no-miembro, e incluso punteros a funciones-miembro.
En una parte del código tengo que modelar un puntero a función, que recibe una instancia de mi clase punteroWrapper
, a un puntero a función que reciba realmente un puntero;struct Object *
; el punto exacto es:
void (**compatible)( T ) = user.template target< void(*)( T ) >( );
if( compatible ) {
std::cout << "Compatible con función-no-miembro.\n";
return reinterpret_cast< RESULT >( *compatible ); // <---------- AQUÍ
}
El código mínimo es un poco extenso ... pero creo que es necesario para entender bien el contexto; es un resumen del código real, pero 100% funcionalcontexto:
Funciona bien en la práctica: los tamaños coinciden, puesto que Wrapper
cumple con Standard Layout Typey el contenido es el esperado. Sin embargo, el compilador insiste en avisarme de que tenga cuidado con lo que hago (muy educado él):