Dynamic dispatch este mecanismul de timp de rulare care decide care implementare de metodă să se execute pe baza tipului real al obiectului, nu tipul declarat al variabilei. Majoritatea limbajelor bazate pe clase implementează acest lucru cu o tabelă de metode virtuale (vtable).
Fiecare clasă are o tabelă de pointeri către implementările sale de metodă. Fiecare obiect conține un pointer ascuns către vtable-ul clasei sale. Un apel virtual funcționează astfel:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Compilatorul nu hard-codează Animal.speak; 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 |
Este un cost mic (o indirectare) și blochează inlining-ul. În C++, uita virtual înseamnă că apelurile se leagă static și suprascriețile sunt tăcut nu apelate — o eroare subtilă.
Înțelegerea dispatch explică de ce suprascrierea funcționează și de ce tipul declarat nu determină comportamentul — o sursă comună de confuzie.
Clarifică și consecințele reale: costul de performanță al apelurilor virtuale, de ce constructorii nu ar trebui să apeleze metode virtuale, și de ce C++ necesită virtual în mod explicit.