Краткий ответ

Java выберет реализацию фактического класса объекта, то есть класса-потомка, если метод переопределён. Для обычных экземплярных методов это определяется во время выполнения по объекту-получателю, а не по типу ссылки.

class Parent {
    void print() {
        System.out.println("parent");
    }
}

class Child extends Parent {
    @Override
    void print() {
        System.out.println("child");
    }
}

Parent value = new Child();
value.print(); // child

Тип переменной Parent определяет, доступен ли метод на этапе компиляции. Но выбор переопределённой реализации выполняется по фактическому объекту Child.

Исторический контекст

Динамическая диспетчеризация возникла как механизм объектно-ориентированного полиморфизма. Она позволяет работать с объектами через общий тип, сохраняя специализированное поведение конкретных реализаций.

Благодаря этому код может зависеть от абстракции или базового класса, а не от каждого конкретного потомка. Добавление нового подкласса обычно не требует переписывать код, который вызывает переопределённые методы через общий тип.

Постановка проблемы

Если разработчик ориентируется только на тип ссылки, он может ошибочно ожидать вызов метода родителя. Это приводит к неправильному пониманию поведения шаблонов проектирования, коллекций объектов и полиморфных вызовов.

Важно различать две проверки: компилятор сначала определяет, допустим ли вызов метода для типа ссылки, затем во время выполнения Java выбирает переопределённую реализацию для фактического объекта. Если метод отсутствует в типе ссылки, сам факт наличия такого метода в классе объекта не делает вызов допустимым без приведения типа.

Подробное решение

Для обычного экземплярного метода действует правило динамического связывания. Если объект имеет класс Child, а ссылка имеет тип Parent, вызов переопределённого метода направляется в Child.

Переопределение возможно при совместимой сигнатуре метода и соблюдении правил доступа. Аннотация @Override не изменяет механизм, но помогает компилятору обнаружить ошибку в сигнатуре.

Полиморфный вызов не распространяется одинаково на все методы:

статические методы скрываются, а не переопределяются; выбор основан на типе ссылки;
private-методы не переопределяются, поскольку недоступны в подклассе как наследуемые методы;
final-методы нельзя переопределить;
вызов через super явно обращается к реализации родителя и обходит динамический выбор.

Динамическая диспетчеризация удобна для расширяемости, но усложняет трассировку выполнения: фактическая реализация может быть неизвестна по одной строке вызова. Кроме того, вызов переопределяемого метода в конструкторе опасен, поскольку реализация потомка может выполниться до завершения инициализации его полей.

Ситуация из практики

В обработчике заказов используется список объектов базового типа Payment, а конкретные классы реализуют оплату картой, переводом или бонусами. Обработчик вызывает общий метод оплаты через ссылку Payment, рассчитывая на полиморфное поведение.

Вариант с проверками типа и приведением каждой оплаты к конкретному классу даёт явный контроль, но быстро разрастается и нарушает принцип открытости для расширения. Вариант с переопределяемым методом в базовом типе скрывает различия реализаций и позволяет добавлять новый способ оплаты без изменения обработчика.

Выбирают полиморфный вариант: общий контракт объявляется в Payment, а каждый подкласс переопределяет метод. В результате обработчик работает с абстракцией, а Java во время выполнения направляет вызов конкретной реализации.

Что кандидаты часто упускают

Что произойдёт, если метод есть только в классе объекта, но отсутствует в типе ссылки?

Такой вызов не скомпилируется. Сначала компилятор проверяет доступность метода через объявленный тип ссылки; динамическая диспетчеризация начинается только после успешной проверки вызова. Явное приведение к типу, содержащему метод, может сделать вызов допустимым, но небезопасное приведение приведёт к ClassCastException.
Можно ли через super вызвать переопределённый метод потомка?

Нет. super означает обращение к реализации родительского класса из метода потомка. Такой вызов намеренно обходится без динамического выбора реализации, поэтому он не может перенаправить выполнение обратно в переопределённый метод потомка.
Почему статический метод не демонстрирует такое же полиморфное поведение?

Статический метод принадлежит классу, а не экземпляру объекта. Если в подклассе объявлен статический метод с той же сигнатурой, он скрывает метод родителя, но не переопределяет его. Поэтому выбор статического метода определяется типом выражения или ссылки на этапе компиляции, тогда как обычный экземплярный метод выбирается по фактическому объекту во время выполнения.