Dynamické vysílání je mechanismus za běhu, která rozhoduje, kterou implementaci metody spustit, na základě skutečného typu objektu, ne deklarovaného typu proměnné. Většina jazyků založených na třídách jej implementuje pomocí tabulky virtuálních metod (vtable).
Každá třída má tabulku ukazatelů na své implementace metod. Každý objekt drží skrytý ukazatel na vtable své třídy. Virtuální volání se stane:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Kompilér nekóduje Animal.speak pevně; vygeneruje "zavolej pozici N v libovolné vtable, na kterou tento objekt ukazuje."
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Jazyk | Výchozí | Poznámky |
|---|---|---|
| Java | Virtual ve výchozím nastavení | final/static/private nejsou virtuální |
| C++ | Non-virtual ve výchozím nastavení | Je třeba označit virtual pro dynamické vysílání |
| Python | Vždy dynamické | Vyhledávání metody přes dict/MRO objektu |
Je zde malá cena (nepřímost) a blokuje vkládání. V C++ zapomenutí virtual znamená, že volání se váží staticky a přepsání se tiše nevolají — jemná chyba.
Porozumění vysílání vysvětluje, proč přepsání funguje a proč deklarovaný typ neurčuje chování — běžný zdroj zmatku.
Také objasňuje skutečné důsledky: náklad na výkon virtuálních volání, proč by konstruktory neměly volat virtuální metody a proč C++ vyžaduje virtual explicitně.