Dynamic dispatch je mehanizam izvršavanja koji odlučuje koja implementacija metode će se pokrenuti na osnovu stvarnog tipa objekta, a ne deklariranog tipa varijable. Većina jezika zasnovanih na klasama to implementira sa tablicom virtuelnih metoda (vtable).
Svaka klasa ima tablicu pokazivača na svoje implementacije metoda. Svaki objekat drži skriveni pokazivač na vtable svoje klase. Virtuelni poziv postaje:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Kompaјler ne hardkodira Animal.speak; emituje "pozovi slot N bilo koje vtable na koju ovaj objekat pokazuje."
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Jezik | Zadana vrijednost | Napomene |
|---|---|---|
| Java | Virtuelno po zadanoj vrijednosti | final/static/private nisu virtuelni |
| C++ | Nije virtuelno po zadanoj vrijednosti | Mora se označiti virtual za dinamičku dispatch |
| Python | Uvijek dinamičko | Pretraga metode preko dict/MRO objekta |
Postoji mali trošak (indirekcija) i blokira umetanje. U C++, zaboravljanje virtual znači da se pozivi statički vezuju i prepisivanja se tiho ne pozivaju — suptilna greška.
Razumevanje dispatch objašnjava zašto prepisivanje funkcionira i zašto deklarisani tip ne određuje ponašanje — čest izvor zabune.
Takođe pojašnjava stvarne posledice: trošak performansi virtuelnih poziva, zašto konstruktori ne bi trebali pozivati virtuelne metode, i zašto C++ zahteva virtual eksplicitno.