Dynamic dispatch er kjøringstidsmekanismen som avgjør hvilken metodimplementering som skal kjøres basert på objektets faktiske type, ikke variabelens deklarerte type. De fleste klassebaserte språk implementerer det med en virtual method table (vtable).
Hver klasse har en tabell med pekere til metodene sine. Hvert objekt har en skjult peker til klassens vtable. Et virtuelt anrop blir:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Kompilatoren hard-koder ikke Animal.speak; den sender ut "call slot N of whatever vtable this object points to".
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Language | Default | Notes |
|---|---|---|
| Java | Virtual by default | final/static/private are non-virtual |
| C++ | Non-virtual by default | Must mark virtual for dynamic dispatch |
| Python | Always dynamic | Method lookup via the object's dict/MRO |
Det er en liten kostnad (en indireksjon) og det blokkerer inlining. I C++ betyr det å glemme virtual at anrop bindes statisk og overstyringer blir stille ikke kalt — en subtil bug.
Å forstå dispatch forklarer hvorfor overstyring fungerer og hvorfor den deklarerte typen ikke bestemmer oppførselen — en vanlig kilde til forvirring.
Det oppklarer også virkelige konsekvenser: ytelseskostnaden for virtuelle anrop, hvorfor konstruktører ikke bør kalle virtuelle metoder, og hvorfor C++ krever virtual eksplisitt.