Dynamic dispatch وہ runtime mechanism ہے جو یہ فیصلہ کرتی ہے کہ کون سی method implementation چلائی جائے، یہ فیصلہ object کی اصل type کی بنیاد پر ہوتا ہے، نہ کہ variable کی declared type کی بنیاد پر۔ اکثر class-based languages اسے virtual method table (vtable) کے ذریعے implement کرتی ہیں۔
ہر class کے پاس اس کی method implementations کے pointers کا ایک table ہوتا ہے۔ ہر object اپنے class کے vtable کی طرف ایک hidden pointer رکھتا ہے۔ ایک virtual call بن جاتی ہے:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Compiler Animal.speak کو hard-code نہیں کرتا؛ یہ "call slot N of whatever vtable this object points to" emit کرتا ہے۔
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 non-virtual ہیں |
| C++ | Non-virtual by default | Dynamic dispatch کے لیے virtual mark کرنا ضروری ہے |
| Python | ہمیشہ dynamic | Method lookup object کے dict/MRO کے ذریعے ہوتی ہے |
ایک چھوٹی سی cost ہے (ایک indirection) اور یہ inlining کو روکتا ہے۔ C++ میں، virtual بھولنے کا مطلب ہے کہ calls statically bind ہوتی ہیں اور overrides خاموشی سے نہیں called ہوتے — یہ ایک subtle bug ہے۔
Dispatch کو سمجھنا واضح کرتا ہے کہ کیوں overriding کام کرتی ہے اور کیوں declared type behavior کا تعین نہیں کرتی — یہ confusion کا ایک عام ذریعہ ہے۔
یہ حقیقی نتائج کو بھی واضح کرتا ہے: virtual calls کی performance cost، کیوں constructors virtual methods کو call نہیں کریں، اور کیوں C++ کو virtual کی explicit ضرورت ہے۔