Dynamic dispatch adalah mekanisme runtime yang memutuskan implementasi metode mana yang akan dijalankan berdasarkan tipe aktual objek, bukan tipe yang dideklarasikan dari variabel. Sebagian besar bahasa berbasis kelas menerapkannya dengan virtual method table (vtable).
Setiap kelas memiliki tabel penunjuk ke implementasi metodenya. Setiap objek menyimpan penunjuk tersembunyi ke vtable kelasnya. Panggilan virtual menjadi:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Kompiler tidak hard-code Animal.speak; ia mengeluarkan "panggil slot N dari vtable apa pun yang ditunjuk objek ini."
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Bahasa | Bawaan | Catatan |
|---|---|---|
| Java | Virtual secara bawaan | final/static/private bukan virtual |
| C++ | Bukan virtual secara bawaan | Harus menandai virtual untuk pengiriman dinamis |
| Python | Selalu dinamis | Pencarian metode melalui dict/MRO objek |
Ada biaya kecil (satu indirektion) dan ini memblokir inlining. Di C++, lupa virtual berarti panggilan mengikat secara statis dan override tidak dipanggil diam-diam — bug yang halus.
Memahami dispatch menjelaskan mengapa override berfungsi dan mengapa tipe yang dideklarasikan tidak menentukan perilaku — sumber kebingungan yang umum.
Ini juga memperjelas konsekuensi nyata: biaya kinerja panggilan virtual, mengapa konstruktor tidak boleh memanggil metode virtual, dan mengapa C++ memerlukan virtual secara eksplisit.