Dynamic dispatch é o mecanismo de tempo de execução que decide qual implementação de método executar com base no tipo real do objeto, não no tipo declarado da variável. A maioria das linguagens baseadas em classes implementa isso com uma tabela de métodos virtuais (vtable).
Cada classe tem uma tabela de ponteiros para suas implementações de método. Cada objeto contém um ponteiro oculto para a vtable de sua classe. Uma chamada virtual funciona assim:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
O compilador não codifica Animal.speak de forma rígida; ele emite "call slot N of whatever vtable this object points to".
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Language | Default | Notes |
|---|---|---|
| Java | Virtual by default | final/static/private are non-virtual |
| C++ | Non-virtual by default | Must mark virtual for dynamic dispatch |
| Python | Always dynamic | Method lookup via the object's dict/MRO |
Há um pequeno custo (uma indireção) e bloqueia a incorporação. Em C++, esquecer virtual significa que as chamadas se vinculam estaticamente e as substituições são silenciosamente não chamadas — um bug sutil.
Compreender o dispatch explica por que a substituição funciona e por que o tipo declarado não determina o comportamento — uma fonte comum de confusão.
Também esclarece as consequências reais: o custo de desempenho de chamadas virtuais, por que construtores não devem chamar métodos virtuais, e por que C++ requer virtual explicitamente.