funciones virtuales de primer orden y se esconden

Question

que tienen este código:

class Event{}; 
class CustomEvent:public Event{}; 

class Handler 
{ 
    public: 
     virtual void inform(Event e){} 
}; 

class CustomHandler : public Handler 
{ 
    public: 
    void inform(CustomEvent e){}   

}; 

CustomEvent cEvent; 
Handler* handler = new CustomHandler; 

//this calls Handler::inform(Event), not CustomHandler::(CustomEvent) , as I expected 
handler->inform(cEvent); 

Si cambio el código para esto:

class Handler 
{ 
    public: 
     virtual void inform(Event e){} 
     virtual void inform(CustomEvent e){} 

}; 

class CustomHandler : public Handler 
{ 
    public: 
    void inform(CustomEvent e){}   

}; 

CustomEvent cEvent; 
Handler* handler = new CustomHandler; 

//this calls CustomHandler::(CustomEvent) 
handler->inform(cEvent); 

leí que esto está relacionado con la primordial función y escondido, pero todavía doesn' Entiendo el comportamiento en este código.

Answer 1

sobrecarga función no se basa en la tiempo de ejecución tipo de los argumentos (que para su argumento aquí es CustomHandler*), sino más bien en su estática tipo (que aquí es Handler*, ya que es lo handler se declara como) .

Las funciones virtuales le permiten realizar llamadas a funciones basadas en el tipo de tiempo de ejecución un objeto (al que llama la función). El envío de llamadas en función del tipo de tiempo de ejecución de múltiples objetos se denomina despacho múltiple; en este caso estamos hablando del caso más común de double dispatch. Si desea este tipo de funcionalidad, deberá implementar el envío doble o utilizar una biblioteca que lo haga por usted.

El Visitor pattern es una forma bastante común de realizar la implementación; ver también Difference betwen Visitor pattern & Double Dispatch.

Finalmente, puede encontrar una buena discusión de Visitor que incluye código de ejemplo (scroll down) here.