Dynamic dispatch è il meccanismo di runtime che decide quale implementazione di metodo eseguire in base al tipo effettivo dell'oggetto, non al tipo dichiarato della variabile. La maggior parte dei linguaggi basati su classi lo implementa con una virtual method table (vtable).
Ogni classe ha una tabella di puntatori alle sue implementazioni di metodo. Ogni oggetto contiene un puntatore nascosto alla vtable della sua classe. Una chiamata virtuale diventa:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Il compilatore non hard-code Animal.speak; emette "chiama lo slot N di qualunque vtable questo oggetto punti a".
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Linguaggio | Predefinito | Note |
|---|---|---|
| Java | Virtuale per default | final/static/private sono non-virtuali |
| C++ | Non-virtuale per default | Deve marcare virtual per dynamic dispatch |
| Python | Sempre dinamico | Lookup del metodo tramite dict/MRO dell'oggetto |
C'è un piccolo costo (un'indirezione) e blocca l'inlining. In C++, dimenticare virtual significa che le chiamate si legano staticamente e gli override non vengono chiamati silenziosamente — un bug sottile.
Comprendere dispatch spiega perché l'override funziona e perché il tipo dichiarato non determina il comportamento — una fonte comune di confusione.
Chiarisce anche le conseguenze reali: il costo di prestazioni delle chiamate virtuali, perché i costruttori non dovrebbero chiamare metodi virtuali, e perché C++ richiede virtual esplicitamente.