Dynamisk dispatch är körtidsmekanism som avgör vilken metodimplementering som körs baserat på objektets faktiska typ, inte variabelns deklarerade typ. De flesta klassbaserade språk implementerar det med en virtuell metodtabell (vtable).
Varje klass har en tabell med pekare till sina metodimplementeringar. Varje objekt innehåller en dold pekare till sin klads vtable. Ett virtuellt anrop blir:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Kompilatorn kodar inte hårdkodat Animal.speak; den emitterar "anrop plats N av vilken vtable detta objekt pekar på."
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Språk | Standard | Anmärkningar |
|---|---|---|
| Java | Virtuell som standard | final/static/private är icke-virtuella |
| C++ | Icke-virtuell som standard | Måste markera virtual för dynamisk dispatch |
| Python | Alltid dynamisk | Metoduppslag via objektets dict/MRO |
Det finns en liten kostnad (en indirektion) och det blockerar inlining. I C++ betyder det att glömma virtual att anrop binds statiskt och åsidosättningar är tyst inte anropade — en subtil bugg.
Att förstå dispatch förklarar varför åsidosättning fungerar och varför den deklarerade typen inte bestämmer beteende — en vanlig källa till förvirring.
Det klargör också verkliga konsekvenser: prestandakostnaden för virtuella anrop, varför konstruktörer inte bör anropa virtuella metoder, och varför C++ kräver virtual uttryckligt.