Dynaaminen lähettäminen on suorituksenaikainen mekanismi, joka päättää minkä metodin toteutuksen ajaa objektin todellisen tyypin perusteella, ei muuttujan ilmoitetun tyypin. Useimmat luokkapohjaiset kielet toteuttavat sen virtuaalimetodien taulukolla (vtable).
Jokaisella luokalla on taulukko osoittimista sen metodien toteutuksiin. Jokaisella objektilla on piilotettu osoitin sen luokan vtable-seen. Virtuaalikutsusta tulee:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Kääntäjä ei kovakoodaa Animal.speak-komentoa; se lähettää "kutsu paikkaa N missä tahansa vtable-ssa, johon tämä objekti osoittaa."
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Kieli | Oletus | Huomautukset |
|---|---|---|
| Java | Virtuaalinen oletuksena | final/static/private eivät ole virtuaalisia |
| C++ | Non-virtual oletuksena | Tulee merkitä virtual dynaamiselle lähettämiselle |
| Python | Aina dynaaminen | Metodin haku objektin dict/MRO:n kautta |
On pieni kustannus (epäsuoraisuus) ja se estää sisäistämisen. C++:ssa virtual-avainsanan unohtaminen tarkoittaa, että kutsut sitoutuvat staattisesti ja ylikirjoitukset eivät kutsua hiljaa — hienovarainen bugi.
Lähettämisen ymmärtäminen selittää miksi ylikirjoitus toimii ja miksi ilmoitettu tyyppi ei määritä käyttäytymistä — yleinen sekaannusten lähde.
Se myös selventää todelliset seuraukset: virtuaalikutsujen suorituskykykustannukset, miksi rakentajat eivät saa kutsua virtuaalisia metodeja, ja miksi C++ vaatii virtual-avainsanaa nimenomaisen.