Dinamični prenos je mehanizem ob izvajanju, ki odloči, katera implementacija metode se zažene, na podlagi dejanske vrste objekta, ne glede na deklarirano vrsto spremenljivke. Večina jezikov, temelječih na razredih, to implementira z tabelo virtualnih metod (vtable).
Vsak razred ima tabelo kazalcev na svoje implementacije metod. Vsak objekt drži skriti kazalec na vtable svojega razreda. Virtualni klic postane:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Kompajler ne tvrdo kodira Animal.speak; izdela "poziv sloga N katere koli vtable, na katero kaže ta objekt."
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Jezik | Privzeto | Opombe |
|---|---|---|
| Java | Virtualno privzeto | final/static/private so ne-virtualni |
| C++ | Ne-virtualno privzeto | Oznaka virtual je potrebna za dinamični prenos |
| Python | Vedno dinamično | Iskanje metod prek slovarja/MRO objekta |
Obstaja majhna cena (posrednost) in to preprečuje razširjanje. V C++ pomeni pozabljanje virtual, da se klici vežejo statično in pregledi se tiho ne izvedejo — subtilna napaka.
Razumevanje prenosa pojasnjuje, zakaj deluje pregledovanje in zakaj deklarirana vrsta ne določa vedenja — pogost vir zmede.
Tudi pojasnjuje prave posledice: stroški delovanja virtualnih klicev, zakaj konstruktorji ne bi smeli klicati virtualnih metod in zakaj C++ zahteva virtual izrecno.