Ce este polimorfismul?

Question

Accepted Answer

**Polimorfismul** ("multe forme") permite unei singure interfețe să funcționeze cu diferite tipuri subiacente. *Apelul identic* execută *cod diferit* în funcție de obiectul efectiv — ales în timp de execuție. Acesta este **polimorfismul de subtip**.

## Un apel, multe comportamente

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

Bucla apelează `a.speak()` fără să-i pese care animal este — execuția în timp de rulare trimite la supraîncărcarea corectă.

## De ce este puternic

Poți adăuga mai târziu un nou subtip `Animal`, iar bucla de mai sus continuă să funcționeze cu **zero modificări**. Codul depinde de tipul abstract, nu de clasele concrete.

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

## Capcană

Nu-l confunda cu supraîncărcarea (aceeași nume de metodă, diferite *parametri*, rezolvat la timp de compilare). Polimorfismul adevărat (de subtip) este rezolvat la *timp de execuție* în funcție de obiect.

## De ce este important

Polimorfismul este ceea ce face POO extensibil: comportamentul nou sosește ca o clasă nouă, nu ca modificări împrăștiate în lanțuri `if/else`.

Acesta este mecanismul din spatele Principiului Open/Closed și al majorității modelelor de design — programezi către o interfață și lași despachetul în timp de execuție să aleagă implementarea.