Динамическая диспетчеризация (late binding) — выбор конкретной реализации метода во время выполнения программы по реальному (runtime) классу объекта, а не по статическому (compile-time) типу переменной.
В вашем примере:
class A{ void f(){ System.out.println("A"); } }
class B extends A{ void f(){ System.out.println("B"); } }
A a = new B();
a.f();
- На этапе компиляции проверяется только, что у типа переменной $A$ есть метод $f()$ — вызов легален.
- На этапе выполнения JVM смотрит на реальный класс объекта (созданного через $newB()$) и вызывает переопределённый метод класса $B$. Результат: печатается "B".
Отличие от статического (early) вызова:
- Статическое связывание происходит на этапе компиляции: конкретная реализация выбирается по статическому типу. Примеры в Java — статические методы (declared static) и приватные методы: они вызываются по объявленному типу и не подлежат переопределению. При вызове статического метода через переменную компилятор свяжет вызов с типом переменной, а не с реальным объектом.
- В JVM это отражается разными инструкциями байткода: для обычных (виртуальных) методов используется invokevirtual (динамический выбор реализации), для статических — invokestatic, для специальных вызовов (конструкторы, private, super) — invokespecial.
Коротко о нюансах:
- Методы экземпляра в Java виртуальны по умолчанию (кроме static/private). Модификатор final запрещает переопределение, но сам по себе не делает вызов статическим — просто нет альтернативной реализации.
- Динамическая диспетчеризация обеспечивает полиморфизм и расширяемость; JVM оптимизирует вызовы (inline, inline cache), так что накладные расходы обычно невелики.