Dispakċ dinamiku huwa l-mekkaniżmu ta' runtime li jiddeċidi liema implimentazzjoni ta' metodu li trid jtrodd ibbażata fuq it-tip attwali tal-oġġett, mhux it-tip dikjarat tal-variabbli. Il-biċċa ħamsa tal-lingwi bbażati fuq il-klassiz jimplimentawha b'tabella ta' metodu virtwali (vtable).
Kull klassi għandha tabella ta' pointeri għall-implimentazzjonijiet ta' metodu tagħha. Kull oġġett ipoġġi pointer moħbi għall-vtable tal-klassi tiegħu. Sejħa virtwali ssir:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Il-kompajler ma jagħmilx hard-code Animal.speak; joħroġ "sejjaħ l-islott N ta' xi vtable li l-oġġett dan jipunta lejha."
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Lingwa | Default | Noti |
|---|---|---|
| Java | Virtwali bil-default | final/static/private mhumiex virtwali |
| C++ | Mhux virtwali bil-default | Ġew issegni virtual għad-dispakċ dinamiku |
| Python | Dejjem dinamiku | Tiftix tal-metodu permezz tal-dict/MRO tal-oġġett |
Fiha għal lejk żgħir (indireċċjon waħda) u tgħaddix il-lining. Fil-C++, insija virtual tfisser li s-sejħat jibdu statikament u l-overlies huma silenzjozament mhu sejħa — bug sottil.
Fhim tad-dispakċ jispjega għaliex l-override jaħdem u għaliex it-tip dikjarat ma jiddeterminax il-imġiba — sors komuni ta' konfużjoni.
Ijoħroġ ukoll l-konsegwenzi reali: il-prezz tal-prestazzjoni ta' sejħat virtwali, għaliex il-konstruttori m'għandhomx sejjaħ metodi virtwali, u għaliex C++ jeħtieġ virtual b'mod espliċitu.