Che cos'è il polimorfismo?

Question

Accepted Answer

**Polimorfismo** ("molte forme") consente a una singola interfaccia di funzionare con diversi tipi sottostanti. La *stessa chiamata* esegue *codice diverso* a seconda dell'oggetto effettivo — scelto a runtime. Questo è il **polimorfismo di sottotipo**.

## Una chiamata, molti comportamenti

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

Il ciclo chiama `a.speak()` senza preoccuparsi di quale animale sia — il runtime esegue il dispatch verso l'override corretto.

## Perché è potente

Puoi aggiungere un nuovo sottotipo `Animal` in seguito, e il ciclo sopra continua a funzionare con **zero modifiche**. Il codice dipende dal tipo astratto, non dalle classi concrete.

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

## Trabocchetto

Non confonderlo con l'overloading (stesso nome di metodo, *parametri* diversi, risolto al compile time). Il vero polimorfismo (di sottotipo) è risolto a *runtime* in base all'oggetto.

## Perché è importante

Il polimorfismo è ciò che rende l'OOP estensibile: il nuovo comportamento arriva come una nuova classe, non come modifiche sparse attraverso catene `if/else`.

È il meccanismo dietro il Principio Open/Closed e la maggior parte dei design pattern — programmi per un'interfaccia e lasci che il dispatch di runtime scelga l'implementazione.