Co je polymorfismus?

Question

Accepted Answer

**Polymorfismus** ("mnoho podob") umožňuje jednomu rozhraní pracovat s různými podkladovými typy. *Stejné volání* spustí *jiný kód* v závislosti na aktuálním objektu — vybraném za běhu. Jedná se o **subtype polymorfismus**.

## Jedno volání, mnoho chování

```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
```

Smyčka volá `a.speak()` bez ohledu na to, jaké zvíře je — runtime odešle na správné přepsání.

## Proč je to silné

Lze přidat nový podtyp `Animal` později a smyčka výše nadále funguje bez **jakýchkoli změn**. Kód závisí na abstraktním typu, ne na konkrétních třídách.

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

## Úskalí

Nemíchejte si to s přetížením (stejný název metody, různé *parametry*, rozlišeno v době kompilace). Skutečný (subtype) polymorfismus je rozlišován za *běhu* na základě objektu.

## Proč je to důležité

Polymorfismus je to, co činí OOP rozšiřitelným: nové chování přichází jako nová třída, ne jako úpravy rozptýlené v řetězcích `if/else`.

Jde o mechanismus stojící za Principem Open/Closed a za většinou návrhových vzorů — programujete na rozhraní a nechte runtime dispatch vybrat implementaci.