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

Этот материал представляет собой определение понятия полиморфизма в объектно-ориентированном программировании с примерами экзаменационных вопросов и тегами.

Коротко

Полиморфизм позволяет единообразно вызывать различные конкретные реализации, выбор подходящего метода происходит в зависимости от контекста, обычно во время выполнения. Результат: гибкое, расширяемое ПО с низкой связанностью к конкретным типам.

Определение

Полиморфизм — это способность объектов по-разному реагировать на одно и то же сообщение в зависимости от их фактического типа. Его основа — динамическая типизация: вызовы методов разрешаются во время выполнения через таблицы диспетчеризации (vtable) на соответствующую реализацию.

Выделяют три основных вида:

• Подтиповый полиморфизм через интерфейсы и наследование
• Параметрический полиморфизм через обобщённые типы (generics)
• Ad-hoc полиморфизм через перегрузку

Полиморфное проектирование поддерживает принцип открытости-закрытости: расширения добавляются созданием новых типов вместо модификации существующих. Предпосылка — стабильный контракт, сигнатуры и семантика должны оставаться совместимыми (принцип подстановки Лисков).

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

Ключевые моменты для экзамена

• Динамическая типизация во время выполнения через vtable
• Подтиповый полиморфизм через наследование и интерфейсы
• Перегрузка методов (overloading) как ad-hoc полиморфизм
• Обобщённые типы для параметрического полиморфизма
• Принцип открытости-закрытости через полиморфное проектирование
• Принцип подстановки Лисков как предпосылка
• Duck typing в динамических языках
• Механизмы диспетчеризации для разрешения вызовов

Основные компоненты

1. Статическая типизация: вызов метода определяется на этапе компиляции
2. Динамическая типизация: вызов метода разрешается во время выполнения
3. Таблица виртуальных методов (vtable): таблица диспетчеризации для полиморфных вызовов
4. Переопределение методов: замена метода в подклассе
5. Перегрузка методов: несколько методов с одинаковым именем
6. Обобщённые типы: типонезависимое программирование
7. Полиморфизм интерфейсов: различные реализации одного интерфейса
8. Duck typing: “если ходит как утка и крякает как утка…”

Практический пример

// Пример: различные формы полиморфизма
interface Zahlungsmethode {
    void bezahlen(double betrag);
}

class Kreditkarte implements Zahlungsmethode {
    @Override
    public void bezahlen(double betrag) {
        System.out.println("Kreditkarte: " + betrag + "€ belastet");
    }
}

class PayPal implements Zahlungsmethode {
    @Override
    public void bezahlen(double betrag) {
        System.out.println("PayPal: " + betrag + "€ überwiesen");
    }
}

// Generics (параметрический полиморфизм)
class Box<T> {
    private T inhalt;
    
    public void setze(T inhalt) {
        this.inhalt = inhalt;
    }
    
    public T hole() {
        return inhalt;
    }
}

// Method Overloading (ad-hoc полиморфизм)
class Rechner {
    public int addiere(int a, int b) {
        return a + b;
    }
    
    public double addiere(double a, double b) {
        return a + b + 0.1; // Service-Gebühr
    }
    
    public String addiere(String a, String b) {
        return a + " " + b;
    }
}

// Полиморфизм в действии
public class Main {
    public static void main(String[] args) {
        // Подтиповый полиморфизм
        Zahlungsmethode[] methoden = {
            new Kreditkarte(), 
            new PayPal()
        };
        
        for (Zahlungsmethode methode : methoden) {
            methode.bezahlen(100.0); // Динамическая типизация
        }
        
        // Generics
        Box<String> textBox = new Box<>();
        Box<Integer> zahlBox = new Box<>();
        
        // Overloading
        Rechner rechner = new Rechner();
        System.out.println(rechner.addiere(1, 2));           // 3
        System.out.println(rechner.addiere(1.5, 2.5));       // 4.1
        System.out.println(rechner.addiere("Hallo", "Welt")); // "Hallo Welt"
    }
}

Преимущества и недостатки

Преимущества

• Гибкость: единообразная работа с различными типами
• Расширяемость: новые реализации добавляются без изменения кода
• Поддерживаемость: слабая связанность между компонентами
• Переиспользование: обобщённые алгоритмы и структуры данных

Недостатки

• Производительность: динамическая типизация требует времени
• Сложность: сложнее для понимания и отладки
• Ошибки во время выполнения: проблемы с типами обнаруживаются позже
• Расход памяти: таблицы виртуальных методов и дополнительные объекты

Типичные экзаменационные вопросы

1. В чём разница между перегрузкой и переопределением? Перегрузка: одно имя метода, различные параметры. Переопределение: метод в подклассе заменяет метод базового класса.

2. Как работает динамическая типизация? Во время выполнения через таблицу виртуальных методов выбирается подходящий метод на основе фактического типа объекта.

3. Что такое duck typing? “Если ходит как утка и крякает как утка, значит это утка” — упор на доступные методы вместо статических типов.

4. Почему полиморфизм поддерживает принцип открытости-закрытости? Новый функционал добавляется созданием новых типов без изменения существующего кода.

Основные источники

1. https://de.wikipedia.org/wiki/Polymorphie_(Programmierung)
2. https://docs.oracle.com/javase/tutorial/java/IandI/polymorphism.html
3. https://refactoring.guru/de/design-patterns/strategy

---

Дальнейший путь в OOP

Следующий материал в цепочке OOP охватывает OOP диспетчеризацию: динамическую типизацию, single и double dispatch — как диспетчеризация выбирает реализации методов во время выполнения.

Рекомендуемая литература: объектно-ориентированное программирование