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

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

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

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

Без такого механизма подкласс не смог бы надёжно сохранить часть алгоритма суперкласса: обычный вызов через объект снова выбрал бы переопределённый метод и мог бы привести к рекурсии или пропуску обязательной логики.

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

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

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

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

super.метод() означает обращение к реализации, найденной в непосредственном суперклассе текущего класса. Такой вызов не передаёт выбор реализации фактическому классу объекта, поэтому переопределение в текущем классе не перехватывает его.

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

class Base {
    void process() {
        System.out.println("base");
    }
}

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

    void runBase() {
        super.process();
    }
}

Для объекта Child обычный вызов process() выберет реализацию Child, а runBase() напечатает результат реализации Base. При этом super ограничен непосредственным суперклассом: он не является произвольным способом выбрать любой предковый класс.

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

Основной компромисс — между повторным использованием базового поведения и сильной связанностью с его реализацией. super полезен для явно спроектированного расширения, но чрезмерное его применение делает подкласс зависимым от порядка и деталей работы суперкласса.

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

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

Рассматривались два варианта. Полностью переписать метод в каждом наследнике было бы гибко, но привело бы к дублированию проверки и риску расхождения поведения. Вызвать метод через текущий объект нельзя: это выбрало бы переопределённый метод наследника и могло бы вызвать рекурсию.

Выбран вариант с явным вызовом super для обязательной базовой части, после чего выполняется дополнительная логика наследника. Решение сохранило общий инвариант, уменьшило дублирование и сделало намерение расширить базовый алгоритм очевидным.

Однако если порядок шагов должен быть жёстко защищён от переопределения, одного соглашения о вызове super недостаточно. В таком случае часть алгоритма обычно делают final, а изменяемое поведение выносят в отдельный защищённый метод-шаблон.

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

Работает ли динамическая диспетчеризация внутри метода, вызванного через super?

Да. super фиксирует выбор внешнего вызова базовой реализации, но не превращает весь выполняемый метод в статический. Если внутри базовой реализации вызывается переопределяемый экземплярный метод без квалификатора super, Java снова использует фактический класс объекта.

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

Можно ли с помощью super вызвать реализацию предка на два уровня выше?

Напрямую произвольный предок выбрать нельзя: super в данном классе обращается к его непосредственному суперклассу. Если непосредственный суперкласс сам переопределяет метод, вызов через super попадёт именно в его реализацию.

Это ограничение защищает инкапсуляцию цепочки наследования. Попытка обходить промежуточные классы обычно указывает на хрупкую архитектуру; лучше изменить структуру алгоритма или вынести общее поведение в композицию.

Чем вызов через super отличается от вызова базовой реализации через приведение объекта к базовому типу?

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

super — это специальная форма обращения к реализации суперкласса, а не просто ссылка базового типа. Именно поэтому он позволяет вызвать базовую реализацию без возврата к полиморфному выбору подкласса.