Kaj je polimorfizem?

Question

Accepted Answer

**Polimorfizem** ("več oblik") omogoča, da en sam vmesnik deluje z različnimi osnovnimi tipi. *Isti klic* izvede *drugačno kodo* odvisno od dejanskega objekta — izbran ob izvajanju. To je **polimorfizem podtipov**.

## En klic, več obnašanj

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

Zanka kliče `a.speak()` brez da bi vedela, kateri žival je — izvajalni čas pošlje zahtevo na pravilno preglasilo.

## Zakaj je mogoče

Naknadno lahko dodate nov `Animal` podtip, in zanka zgoraj še naprej deluje brez **nobenih sprememb**. Koda je odvisna od abstraktnega tipa, ne od konkretnih razredov.

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

## Past

Ne zamešajte ga s preobremenjevanjem (isto ime metode, različni *parametri*, razrešeno ob kompilaciji). Pravi (podtipni) polimorfizem je razrešen ob *izvajanju* na podlagi objekta.

## Zakaj je to važno

Polimorfizem je tisto, kar naredi OOP razširljiv: novo obnašanje prispe kot nov razred, ne kot spremembe, raztrošene po `if/else` verigah.

To je mehanizem za Open/Closed Princip in večino oblikovalskih vzorcev — programirate na vmesnik in puščate, da izbor izvajalni čas izbere implementacijo.