Dinaminis išsiuntimas yra runtime mechanizmas, kuris nusprendžia, kurią metodo implementaciją paleisti pagal objekto tikrąjį tipą, o ne deklaruotą kintamojo tipą. Dauguma klasėmis pagrįstų kalbų tai įgyvendina virtualiąja metodo lentele (vtable).
Kiekviena klasė turi lentelę su rodyklėmis į jos metodo implementacijas. Kiekvienas objektas turi paslėptą rodyklę į savo klasės vtable. Virtualus kvietimas virsta:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Kompiliatorius nėra grynai Animal.speak; jis išduoda "paskambinti lizdą N bet kurioje vtable, į kurią rodo šis objektas."
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Kalba | Numatytoji | Pastabos |
|---|---|---|
| Java | Virtuali pagal nutylėjimą | final/static/private yra nvirtuali |
| C++ | Nvirtuali pagal nutylėjimą | Turi pažymėti virtual dinaminio išsiuntimo |
| Python | Visada dinaminis | Metodo paieška per objekto dict/MRO |
Yra mažas kaštas (netiesiogumas) ir jis blokuoja inlining. C++, pamiršę virtual, reiškia, kad iškvietimai susirišta statiškai ir perrašymai tyliomis neperkviečiami — subtilus klaida.
Supratus išsiuntimą, paaiškėja, kodėl perrašymas veikia ir kodėl deklaruotas tipas nenustatytas elgesį — bendra painiavos šaltinis.
Tai taip pat paaiškina tikras pasekmes: virtualių iškvietimų našumo kaina, kodėl konstruktoriai neturėtų iškviesti virtualiųjų metodų ir kodėl C++ reikalauja virtual aiškiai.