ডায়নামিক ডিসপ্যাচ হল একটি রানটাইম মেকানিজম যা ভেরিয়েবলের ঘোষিত ধরনের পরিবর্তে বস্তুর প্রকৃত ধরনের উপর ভিত্তি করে কোন method বাস্তবায়ন চালাতে হবে তা নির্ধারণ করে। বেশিরভাগ ক্লাস-ভিত্তিক ভাষা এটি ভার্চুয়াল method টেবিল (vtable) ব্যবহার করে বাস্তবায়ন করে।
প্রতিটি ক্লাসের তার method বাস্তবায়নগুলিতে পয়েন্টারগুলির একটি টেবিল থাকে। প্রতিটি বস্তু তার ক্লাসের vtable-এ একটি লুকানো পয়েন্টার ধরে রাখে। একটি ভার্চুয়াল কল হয়ে যায়:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
কম্পাইলার Animal.speak হার্ডকোড করে না; এটি "এই বস্তু যে vtable-এ নির্দেশ করে তার স্লট N কল করুন" ছড়িয়ে দেয়।
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| ভাষা | ডিফল্ট | নোট |
|---|---|---|
| Java | ডিফল্টরূপে Virtual | final/static/private non-virtual |
| C++ | ডিফল্টরূপে Non-virtual | ডায়নামিক ডিসপ্যাচের জন্য virtual চিহ্নিত করতে হবে |
| Python | সর্বদা ডায়নামিক | বস্তুর dict/MRO-এর মাধ্যমে method অনুসন্ধান |
একটি ছোট খরচ (indirection) আছে এবং এটি inlining ব্লক করে। C++-এ, virtual ভুলে যাওয়া মানে কলগুলি স্থিরভাবে বাঁধা হয় এবং overrides নীরবে কল করা হয় না — একটি সূক্ষ্ম বাগ।
ডিসপ্যাচ বোঝা ব্যাখ্যা করে কেন overriding কাজ করে এবং কেন ঘোষিত ধরন আচরণ নির্ধারণ করে না — বিভ্রান্তির একটি সাধারণ উৎস।
এটি বাস্তব পরিণতিও স্পষ্ট করে: ভার্চুয়াল কলের পারফরম্যান্স খরচ, কেন কনস্ট্রাক্টরগুলি ভার্চুয়াল method কল করা উচিত নয়, এবং কেন C++ স্পষ্টভাবে virtual প্রয়োজন।