Dynamic dispatch — это механизм времени выполнения, который решает, какую реализацию метода запустить на основе действительного типа объекта, а не объявленного типа переменной. Большинство языков на основе классов реализуют это с помощью таблицы виртуальных методов (vtable).
Каждый класс имеет таблицу указателей на реализации своих методов. Каждый объект содержит скрытый указатель на vtable своего класса. Виртуальный вызов работает так:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
Компилятор не жестко кодирует Animal.speak; он выдает "call slot N of whatever vtable this object points to".
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 are non-virtual |
| C++ | Non-virtual by default | Must mark virtual for dynamic dispatch |
| Python | Always dynamic | Method lookup via the object's dict/MRO |
Есть небольшая стоимость (косвенность) и это блокирует встраивание. В C++ забывчиво забыть virtual означает, что вызовы привязываются статически, а переопределения молча не вызываются — тонкая ошибка.
Понимание dispatch объясняет, почему переопределение работает и почему объявленный тип не определяет поведение — частый источник путаницы.
Оно также уточняет реальные последствия: стоимость производительности виртуальных вызовов, почему конструкторы не должны вызывать виртуальные методы, и почему C++ требует virtual явно.