Czym jest polimorfizm?

Question

Accepted Answer

**Polimorfizm** ("wiele form") pozwala pojedynczemu interfejsowi pracować z różnymi typami bazowymi. *To samo wywołanie* uruchamia *inny kod* w zależności od rzeczywistego obiektu — wybrany w czasie wykonania. To jest **polimorfizm podtypowy**.

## Jedno wywołanie, wiele zachowań

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

Pętla wywołuje `a.speak()` bez dbania o to, które zwierzę to jest — wykonanie w czasie kompilacji wysyła do właściwego przesłonięcia.

## Dlaczego to ważne

Możesz dodać nowy podtyp `Animal` później, a pętla powyżej będzie działać z **zerowymi zmianami**. Kod zależy od typu abstrakcyjnego, nie od konkretnych klas.

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

## Pułapka

Nie mylić z przeciążaniem (tą samą nazwę metody, różne *parametry*, rozwiązane w czasie kompilacji). Prawdziwy (podtypowy) polimorfizm jest rozwiązywany w *czasie wykonania* w oparciu o obiekt.

## Dlaczego to ważne

Polimorfizm to to, co czyni OOP rozszerzalnym: nowe zachowanie przychodzi jako nowa klasa, a nie jako edycje rozrzucone w łańcuchach `if/else`.

To jest mechanizm stojący za zasadą Open/Closed i większością wzorców projektowych — programujesz do interfejsu i pozwalasz wysyłce w czasie wykonania wybrać implementację.