Dërgesa dinamike është mekanizmi në kohën e ekzekutimit që vendos cilën implementim të metodës të ekzekutoj bazuar në tipin aktual të objektit, jo në tipin e deklaruar të ndryshores. Shumica e gjuhëve të bazuara në klasa e zbatojnë atë me një tabelë metode virtuale (vtable).
Nddo klasë ka një tabelë ukazash drejt implementimeve të saj të metodave. Çdo objekt mban një ukazues të fshehur drejt vtable të klasës së tij. Një thirrje virtuale bëhet:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Kompajtori nuk kodon fort Animal.speak; lëshon "thirrje slot N të cilëfarë vtable këtij objekti po tregon."
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Gjuha | Parazgjedhje | Shënime |
|---|---|---|
| Java | Virtuale si parazgjedhje | final/static/private janë jo-virtuale |
| C++ | Jo-virtuale si parazgjedhje | Duhet të shënuani virtual për dërgesa dinamike |
| Python | Gjithmonë dinamike | Kërkimi i metodës përmes dict/MRO të objektit |
Ka një kosto të vogël (një tëdirektesë) dhe bllokon inline-in. Në C++, harresa e virtual do të thotë se thirrjet lidhen statikisht dhe tejkalimet pushojnë në heshtje të mos thirren — një bug delikat.
Përkuptimi i dërgese shpjegon pse funksionon tejkalimi dhe pse tipi i deklaruar nuk përcakton sjelljen — një burim i zakonshëm i konfuzionit.
Kjo gjithashtu sqaron pasojat reale: kostoja e performancës e thirrjeve virtuale, pse konstruktorët nuk duhet të thërrasin metodat virtuale, dhe pse C++ kërkon virtual në mënyrë të qartë.
Një bibliotekë pyetjesh intervistash IT me përgjigje të detajuara — nga Junior te Senior.
Dhuro