Dynamic dispatch az a futásidejű mechanizmus, amely eldönti, melyik metódus implementációt futtatja az objektum tényleges típusa alapján, nem a változó deklarált típusa alapján. A legtöbb osztály alapú nyelv ezt virtuális metódus táblázat (vtable) segítségével implementálja.
Minden osztálynak van egy táblázata, amely a metódus implementációira mutató mutatókat tartalmaz. Minden objektum egy rejtett mutatót tart az osztálya vtable-ére. A virtuális hívás ezután így működik:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
A fordító nem kódolja be az Animal.speak karaktereket; hanem "hívd meg az N. részt annak a vtable-nek, amelyre ez az objektum mutat" utasítást bocsát ki.
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Nyelv | Alapértelmezett | Megjegyzések |
|---|---|---|
| Java | Alapértelmezés szerint virtuális | final/static/private nem virtuális |
| C++ | Alapértelmezés szerint nem virtuális | virtual jelöléssel kell ellátni dinamikus kiosztáshoz |
| Python | Mindig dinamikus | Metódus keresése az objektum dict/MRO-n keresztül |
Van egy kis költsége (egy indirekcó) és blokkolja a beágyazást. A C++-ban a virtual elfeledkezése azt jelenti, hogy a hívások statikusan kötődnek, és a felülbírálások csendesen nem hívódnak meg — egy finom hiba.
A kiosztás megértése megmagyarázza, miért működik a felülbírálás, és miért nem a deklarált típus határozza meg a viselkedést — a zűrzavar gyakori forrása.
Ezenkívül tisztázza a valós következményeket: a virtuális hívások teljesítményköltsége, miért ne hívjanak konstruktorok virtuális metódusokat, és miért igényli a C++ a virtual kifejezett megjelölését.