Skip to main content
Un poco de verborrea nunca biene mal :-)
Origen Enlace
Trauma
  • 26.9k
  • 5
  • 42
  • 68

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):

Estoy haciendo una envoltura en C++ sobre un código C; dicho código utiliza el patrón callback, así que he creado una clase puntero cuyo único propósito es ocultar un puntero.

En una parte del código tengo que modelar un puntero a función, que recibe una instancia de mi clase puntero, a un puntero a función que reciba realmente un puntero; 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% funcional:

Funciona bien, puesto que Wrapper cumple con Standard Layout Type. Sin embargo, el compilador insiste en avisarme de que tenga cuidado con lo que hago (muy educado él):

Estoy haciendo una envoltura en C++ sobre un código C; dicho código utiliza el patrón 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 Wrapper 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 Wrapper, a un puntero a función que reciba realmente un 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 es necesario para entender bien el contexto:

Funciona bien en la práctica: los tamaños coinciden, y el contenido es el esperado. Sin embargo, el compilador insiste en avisarme de que tenga cuidado con lo que hago (muy educado él):

Origen Enlace
Trauma
  • 26.9k
  • 5
  • 42
  • 68

warning: cast between incompatible function types al obtener el target de una std::function< >

Estoy haciendo una envoltura en C++ sobre un código C; dicho código utiliza el patrón callback, así que he creado una clase puntero cuyo único propósito es ocultar un puntero.

En una parte del código tengo que modelar un puntero a función, que recibe una instancia de mi clase puntero, a un puntero a función que reciba realmente un puntero; 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% funcional:

#include <algorithm>
#include <functional>
#include <iostream>

struct LegacyStruct {
  void *userData;
  // Datos PRIVADOS
  void ( *onClose )( LegacyStruct * );
};

extern "C" void legacyAction( LegacyStruct *st, void (*cb)( struct LegacyStruct * ) ) {
  st->onClose = cb;
}

extern "C" void doLegacyAction( LegacyStruct *st ) {
  if( st->onClose ) { st->onClose( st ); }
}

namespace internal {

struct Wrapper {
  unsigned refs;
  std::function< void( LegacyStruct * ) > callback;
};

} // namespace internal.

class Wrapper {
  union {
    LegacyStruct *_data;
    internal::Wrapper **_wrapper;
  };

  static void Callback( LegacyStruct *cst ) {
    auto &priv = **reinterpret_cast< internal::Wrapper ** >( cst );

    if( priv.callback ) { priv.callback( cst ); }
  }

protected:
  Wrapper( void *ptr ) : _data( static_cast< LegacyStruct * >( ptr ) ) { }

  void setData( void *ptr ) {
    _data = static_cast< LegacyStruct * >( ptr );
  }

  template< typename T, typename C, typename RESULT = void (*)( C * ) >
  static RESULT makeWrapper( void (*globalCB)( C * ), std::function< void( T ) > &user, std::function< void( C * ) > *storage ) {
    // La std::function< > está vacía.
    if( !user ) {
      std::cout << "callback vacío.\n";
      return nullptr;
    }

    // Comprobamos si es compatible con una función-no-miembro.
    {
      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Í
////////////////////////////////////////////////////////////////////////////////
      }
    }

    // Hay que usar una lambda para adaptar.
    std::cout << "Usamos lambda adaptadora.\n";
    auto lambda = [user]( C *ptr ) {
      user( T( ptr ) );
    };

    *storage = lambda;
    return globalCB;
  }

public:
  Wrapper( ) : _data( nullptr ) { }

  void *target( ) { return _data; }
  
  void close( std::function< void( Wrapper ) > cb ) {
    legacyAction( _data, makeWrapper( Callback, cb, &( ( *_wrapper )->callback ) ) );
  }
};

struct Data : public Wrapper {
  Data( ) : Wrapper( ) {
    char *tmp = new char[sizeof( LegacyStruct ) + sizeof( internal::Wrapper )];

    std::fill_n( tmp, sizeof( LegacyStruct ) + sizeof( internal::Wrapper ), 0 );
    reinterpret_cast< LegacyStruct * >( tmp )->userData = tmp + sizeof( LegacyStruct );
    setData( tmp );
  }
};

static void CloseTest( Wrapper sr ) {
  std::cout << "Función 'CloseTest( ), argumento " << sr.target( ) << '\n';
}

int main( ) {
  Data data;

  std::cout << "data: " << data.target( ) << '\n';

  data.close( CloseTest );

  doLegacyAction( reinterpret_cast< LegacyStruct * >( data.target( ) ) );

  return 0;
}

Puede probarse aquí

Funciona bien, puesto que Wrapper cumple con Standard Layout Type. Sin embargo, el compilador insiste en avisarme de que tenga cuidado con lo que hago (muy educado él):

cast between incompatible function types from void (*)(Wrapper) to void (*)(LegacyStruct*).

¿ Hay alguna manera portable (sin depender del compilador) de eliminar este aviso ?