Полиморфизм в Java: Полное руководство с практическими примерами

Что такое полиморфизм в Java?

Полиморфизм — это ключевая концепция объектно-ориентированного программирования (ООП) в Java. Она возникает, когда классы связаны наследованием, позволяя одному интерфейсу представлять разные базовые формы. Результат: вызов метода может вызывать разные реализации в зависимости от фактического типа объекта во время выполнения.

Представьте смартфон, который может общаться голосовым вызовом, текстом, изображением или email. Цель — общение — одна, но каждый режим ведет себя по-разному. Это полиморфизм в бытовых терминах.

Что вы узнаете

• Определение полиморфизма в Java
• Практические примеры ООП
• Переопределение методов (Method Overriding)
• Перегрузка vs Переопределение (Overloading vs Overriding)
• Динамический (run-time) полиморфизм
• Статический vs Динамический полиморфизм
• Ключевое слово super

Полиморфизм в Java ООП: Пример

Рассмотрим базовый класс Account, предлагающий deposit() и withdraw(). Два подкласса, SavingsAccount и CheckingAccount, наследуют эти методы без изменений, так как операции идентичны.

Адаптация к меняющимся требованиям

Когда требуется новая функция — например, овердрафт — подкласс PrivilegedAccount может переопределить withdraw() для предоставления новой логики без изменения существующих подклассов. Это демонстрирует преимущество полиморфизма для сопровождения.

Переопределение методов в Java

Переопределение происходит, когда подкласс предоставляет свою реализацию метода, уже определенного в суперклассе. Сигнатура метода (имя, параметры, тип возврата) должна совпадать точно.

Ключевые правила

• Переопределенный метод может иметь более широкую видимость (например, protected к public), но никогда не более узкую.
• Типы возврата должны быть одинаковыми или ковариантными.

Пример:

class Doctor {
    public void treatPatient() {
        // общая логика лечения
    }
}
class Surgeon extends Doctor {
    @Override
    public void treatPatient() {
        // специализированная хирургическая логика
    }
}
public class Run {
    public static void main(String[] args) {
        Doctor doctor = new Doctor();
        doctor.treatPatient(); // выполняет Doctor.treatPatient()
        Surgeon surgeon = new Surgeon();
        surgeon.treatPatient(); // выполняет Surgeon.treatPatient()
    }
}

Перегрузка vs Переопределение

void sum(int a, int b);
void sum(int a, int b, int c);
void sum(float a, double b);

class X { int sum() { ... } }
class Y extends X {
    @Override int sum() { ... }
}

Динамический полиморфизм (Run-Time)

Когда ссылка суперкласса указывает на объект подкласса, JVM разрешает вызов метода во время выполнения. Это и есть настоящий полиморфизм в действии.

Doctor doc = new Surgeon();
doc.treatPatient(); // Выполняется Surgeon.treatPatient()

Фактический вызванный метод зависит от типа объекта во время выполнения, а не от типа ссылки.

Статический vs Динамический полиморфизм

Статический полиморфизм (перегрузка) разрешается во время компиляции, тогда как динамический полиморфизм (переопределение) — во время выполнения.

void sum(int a, int b);
void sum(float a, double b);

Doctor d = new Surgeon();
d.treatPatient();

Использование ключевого слова super

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

class Surgeon extends Doctor {
    @Override
    public void treatPatient() {
        super.treatPatient(); // базовая логика
        // логика, специфичная для хирурга
    }
}

Аналогично, super может обращаться к защищенным или публичным полям суперкласса.

Практический пример: Наследование, Полиморфизм и Super

Скопируйте код ниже в вашу IDE и наблюдайте за выводом.

public class Test {
    public static void main(String[] args) {
        X x = new X();
        Y y = new Y();
        y.m2(); // Раскомментируйте, чтобы увидеть эффекты наследования
        // x.m1();
        // y.m1();
        // x = y; // ссылка родителя на объект ребенка
        // x.m1();
        // y.a = 10; // ошибка: a is private
    }
}
class X {
    private int a;
    int b;
    public void m1() {
        System.out.println("This is method m1 of class X");
    }
}
class Y extends X {
    int c;
    @Override
    public void m1() {
        System.out.println("This is method m1 of class Y");
    }
    public void m2() {
        super.m1();
        System.out.println("This is method m2 of class Y");
    }
}

Ключевые выводы

• Полиморфизм позволяет объектам принимать множественные формы через наследование.
• Переопределение методов меняет поведение в подклассах, сохраняя ту же сигнатуру.
• Динамический полиморфизм разрешает вызовы методов во время выполнения, обеспечивая гибкий код.
• Статический полиморфизм (перегрузка) — это compile-time, динамический — run-time.
• Ключевое слово super позволяет подклассам вызывать методы родителя или обращаться к защищенным членам.