Dynamic dispatch là cơ chế runtime quyết định cài đặt method nào sẽ chạy dựa trên kiểu thực tế của object, không phải kiểu được khai báo của biến. Hầu hết các ngôn ngữ dựa trên class cài đặt nó bằng một bảng method ảo (vtable — virtual method table).
Mỗi class có một bảng các con trỏ tới các cài đặt method của nó. Mỗi object giữ một con trỏ ẩn tới vtable của class nó. Một lời gọi ảo trở thành:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [vtable của Dog]
speak() ──▶ Dog.speak() ← chọn lúc RUNTIME
Compiler không hardcode Animal.speak; nó phát ra "gọi slot N của bất kỳ vtable nào mà object này trỏ tới."
Animal a = new Dog(); // khai báo Animal, thực tế Dog
a.speak(); // → Dog.speak(), vì dispatch dùng OBJECT
| Ngôn ngữ | Mặc định | Ghi chú |
|---|---|---|
| Java | Ảo theo mặc định | final/static/private là non-virtual |
| C++ | Non-virtual theo mặc định | Phải đánh dấu virtual để có dynamic dispatch |
| Python | Luôn động | Tra method qua dict/MRO của object |
Có một chi phí nhỏ (một lớp gián tiếp) và nó chặn việc inline. Trong C++, quên virtual nghĩa là các lời gọi bind tĩnh và các override âm thầm không được gọi — một bug tinh vi.
Hiểu dispatch giải thích tại sao overriding hoạt động và tại sao kiểu khai báo không quyết định hành vi — một nguồn gây nhầm lẫn phổ biến.
Nó cũng làm rõ các hệ quả thực tế: chi phí hiệu năng của lời gọi ảo, tại sao constructor không nên gọi method ảo, và tại sao C++ yêu cầu virtual một cách tường minh.
Thư viện câu hỏi phỏng vấn IT với đáp án chi tiết — từ Junior đến Senior.
Ủng hộ