Cómo registrar un puntero de función de miembro derivado de clase con una clase base

Question

A diferencia de las funciones miembro virtuales, necesito una solución en la que una función implementada en cada derivación de clase de nivel pueda registrarse para una llamada posterior por la clase base. (No solo la implementación más derivada)

Para hacer esto, estaba pensando en proporcionar un mecanismo para que las clases derivadas registren su función con la clase base, como durante el constructor de la clase derivada.

No obstante, tengo problemas con el argumento del puntero a la función miembro. Estaba pensando que Derived se deriva de Base, el puntero this se debe convertir automáticamente.

¿Se puede hacer esto cerca de lo que estoy intentando o necesito usar funciones de miembro estáticas, void * y static_cast?

class Base 
{ 
protected: 
    typedef void (Base::*PrepFn)(int n); 
    void registerPrepFn(PrepFn fn) {}; 
} 

class Derived : public Base 
{ 
    Derived() { 
     registerPrepFn(&Derived::derivedPrepFn); 
    }; 

    void derivedPrepFn(int n) {}; 

} 

de error del compilador:

error: no matching function for call to 'Derived::registerPrepFn(void (Derived::*)(int))' 
note: candidates are:     'void Base::registerPrepFn(void (Base::*)(int))' 

Answer 1

Si todo lo que necesita es vencer el mensaje de error, a continuación, la fundición va a hacer:

class Derived : public Base 
{ 
    Derived() { 
     registerPrepFn(static_cast<PrepFn>(&Derived::derivedPrepFn)); 
    }; 

    void derivedPrepFn(int n) {}; 

} 

Call normalmente con un Base* p (siempre que en realidad apunta a una Derivado): (p->*registered)(0)

Ver http://ideone.com/BB9oy para un ejemplo de trabajo.

Answer 2

Esto no está permitido con la programación orientada a objetos. El cambio de comportamiento se logra al polimorfizar la clase del objeto en el momento de creación del objeto.

Si necesita cambiar el comportamiento de creación posterior al objeto, puede refactorizar el comportamiento dinámico a otro conjunto de clases polimórficas y mantener un "puntero" a una instancia de una clase con el comportamiento correcto. Por favor, busque el patrón de software de "clase decorada".