Kas yra polimorfizmas?

Question

Accepted Answer

**Polimorfizmas** ("daug formų") leidžia vienam interfeisui dirbti su skirtingais pagrindiniais tipais. *Tas pats skambutis* vykdo *skirtingą kodą*, priklausomai nuo tikrojo objekto — pasirinktas veikimo metu. Tai **potipis polimorfizmas**.

## Vienas skambutis, daug elgesio

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

Ciklas iškviečia `a.speak()` nepaisant to, koks gyvūnas — veikimo metu sistema nusiunčia į tinkamą perrašymą.

## Kodėl tai galingas

Vėliau galite pridėti naują `Animal` potipį, ir aukščiau esantis ciklas toliau veiks **be jokių pakeitimų**. Kodas priklauso nuo abstraktaus tipo, o ne nuo konkrečių klasių.

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

## Pavojus

Nepainiokite su persikrovymu (tas pats metodo vardas, skirtingi *parametrai*, išsprendžiami diegimo metu). Tikrasis (potipis) polimorfizmas sprendžiamas *veikimo metu*, remiantis objektu.

## Kodėl tai svarbu

Polimorfizmas – tai tas, kas daro OOP išplečiamą: naujas elgesys ateina kaip nauja klasė, o ne kaip pakeitimai, išsibarsę `if/else` grandinėse.

Tai yra mechanizmas, esantis už Open/Closed principo ir daugelio projektavimo šablonų – jūs programuojate pagal interfeisą ir leiskite veikimo metu dispachanui pasirinkti implementaciją.