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

Question

Accepted Answer

**Полиморфизм** ("много форм") позволяет единственному интерфейсу работать с различными базовыми типами. *Один и тот же вызов* выполняет *различный код* в зависимости от фактического объекта — выбранного во время выполнения. Это **полиморфизм подтипов**.

## Один вызов, много поведений

```java
class Animal { String speak() { return "..."; } }
class Dog extends Animal { String speak() { return "Woof"; } }
class Cat extends Animal { String speak() { return "Meow"; } }

Animal[] zoo = { new Dog(), new Cat() };
for (Animal a : zoo) {
    System.out.println(a.speak());   // Woof, then Meow
}                                    // same call, different result per type
```

Цикл вызывает `a.speak()`, не беспокоясь о том, какое это животное — выполнение во время выполнения отправляется к правильному переопределению.

## Почему это мощно

Вы можете позже добавить новый подтип `Animal`, и цикл выше продолжит работать с **нулевыми изменениями**. Код зависит от абстрактного типа, а не от конкретных классов.

```text
caller → Animal.speak()  ──dispatch──▶  Dog.speak()  OR  Cat.speak()
            (one interface)                  (many implementations)
```

## Ловушка

Не путайте его с перегрузкой (то же имя метода, различные *параметры*, разрешаются во время компиляции). Истинный (подтипный) полиморфизм разрешается во *время выполнения* на основе объекта.

## Почему это важно

Полиморфизм — это то, что делает ООП расширяемым: новое поведение приходит как новый класс, а не как правки, разбросанные по цепочкам `if/else`.

Это механизм, лежащий в основе принципа Open/Closed и большинства паттернов проектирования — вы программируете к интерфейсу и позволяете диспетчеру во время выполнения выбрать реализацию.