Dynamic dispatch est le mécanisme d'exécution qui décide quelle implémentation de méthode exécuter en fonction du type réel de l'objet, et non du type déclaré de la variable. La plupart des langages basés sur les classes l'implémentent avec une table de méthodes virtuelles (vtable).
Chaque classe dispose d'une table de pointeurs vers ses implémentations de méthodes. Chaque objet détient un pointeur caché vers la vtable de sa classe. Un appel virtuel devient :
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Le compilateur ne code pas en dur Animal.speak ; il émet « appeler le slot N de la vtable vers laquelle cet objet pointe ».
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Langage | Par défaut | Notes |
|---|---|---|
| Java | Virtuel par défaut | final/static/private ne sont pas virtuels |
| C++ | Non-virtuel par défaut | Doit marquer virtual pour le dispatch dynamique |
| Python | Toujours dynamique | Recherche de méthode via dict/MRO de l'objet |
Il y a un petit coût (une indirection) et cela bloque l'inlining. En C++, oublier virtual signifie que les appels se lient statiquement et que les substitutions ne sont silencieusement pas appelées — un bogue subtil.
Comprendre le dispatch explique pourquoi la substitution fonctionne et pourquoi le type déclaré ne détermine pas le comportement — une source courante de confusion.
Cela clarifie aussi les vraies conséquences : le coût de performance des appels virtuels, pourquoi les constructeurs ne devraient pas appeler des méthodes virtuelles, et pourquoi C++ exige virtual explicitement.