დინამიური დისპეტჩერი არის runtime მექანიზმი, რომელიც გადაწყვეტს რომელი მეთოდის რეალიზაციის გაშვებას ობიექტის რეალური ტიპის საფუძველზე, არა ცვლადის გამოცხადებული ტიპის. უმეტესი კლასზე დაფუძნებული ენები ამას აImplementირებენ ვირტუალური მეთოდის ცხრილით (vtable).
თითოეულ კლასს აქვს ცხრილი, რომელიც მისი მეთოდის რეალიზაციებზე დამთავრებული მაჩვენებელია. თითოეულმა ობიექტმა აქვს ფარული მაჩვენებელი მისი კლასის vtable-ში. ვირტუალური ზეწოლა ხდება:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
კომპილატორი არ აკოდირებს Animal.speak-ს; უბრალოდ გამოსახავს "დაუძახე ნაჭუჭი N-ს რა vtable-იც ამ ობიექტს აჩვენებს."
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| ენა | ნაგულისხმები | შენიშვნები |
|---|---|---|
| Java | ვირტუალური ნაგულისხმევით | final/static/private არ არის ვირტუალური |
| C++ | არ არის ვირტუალური ნაგულისხმევით | აუცილებელი virtual დინამიური დისპეტჩერისთვის |
| Python | ყოველთვის დინამიური | მეთოდის ძებნა ობიექტის dict/MRO-ს მეშვეობით |
მცირე დანახარჯი აქვს (არაპირდაპირი) და ხელს უშლის inline-ს. C++-ში, virtual დავიწყება ნიშნავს, რომ ზეწოლა სტატიკურად დაკავშირებულია და გადაწერა ჩუმად არ გამოწვევილია — დახვეწილი ხარვეზი.
დისპეტჩერის გაგება ხსნის რატომ მუშაობს გადაწერა და რატომ არ განსაზღვრავს გამოცხადებული ტიპი ქცევას — დაბნევის ერთი გავრცელებული წყარო.
ის ასევე აზუსტებს რეალურ შედეგებს: ვირტუალური ზეწოლის ფასი, რატომ არ უნდა უწოდო კონსტრუქტორმა ვირტუალური მეთოდი და რატომ მოითხოვს C++ ცალსახად virtual-ს.