Llamando a la definición de la clase base de la función de miembro virtual con el puntero de función

Question

Quiero llamar a la implementación de la clase base de una función virtual utilizando un puntero de función miembro.

class Base { 
public: 
    virtual void func() { cout << "base" << endl; } 
}; 

class Derived: public Base { 
public: 
    void func() { cout << "derived" << endl; } 

    void callFunc() 
    { 
     void (Base::*fp)() = &Base::func; 
     (this->*fp)(); // Derived::func will be called. 
         // In my application I store the pointer for later use, 
         // so I can't simply do Base::func(). 
    } 
}; 

En el código anterior, se llamará a la implementación de clase derivada de func desde callFunc. ¿Hay alguna manera de guardar un puntero de función miembro que apunte a Base :: func, o tendré que usar using de alguna manera?

En mi aplicación real utilizo boost :: bind para crear un objeto boost :: function en callFunc que luego utilizaré para llamar a func desde otra parte de mi programa. Entonces, si la función boost :: bind o boost :: tiene alguna forma de evitar este problema, eso también ayudaría.

Answer 1

Cuando llama a un método virtual a través de una referencia o un puntero, siempre activará el mecanismo de llamada virtual que encuentre el tipo más derivado.

Su mejor opción es agregar una función alternativa que no sea virtual.

Answer 2

¿Hay alguna razón específica para hacer esto a través de un puntero de función?

Usted debe ser capaz de simplemente escribir:

Base::func(); 

para llamar a la implementación de la clase base.

Answer 3

Su problema es que un puntero de función miembro no es exactamente lo mismo que un puntero de función desnuda. En realidad, no es solo un puntero, sino un considerably more complex structure, que varía en sus detalles a nivel de la implementación del compilador. Cuando lo invoca a través de la sintaxis (this->*fp)(), en realidad lo llama al objeto original, lo que provoca el despacho virtual de funciones.

Una cosa que podría funcionar es convertirlo a un tipo de puntero que no sea de método. Esto es un poco chirriante, pero creo que debería funcionar. Todavía es necesario pasar una Base * pero lo hace de forma explícita y el envío función virtual es anulado:

typedef void BasePointer(Base*); 

void callFunc() 
{ 
    BasePointer fp = (BasePointer *)&Base::func; 
    fp(this); 
} 

Actualización: Ok, no, usted no puede hacerlo de esa manera. Es ilegal, y no sería seguro si fuera legal. El C++ FAQ tiene more on this. Pero saber eso no resuelve tu problema. El problema es que, puntero a objeto o puntero a miembro si desea llamar al Base::func a través de un puntero Base, el objeto al que apunta debe también sea un Base. Si puede organizar eso, puede usar un puntero de función miembro.

Aquí hay otro pensamiento, no es bonito, pero al menos funciona. Proporcione una función en Derived, no virtual, que explícitamente llame al Base::func. Señale eso en su lugar. No se escalará si necesita hacer esto en el caso general de muchas variantes diferentes de func y callFunc, pero funcionará bien para un método.

Answer 4

Además de lo que dice el quark, una observación más general es que debe utilizar una implementación de señal/ranura en lugar de un puntero de función simple. Boost tiene uno, hay libsigc y muchos más.

Answer 5

Desafortunadamente, lo que intenta hacer no es posible. Las funciones de puntero a miembro son diseñadas para mantener la virtualidad de la función apuntada.

Answer 6

¿Qué pasa con esto?

(Base(*this).*fp)(); 

Ahora bien, si usted está satisfecho con eso, se plantea la cuestión de por qué estás incluso utilizando un puntero de función en el primer lugar. Creo que un contexto más podría ayudar.